Wrong multiple constrained extensions implementation called

Question

I'm implementing a structure composed as following:

protocol ProtocolA {
  func doStuff()
}

protocol ProtocolB { }

extension ProtocolA {
  func doStuff() {
    print("From protocol A")
  }
}

extension ProtocolA where Self: ProtocolB {
   func doStuff() {
     print("From protocol B")
   }
}

And I have the following classes:

class MyClassA: ProtocolA {
   func letsDoSomething() {
      self.doStuff()
   }
}

class MyClassB: MyClassA, ProtocolB {
}

What happen is:

let ia = MyClassA()
ia.letsDoSomething() // From protocol A (OK!)

let ib = MyClassB()
ib.letsDoSomething() // From protocol A (Wrong!)

Of course I do not expect to have the second answer.

As specified in the Swift Programming Launguage guide:

If a conforming type satisfies the requirements for multiple constrained extensions that provide implementations for the same method or property, Swift will use the implementation corresponding to the most specialized constraints.

Why the class ib that is conform to ProtocolB doesn't call the most specialized extension implementation?

I know that the calling class is still MyClassA but since the instance is from MyClassB that is conform to the protocol ProtocolB I still expect to have the most specialized implementation to be called.

Answer 1

The problem is MYClassB is inherited from MyClass A. Swift’s method dispatch rules this child class’ implementation is never called and the default implementation is always used in case of protocol conformance. Try the same case like this

class MyClassA: ProtocolA {
    func letsDoSomething() {
        self.doStuff()
    }
}

class MyClassB: ProtocolA, ProtocolB {
}


let ia = MyClassA()
ia.letsDoSomething() // From protocol A (OK!)

let ib = MyClassB()
ib.doStuff() // From protocol A (Wrong!)