Swift protocol with “where Self” clause

by

The ability to put superclass constraints on protocols declarations (that is, being able to define protocol P where Self : C where C is the type of a class) was a premature consequence of
SE-0156, and the syntax should have been rejected in Swift 4.x until the feature was implemented. Attempting to use this feature in Swift 4.x can cause miscompilation and crashes, so I would avoid using it until Swift 5.

In Swift 5 (Xcode 10.2) the feature has now been implemented. From the release notes:

Protocols can now constrain their conforming types to those that
subclass a given class. Two equivalent forms are supported:

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

Swift 4.2 accepted the second form, but it wasn’t fully implemented
and could sometimes crash at compile time or runtime. (SR-5581)
(38077232)

This syntax places a superclass constraint on MyView which restricts conforming types to those inheriting from (or being) UIView. In addition, the usage of MyView is semantically equivalent to a class existential (e.g UIView & MyView) in that you can access both members of the class and requirements of the protocol on the value.

For example, expanding upon the release notes’ example:

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)

More Related Contents:

  1. Protocol doesn’t conform to itself?
  2. Protocol func returning Self
  3. Why can’t a get-only property requirement in a protocol be satisfied by a property which conforms?
  4. What does “Protocol … can only be used as a generic constraint because it has Self or associated type requirements” mean?
  5. How can I make a weak protocol reference in ‘pure’ Swift (without @objc)
  6. What is the in-practice difference between generic and protocol-typed function parameters?
  7. Non-‘@objc’ method does not satisfy optional requirement of ‘@objc’ protocol
  8. Why do Self and self sometimes refer to different types in static functions?
  9. A Swift protocol requirement that can only be satisfied by using a final class
  10. Swift – class method which must be overridden by subclass
  11. Swift Protocol inheritance and protocol conformance issue
  12. Get letters from string swift
  13. How to lock orientation of one view controller to portrait mode only in Swift
  14. How do you use String.substringWithRange? (or, how do Ranges work in Swift?)
  15. NSDate Comparison using Swift
  16. Dictionary wrong order – JSON
  17. How to hash NSString with SHA1 in Swift?
  18. How to apply the type to a NSFetchRequest instance?
  19. Understanding SpriteKit CollisionBitMask
  20. Printing a variable memory address in swift
  21. Can Swift return value from an async Void-returning block?
  22. USB Connection Delegate on Swift
  23. iOS13 Navigation bar large titles not covering status bar
  24. Multi-touch gesture in Sprite Kit
  25. Why convenience keyword is even needed in Swift?
  26. Xcode: Using custom fonts inside Dynamic framework
  27. Separating multiple if conditions with commas in Swift
  28. Swift alternative to performSelectorOnMainThread
  29. Using Codable on a dynamic type/object
  30. Class ‘ViewController’ has no initializers in swift

Leave a Comment