Comparing two protocols

Using Swift
3

The answer is 'no'. In Swift there are two types of protocols:

  • protocol the constraint protocol A { ... }
  • protocol the type (also know as existential type) var a: A

Protocol the constraint only 'refines' a different protocol, but does not conform to nor inherit from its parent protocol.

Protocol the type does not conform to its own protocol (except in case of Error). Existentials today are implicit, but we might hopefully change it by adding a prefix keyword any in front of them.

// This is an existential
var a: any A

That might allow us to extend these and make them conform to their protocols.

// not valid Swift code
extension any A: A { ... }

Furthermore T.self returns you one of two different kinds of of metatypes. The mind bending thing is that they are merged. There are plenty of threads here in the forums that mention these things. You can lookup some discussion here:

6 Likes