如何定义符合协议的对象数组？

Question

给定：

protocol MyProtocol {
    typealias T
    var abc: T { get }
}

还有一个实现 MyProtocol 的类：

class XYZ: MyProtocol {
    typealias T = SomeObject
    var abc: T { /* Implementation */ }
}

如何定义符合MyProtocol 的对象数组？

var list = [MyProtocol]()

给出（连同大量 SourceKit 崩溃）以下错误：

Protocol 'MyProtocol' can only be used as a generic constraint because it has Self or associated type requirements

尽管 typealias 实际上是在 MyProtocol 中定义的。

有没有办法让对象列表符合协议并具有通用约束？

Answer 1

问题在于使用泛型对应的协议，类型别名。 听起来很奇怪，但是如果你定义了一个类型别名，你就不能将协议用作类型，这意味着你不能声明该协议类型的变量、函数参数等。你不能将它用作一个泛型对象数组。

正如错误所说，您可以将其用作通用约束（如class Test<T:ProtocolWithAlias>）。

为了证明这一点，只需从协议中删除类型别名（注意，这只是为了证明，它不是解决方案）：

protocol MyProtocol {
    var abc: Int { get }
}

并相应地修改您的示例代码的其余部分：

class XYZ: MyProtocol {
    var abc: Int { return  32 }
}

var list = [MyProtocol]()

你会发现它有效。

您可能对如何解决这个问题更感兴趣。我想不出任何优雅的解决方案，只有以下2个：

• 从协议中删除类型别名并将T替换为AnyObject（丑陋的解决方案！！）
• 将协议转换为类（但这不是适用于所有情况的解决方案）

但正如你可能争辩的那样，我不喜欢其中任何一个。我能提供的唯一建议是重新考虑您的设计，并弄清楚您是否可以使用不同的方式（即不使用类型别名协议）来获得相同的结果。