swift - Swift 协议扩展静态方法调度与超类和子类

Question

我遇到了一个类似但略有不同的问题：Swift protocol extension method dispatch with superclass and subclass。

该问题与协议上的静态方法有关。

我有以下代码：

protocol Protocol: class {
    static var reuseID: String { get }
}

extension Protocol {
    static var reuseID: String { return String(Self) }
}

class MyClass {
    func registerClass<T where T: Protocol>(cell: T.Type) {
        print(cell)          // <-- Prints "SubClass"
        print(cell.self)     // <-- Prints "SubClass"
        print(cell.reuseID)  // <-- Prints "SuperClass", expected "SubClass"
    }
}

class SuperClass: Protocol {}
class SubClass: SuperClass {}

print(SubClass.self)    // <-- Prints "SubClass"
print(SubClass.reuseID) // <-- Prints "SubClass"
MyClass().registerClass(SubClass.self)

如果我从协议协议中删除了reuseID 声明，则该行为是“固定的”。这不是倒退吗？根据https://nomothetis.svbtle.com/the-ghost-of-swift-bugs-future 协议扩展的调度规则如下：

1. 如果变量的推断类型是协议：
2. 并且该方法在原始协议中定义然后调用运行时类型的实现，无论扩展中是否存在默认实现。
3. 并且该方法未在原始协议中定义，则调用默认实现。
4. ELSE IF 推断的变量类型是类型 THEN 调用类型的实现。

我观察到的行为恰恰相反。知道我做错了什么吗？

Answer 1

如何更改此：

extension Protocol {
    static var reuseID: String { return String(self) }
}