我一直在研究具有不同类型的泛型类的数组。用一些示例代码来解释我的问题是最简单的:
// Obviously a very pointless protocol... protocol MyProtocol { var value: Self { get } } extension Int : MyProtocol { var value: Int { return self } } extension Double: MyProtocol { var value: Double { return self } } class Container<T: MyProtocol> { var values: [T] init(_ values: T...) { self.values = values } func myMethod() -> [T] { return values } }
现在,如果我尝试创建像这样的容器数组:
var containers: [Container<MyProtocol>] = []
我得到错误:
协议“ MyProtocol”只能用作通用约束,因为它具有“自身”或相关的类型要求。
要解决这个问题,我可以使用[AnyObject]:
[AnyObject]
let containers: [AnyObject] = [Container<Int>(1, 2, 3), Container<Double>(1.0, 2.0, 3.0)] // Explicitly stating the types just for clarity.
但是现在在枚举时出现了另一个“问题” containers:
containers
for container in containers { if let c = container as? Container<Int> { println(c.myMethod()) } else if let c = container as? Container<Double> { println(c.myMethod()) } }
如您在上面的代码中看到的那样,container在两种情况下,确定相同方法的类型后都会调用它。我的问题是:
container
是否有Container比将类型转换为每种可能的类型更好的方法来获取正确的类型Container?还是我忽略了其他事情?
Container
有一种方法-做某事-一种。使用协议,有一种方法可以消除类型限制,并且仍然可以得到所需的结果,但这并不总是很漂亮。这是我根据您的情况提出的协议:
protocol MyProtocol { func getValue() -> Self } extension Int: MyProtocol { func getValue() -> Int { return self } } extension Double: MyProtocol { func getValue() -> Double { return self } }
请注意,value您最初放在协议声明中的属性已更改为返回对象的方法。
value
那不是很有趣。
但是现在,由于您已经摆脱value了协议中的属性,因此MyProtocol可以将其用作类型,而不仅仅是类型约束。您的Container班级甚至都不再需要泛型。您可以这样声明:
MyProtocol
class Container { var values: [MyProtocol] init(_ values: MyProtocol...) { self.values = values } func myMethod() -> [MyProtocol] { return values } }
而且由于Container不再通用,因此您可以创建一个Array,Container然后遍历它们,打印myMethod()方法的结果:
Array
myMethod()
var containers = [Container]() containers.append(Container(1, 4, 6, 2, 6)) containers.append(Container(1.2, 3.5)) for container in containers { println(container.myMethod()) } // Output: [1, 4, 6, 2, 6] // [1.2, 3.5]
诀窍是构造 仅包含通用功能且对符合类型没有其他要求 的协议 。 如果您可以避免这样做,那么可以将协议用作类型,而不仅仅是类型约束。
另外(如果您想这样称呼),您的MyProtocol值数组甚至可以混合符合的不同类型MyProtocol。因此,如果您给出这样String的MyProtocol扩展名:
String
extension String: MyProtocol { func getValue() -> String { return self } }
您实际上可以Container使用混合类型初始化a :
let container = Container(1, 4.2, "no kidding, this works")
[警告-我正在一个在线游乐场进行测试。我还不能在Xcode中对其进行测试…]
编辑:
如果你仍然想Container成为通用的,只能容纳一个类型的对象,就可以完成,通过使 之 符合自己的协议:
protocol ContainerProtocol { func myMethod() -> [MyProtocol] } class Container<T: MyProtocol>: ContainerProtocol { var values: [T] = [] init(_ values: T...) { self.values = values } func myMethod() -> [MyProtocol] { return values.map { $0 as MyProtocol } } }
现在,您 仍然 可以拥有一个[ContainerProtocol]对象数组,并通过调用它们进行迭代myMethod():
[ContainerProtocol]
let containers: [ContainerProtocol] = [Container(5, 3, 7), Container(1.2, 4,5)] for container in containers { println(container.myMethod()) }
也许这仍然对您不起作用,但是现在Container仅限于一种类型,但是您仍然可以遍历ContainterProtocol对象数组。
ContainterProtocol