SE-0156的过早结果就是能够将超类约束放在协议声明上（也就是说，能够定义类的类型
protocol P where Self :C在哪里
C），并且该语法在Swift 4.x中应该被拒绝，直到该功能被发布为止。已实施。尝试在Swift
4.x中使用此功能可能会导致错误编译和崩溃，因此在Swift
5之前我将避免使用它。
在Swift 5（Xpre10.2）中，该功能现已实现。从发行说明中：
协议现在可以将其符合类型限制为子类化给定类。支持两种等效形式：
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` valueprint(myView.backgroundColor as Any)// ... and `MyView` members as usual.print(myView.foo)
