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() 编译器 为什么这个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允许你直接这样做(我最终期望这样做)，它可能只是为你自动创建这个框。递归枚举具有这个历史。你不得不把它们封装起来，这是令人难以置信的恼人和限制，然后最终编译器添加间接来做同样的事情更自动。

总结

以上是内存溢出为你收集整理的swift2 – 协议不符合自身？全部内容，希望文章能够帮你解决swift2 – 协议不符合自身？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。