Forced to cast, even if protocol requires given type

by

Adopting the protocol Fooable tells the compiler that this particular UIViewController responds to foo(), no less no more.

In reverse conclusion Fooable does not become UIViewController necessarily.

The constraint Self: UIViewController is just another information for the compiler to complain at compile time if the affected class is not UIViewController

In your case when annotating SampleViewController to Fooable the compiler knows only that SampleViewController responds to foo(). It does not know that the type is actually a subclass of UIViewController.

So do not annotate a concrete class to a protocol if you want to access properties of the concrete class.

However you could add the show method and other common properties / methods to the protocol

protocol Fooable: class where Self: UIViewController {
    func foo()
    func show(_ vc: Fooable, sender: Any?)
}

then you can use Fooable because the compiler knows that the type adopting the protocol responds to the method.

A suitable practice to annotate a type to a protocol is for example when you are going to create a heterogenous but restricted collection type

let array : [CustomStringConvertible] = ["Foo", 1, false]
array.forEach{ print("\($0)")}

The code prints the three items using the description property which all items respond to. The compiler recognizes the three items as types which have a description property, not as String, Int and Bool.

Update:

In Swift 5 support of superclass constrained protocols is implemented.

More Related Contents:

  1. How can I deal with @objc inference deprecation with #selector() in Swift 4?
  2. How to use swift 4 Codable in Core Data?
  3. How can I use String substring in Swift 4? ‘substring(to:)’ is deprecated: Please use String slicing subscript with a ‘partial range from’ operator
  4. The use of Swift 3 @objc inference in Swift 4 mode is deprecated?
  5. Using Decodable in Swift 4 with Inheritance
  6. How can I use Swift’s Codable to encode into a dictionary?
  7. Value of type ‘StorageMetadata’ has no member ‘downloadURL’
  8. Simultaneous accesses to 0x1c0a7f0f8, but modification requires exclusive access error on Xcode 9 beta 4
  9. What is difference between optional and decodeIfPresent when using Decodable for JSON Parsing?
  10. Difference between flatMap and compactMap in Swift
  11. HMAC SHA256 in Swift 4
  12. Compile error in Swift 4 on parameter passing
  13. Using Codable on a dynamic type/object
  14. Generic Swift 4 enum with Void associated type
  15. In Swift 4, how do I remove a block-based KVO observer?
  16. Catching NSException in Swift
  17. What is the difference between `let` and `var` in Swift?
  18. How to generate a random number in Swift without repeating the previous random number?
  19. How do I write dispatch_after GCD in Swift 3, 4, and 5?
  20. How do I create a segue that can be called from a button that is created programmatically?
  21. What is the cause of this type error?
  22. Unable to run app in Simulator : An error was encountered while running (Domain = LaunchServicesError, Code = 0)
  23. Why is Equatable not defined for optional arrays
  24. How to avoid force unwrapping a variable?
  25. Using “if let…” with many expressions
  26. Swift – Custom setter on property
  27. SpriteKit physics in Swift – Ball slides against wall instead of reflecting
  28. Why convenience keyword is even needed in Swift?
  29. swift sphere combine star data
  30. Class ‘ViewController’ has no initializers in swift

Leave a Comment