swift - 调用了错误的多个约束扩展实现

Question

我正在实现一个结构，其组成如下:

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")
   }
}

我有以下类(class):

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

class MyClassB: MyClassA, ProtocolB {
}

发生的事情是:

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

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

我当然不希望有第二个答案。

如 Swift Programming Launguage 中所述指南:

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.

为什么符合ProtocolB的ib类没有调用最专业的扩展实现？

我知道调用类仍然是 MyClassA 但由于实例来自 MyClassB 符合协议(protocol) ProtocolB 我仍然期待调用最专业的实现。

Answer 1

问题是 MYClassB 继承自 MyClass A。Swift 的方法调度规则永远不会调用这个子类的实现，并且在协议(protocol)一致性的情况下始终使用默认实现。像这样尝试相同的情况

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!)