调用Swift协议扩展方法代替在子类中实现的方法

Z时代
2024-01-10
分类：问答

我遇到了以下代码（Swift 3.1）中解释的问题：

protocol MyProtocol {
    func methodA()
    func methodB()
}
extension MyProtocol {
    func methodA() {
        print("Default methodA")
    }
    func methodB() {
        methodA()
    }
}
// Test 1
class BaseClass: MyProtocol {
}
class SubClass: BaseClass {
    func methodA() {
        print("SubClass methodA")
    }
}
let object1 = SubClass()
object1.methodB()
//
// Test 2
class JustClass: MyProtocol {
    func methodA() {
        print("JustClass methodA")
    }
}
let object2 = JustClass()
object2.methodB()
//
// Output
// Default methodA
// JustClass methodA

因此，我希望在调用后应打印 _“ SubClassmethodA”_文本object1.methodB()。但是由于某种原因，methodA()调用了from协议扩展的默认实现。但是，object2.methodB()呼叫按预期方式工作。

是协议方法调度中的另一个Swift错误，还是我丢失了一些东西并且代码正常工作？

回答：

这就是协议当前调度方法的方式。

协议见证表（有关更多信息，请参见WWDC谈话）用于在协议类型的实例上被调用时动态地调度到协议要求的实现。实际上，这只是功能实现的清单，以针对给定的符合类型调用协议的每种要求。

声明其对协议一致性的每种类型都有其自己的协议见证表。您会注意到，我说的是“说明其一致性”，而不仅仅是“符合”。BaseClass获得自己的协议见证表以符合要求MyProtocol。但是，SubClass并

没有获得自己的表来符合MyProtocol–相反，它仅依赖于BaseClass。如果将

: MyProtocol下移到的定义SubClass，它将具有自己的PWT。

因此，我们仅需考虑的是PWT的BaseClass外观。那么，它不会为任何的协议要求提供一个实现methodA()或methodB()-因此它依赖于该协议扩展的实现。这意味着BaseClass符合的PWT

MyProtocol仅包含到扩展方法的映射。

因此，当methodB()调用extension

方法并将其发出到时methodA()，它会通过PWT动态分派该调用（因为它是在协议类型的实例上调用，即self）。因此，当SubClass实例发生这种情况时，我们将进行BaseClassPWT。因此methodA()，无论是否SubClass提供扩展实现，我们最终都会调用的扩展实现。

现在让我们考虑的PWT JustClass。它提供的实现methodA()，因此，其对符合PWT MyProtocol具有该

实施作为映射methodA()，以及对于扩展实现methodB()。因此，当methodA()通过其PWT动态调度时，我们最终实现了它。

正如我在本问答中所提到的，子类的这种行为没有为其超类所遵循的协议获取自己的PWT确实有些令人惊讶，并且已被记录为bug。正如Swift团队成员Jordan

Rose在错误报告的评论中所说的那样，其背后的原因是