Swift协议带有“where self”子句

Question

除了具有协议扩展的语法之外：

protocol P {}
extension P where Self : UIView {}

...我偶然发现你可以在协议本身使用相同的where子句：

protocol P where Self : UIView {}

请注意，这与约束通用协议的where子句不同，并且本身不会使P成为通用协议。

我的实验似乎表明，这里只能使用冒号，冒号之后的东西必须是类或协议（可能是通用的）。

我变得很好奇：这是怎么逃避我的注意的？所以我去寻找它何时出现的证据。在Swift 3.0中，前一种语法是合法的，但不是后者。在Swift 3.3中，两者都是合法的。所以后一种语法必须在Swift 3.2之类的东西中悄然引入。我说“悄悄地”，因为我在发行说明中找不到任何关于它的内容。

第二种语法是什么？它看起来只是一种方便的方法来确保没有其他类型可以采用这个协议吗？ Swift标头似乎没有使用它。

Answer 1

将超类约束放在协议声明上的能力（也就是说，能够定义protocol P where Self : C，其中C是类的类型）是一个过早的结果 SE-0156，语法应该在Swift 4.x中被拒绝，直到该功能被实现。试图在Swift 4.x can cause miscompilation and crashes中使用此功能，所以我会避免在Swift 5之前使用它。

在Swift 5（Xcode 10.2）中，该功能具有now been implemented。来自the release notes：

协议现在可以将它们的符合类型约束为子类给定类的类型。支持两种等效形式：

protocol MyView: UIView { /*...*/ }
protocol MyView where Self: UIView { /*...*/ } 

Swift 4.2接受了第二种形式，但它没有完全实现，有时可能在编译时或运行时崩溃。 （SR-5581）（38077232）

此语法在MyView上放置了一个超类约束，它将符合类型限制为继承自（或正在）UIView的类型。此外，MyView的用法在语义上等同于类存在性（例如UIView & MyView），因为您可以访问类的成员和协议对值的要求。

例如，扩展发行说明的示例：

protocol MyView : UIView {
  var foo: Int { get }
}

class C : MyView {} // error: 'P' requires that 'C' inherit from 'UIView'

class CustomView : UIView, MyView {
  var foo: Int = 0
}

// ...

let myView: MyView = CustomView(frame: .zero)

// We can access both `UIView` members on a `MyView` value
print(myView.backgroundColor as Any)

// ... and `MyView` members as usual.
print(myView.foo)