为什么此Swift代码无法编译？
protocol P { }
struct S: P { }
let arr:[P] = [ S() ]
extension Array where Element : P {
func test<T>() -> [T] {
return []
}
}
let result : [S] = arr.test()
编译器说：“类型
P不符合协议P”（或在Swift的更高版本中，“不支持将'P'作为符合协议'P'的具体类型使用。”）。为什么不？某种程度上，这感觉就像是语言上的一个漏洞。我意识到问题源于将数组
arr声明为协议类型的数组，但这是不合理的事情吗？我认为协议确实可以帮助提供类型分层结构之类的结构吗？ 最佳答案
编辑：使用Swift还要工作18个月，Swift是另一个主要版本（提供新的诊断），并且@AyBayBay的评论使我希望重写此答案。新的诊断是：
“不支持将“ P”用作符合协议“ P”的具体类型。”
这实际上使整个事情变得更加清晰。此扩展名：
extension Array where Element : P {
在
Element == P时不适用，因为P不被视为P的具体符合。 （下面的“放在盒子里”解决方案仍然是最通用的解决方案。）旧答案：
这是元类型的另一种情况。斯威夫特（Swift）确实希望您对大多数不重要的事情都采取具体的态度。
[P]不是具体类型（您不能为P分配大小已知的内存块）。 （我不认为这是真的，您绝对可以创建大小为P的东西，因为it's done via indirection。）我不认为有任何证据表明这是“不应该”工作的情况。这看起来非常像他们的“不起作用”案例之一。 （不幸的是，要让Apple确认这两种情况之间的区别几乎是不可能的。）Array<P>可以是变量类型（Array不能）的事实表明他们已经朝这个方向做了一些工作，但是Swift元类型具有很多锋利的边缘和未实现的案例。我认为您不会比这得到更好的“为什么”答案。 “因为编译器不允许。” （不满意，我知道。我整个Swift生活...）解决方案几乎总是将东西放在盒子里。我们建立一个类型擦除器。
protocol P { }
struct S: P { }
struct AnyPArray {
var array: [P]
init(_ array:[P]) { self.array = array }
}
extension AnyPArray {
func test<T>() -> [T] {
return []
}
}
let arr = AnyPArray([S()])
let result: [S] = arr.test()
当Swift允许您直接执行此操作（我最终希望这样做）时，很可能只是通过自动为您创建此框即可。递归枚举正是有这个历史的。您必须将它们装箱，这令人难以置信的烦人和限制，然后最终编译器添加了
indirect来更自动地执行相同的操作。