swift - 为什么 "String?"不符合Equatable

Question

我创建了 Observable 类来在 Swift 中实现观察者模式。当一个值从旧值改变时，这会通知订阅者，所以这个泛型类型应该符合 Equatable 协议(protocol)。但是当类型是 String? 时，Xcode raise‖Type 'String?'不符合协议(protocol)“Equatable” 错误。

如果我没记错的话，String 和 String? 符合 Equatable 协议(protocol)...为什么？

import UIKit

final class Observable<T: Equatable> {
  typealias ObserverHandler = ((T) -> Void)
  typealias ObserverEntry = (owner: AnyObject, didChange: ObserverHandler)

  var value: T {
    didSet {
      if self.value == oldValue { return }
      self.observers.forEach({ (entry: ObserverEntry) in entry.didChange(self.value) })
    }
  }
  private var observers: [ObserverEntry] = []

  init(_ value: T) {
    self.value = value
  }

  func subscribe(observer: AnyObject, didChange block: @escaping ObserverHandler) {
    let entry: ObserverEntry = (owner: observer, didChange: block)
    observers.append(entry)
  }

  func unsubscribe(observer: AnyObject) {
    let filteredEntries: [ObserverEntry] = observers.filter({ (entry: ObserverEntry) -> Bool in
      return (entry.owner !== observer)
    })
    self.observers = filteredEntries
  }

}

// [!] Type 'String?' does not conform to protocol 'Equatable'
var foo: Observable<String?> = Observable(nil)

Answer 1

String?是 Optional<String> 的简写.在 Swift 4.1 之前，没有办法让类型有条件地符合协议(protocol)。例如。 Optional<T>应该是 Equatable只有哪里 T是Equatable .

这叫做 conditional conformance , 在 Swift 4.1 中，Optional: Equatable where Self.Wrapped: Equatable .