快速模式匹配

Question

在下面的代码中：

protocol Serializable {
}

struct Owner: Serializable {
   var name: String
}

struct Car: Serializable {
   var owners: [Serializable]
}

let car = Car(owners: [Owner(name: "John"), Owner(name: "Mike")])

Mirror(reflecting: car).children.forEach {
   switch $0.value {
   case let value as Array<Serializable>:
      print("Recognized!")
   default: break
   }
}

如果在

struct Car: Serializable {
   var owners: [Serializable]
}

（所有者变量定义为[Serializable]）

case let value as Array<Serializable>: 会识别它，但以防万一：

struct Car: Serializable {
   var owners: [Owner]
}

（所有者变量定义为[Owner]）

case let value as Array<Serializable>: 不会识别它，虽然Owner 符合Serializable 协议？ 谁能解释一下原因？

我试过了：

extension Array where Element: Serializable {
   var representation: AnyObject {
      return self.map { element in return "String" }
   }
}

let arr: [Owner] = [Owner(name: "John"), Owner(name: "Mike")]
arr.representation

有效，所以 Swift 识别出 [Owner] 是 [Serializable]，为什么 case let value as Array<Serializable> 匹配 [Serializable] 而不是 [Owner]？

Answer 1

在 Swift 中，协议具有与具体类型不同且独立的内存表示。所以简短的回答是Serializable 的数组在内存中与符合Serializable 的类型的数组不同，Swift 目前没有在两者之间进行转换的机制。

本次 WWDC 演讲中的更多具体细节：

https://developer.apple.com/videos/play/wwdc2016/416/

Answer 2

Array<T> 和T 是不同的类型，所以你不能指望一个协议的一致性会影响另一个。

关于你的例子：

extension Array where Element: Serializable {
   var representation: AnyObject {
      return self.map { element in return "String" }
   }
}

在这里，您正在检查 每个元素 (Element) 的一致性，而不是 Array 作为它自己的类型。 Element 是与 Array<Element> 不同的类型。

如果没有更多信息，很难知道你应该在这里做什么，但我希望我已经回答了为什么你没有得到预期的结果。