swift2 – 协议不符合自身？

为什么这个Swift 2.0代码不编译？

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.为什么不？这感觉就像一个洞在语言，不知何故。我意识到，该问题源于声明数组arr作为协议类型的数组，但是是不合理的事情吗？我认为协议准确地帮助提供结构类似于类型层次结构。

编辑：Swift 3更准确地重写错误消息：“不支持将”P“用作符合协议”P“的具体类型。

这是另一种metatypes的情况。 Swift真的希望你能得到一个具体的类型为大多数非平凡的东西。 [P]不是一个具体类型(你不能为P分配一个已知大小的内存块)。我不认为有任何证据表明这是一个“不应该”的工作。这看起来非常像他们的“不工作”的情况之一。 (不幸的是，几乎不可能让苹果确认这些情况之间的区别。)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允许你直接这样做(我最终期望这样做)，它可能只是为你自动创建这个框。递归枚举具有这个历史。你不得不把它们封装起来，这是令人难以置信的恼人和限制，然后最终编译器添加间接来做同样的事情更自动。