随着 Xcode 10 的正式版发布，Swift 4.2 也正式问世，在 Swift 4.1 中引入的 Conditional Conformance 也有了一个小的升级，使用便利性再次提升。不了解 Swift 4.1 的同学也没有关系，本篇文章会针对 Conditional Conformance 进行完整的梳理。

首先我们对 Conditional Conformance 下个定义：

Conditional conformances express the notion that a generic type will conform to a particular protocol only when its type arguments meet certain requirements.

Conditional Conformance 表达的含义是：当一个泛型类型的类型参数满足某些条件时，该泛型类型实现了某个特定协议。举个例子，当 Array 类型的类型参数是 Equatable 的时候，我们希望 Array 自动成为 Equatable，具体以 extension 语法表达，如下：

extension Array: Equatable where Element: Equatable {
  static func == (lhs: Array,  rhs: Array) -> Bool {
    guard lhs.count == rhs.count else {
      return false
    }
    for (i, v) in lhs.enumerated() {
      if rhs[i] != v {
        return false
      }
    }
    return true
  }
}

这个扩展不仅可以用来直接比较一维数组，由于可以递归推断，同样可以比较多维数组：下面的 a1 和 a2 都是 Array<Array<Int>> 类型 ，由于 Int 是 Equatable ，所以 Array<Int> 也是 Equatable ，因此 Array<Array<Int>> 是Equatable，可以直接比较是否相等。

let a1 = [[123], [456,789]]
let a2 = [[123], [456,789]]
let a3: [[Int]] = []
print(a1 == a2) // true
print(a1 == a3) // false

关于 Conditional Conformance 还有一个非常重要的特性，就是它对于运行时 Conditional Conformance 的支持。来看下面的代码：

protocol P {
  func doSomething()
}

struct S: P {
  func doSomething() { print("S") }
}

extension Array: P where Element: P {
  func doSomething() {
    for value in self {
      value.doSomething()
    }
  }
}

// compile-time
func doSomethingStatically<E: P>(_ value:Array<E>) {
  value.doSomething()
}

// runtime
func doSomethingIfP(_ value: Any) {
  if let p = value as? P {
    p.doSomething()
  } 
}

doSomethingIfP([S(), S(), S()]) 

我们看到了两个版本，前者是编译器确定了这个扩展的有效性；后者是 runtime 的时候做检查，它体现了 Conditional Conformance 对动态检查的支持。

如何来直观感受 Conditional Conformance 运行时特性的作用呢？我们可以想象是自己是被传入的参数：我是个普通的 Array，只不过我的元素类型实现了 P。结果可以动态发现我作为 Array 也实现了 protocol P，并且拥有了新方法 doSomething 。哪怕我是被作为 Any 类型传入的，动态也能判断上述事实。我只是个 Array ，元素类型实现了 P 而已。 Conditional Conformance 的扩展使这一切成为可能。

这里我们回顾一个知识点，为什么我们最后需要新写个 protocol P 来举例，而不直接用前面的 Equatable 呢？

用另一个问题可以回答：在Swift中，可不可以写 as? Equatable，或者 var e : Equatable = 10 呢？其实是不能的，因为Equatable这样的protocol只能作为泛型的类型约束，而不能作为可以直接hold值的类型，原因是它有 associated type 或者Self；也没有Equatable<Int> 的写法，Equatable 不是泛型类型，只是泛型约束。

事实上，从 Swift 4.1 开始标准库就加入了一系列 Equatable、Encodable、Decodable 的 Conditional Conformance，例如：

extension Optional: Equatable where Wrapped: Equatable { /* ... */ }

extension Array: Equatable where Element: Equatable { /* ... */ }

extension Dictionary: Equatable where Value: Equatable { /* ... */ }

extension Array: Encodable where Element: Encodable { /* ... */ }

extension Array: Decodable where Element: Decodable { /* ... */ }

Swift 4.2 中对 Hashable 也内置了一系列 Conditional Conformance：也就是当其类型参数是 Hashable 的时候 Optional, Array, Dictionary 和 Range 也是 Hashable，非常便利的一个改进。

小结

• 介绍了 Conditional Conformance 的语法和语义
• 以 Array 为例介绍了 Conditional Conformance 用途
• Conditional Conformance 支持运行时判断
• 标准库内置 Array 和 Hashable 的 Conditional Conformance