Is it possible to add type constraints to a Swift protocol conformance extension?

by

EDIT: As noted in the updated question, this is now possible since Swift 4.1

This is not currently possible in Swift (as of Xcode 7.1). As the error indicates, you can’t restrict protocol conformance (“inheritance clause”) to a type-constrained extension. Maybe someday. I don’t believe there’s any deep reason for this to be impossible, but it’s currently not implemented.

The closest you can get is to create a wrapper type such as:

struct FriendlyArray<Element: Friendly>: Friendly {
    let array: [Element]
    init(_ array: [Element]) {
        self.array = array
    }
    func sayHi() {
        for elem in array {
            elem.sayHi()
        }
    }
}

let friendly: Friendly = FriendlyArray(["Foo", "Bar"])

(You would likely want to extend FriendlyArray to be a CollectionType.)

For a tale of my own descent into the madness of trying to make this work, and my crawl back from the edge, see NSData, My Old Friend.

More Related Contents:

  1. Protocol doesn’t conform to itself?
  2. Swift generic coercion misunderstanding
  3. What does “Protocol … can only be used as a generic constraint because it has Self or associated type requirements” mean?
  4. How do I store a value of type Class in a Dictionary of type [String:Class] in Swift?
  5. What is the in-practice difference between generic and protocol-typed function parameters?
  6. Why can’t I pass a Protocol.Type to a generic T.Type parameter?
  7. Using a Type Variable in a Generic
  8. Extend array types using where clause in Swift
  9. Swift generics not preserving type
  10. How flatMap API contract transforms Optional input to Non Optional result?
  11. Generic function taking a type name in Swift
  12. How to pass one SwiftUI View as a variable to another View struct
  13. Default value for optional generic parameter in Swift function
  14. A Swift protocol requirement that can only be satisfied by using a final class
  15. Can I assign a default type to generic type T in Swift?
  16. Why create “Implicitly Unwrapped Optionals”, since that implies you know there’s a value?
  17. Waiting until the task finishes
  18. What is the difference between a weak reference and an unowned reference?
  19. Escaping Closures in Swift
  20. How to compare enum with associated values by ignoring its associated value in Swift?
  21. What does it mean that string and character comparisons in Swift are not locale-sensitive?
  22. How to unwrap an optional value from Any type?
  23. #pragma mark in Swift?
  24. Getting keyboard size from userInfo in Swift
  25. Number of words in a Swift String for word count calculation
  26. Difference between flatMap and compactMap in Swift
  27. How to multiply two arrays element-wise
  28. How to determine if a generic is an optional in Swift?
  29. Changing cell background color in UICollectionView in Swift
  30. How to Add Material to ModelEntity programatically in RealityKit?

Leave a Comment