为什么传递给 function 的协议默认值不会改变，即使子类化时 function 会改变？

Question

我有一个协议，我为其分配了一些默认值：

protocol HigherProtocol {
    var level: Int { get }
    
    func doSomething()
}

extension HigherProtocol {
    var level: Int { 10 }
    
    func doSomething() {
        print("Higher level is \(level)")
    }
}

然后我有另一个符合更高级别协议的协议，但具有不同的默认值和功能实现：

protocol LowerProtocol: HigherProtocol {}

extension LowerProtocol {
    var level: Int { 1 }
    
    func doSomething() {
        print("Lower level is \(level)")
    }
}

然后我创建一个符合上层协议的 class，然后创建一个符合下层协议的子类：

class HigherClass: HigherProtocol {}

class LowerClass: HigherClass, LowerProtocol {}

但是，当我实例化这个较低的 class 时，它会显示一些奇怪的行为：

let lowerClass = LowerClass()

lowerClass.level // is 1

lowerClass.doSomething() // Prints "Lower level is 10" to the console.

默认属性是正确的，但是 function 的默认实现似乎是两者的混合。

我想知道这里发生了什么？

Answer 1

您似乎正在尝试使用协议来创建多重继承。 它们不是为此而设计的，即使你得到这个工作，你也会被咬几次。 协议不能替代 inheritance，多个或其他。 （作为一项规则，Swift 倾向于组合而不是任何形式的 inheritance。）

这里的问题是 HigherClass 符合 HigherProtocol ，因此现在有level和doSomething的实现。 LowerClass 继承自它，并希望覆盖这些实现。 但是覆盖在协议扩展中，这是未定义的行为。 请参阅 Swift 编程语言的扩展：

扩展可以为类型添加新功能，但不能覆盖现有功能。

未定义的行为并不意味着“它不会覆盖”。 这意味着“任何事情都可能发生”，包括这种奇怪的情况，有时会被覆盖，有时不会。

（作为旁注，Objective-C 中的情况类似。在两个不同类别中实现一个方法会导致不确定调用哪个类别，并且在发生这种情况时没有警告或错误让您。Swift 的优化可以使行为更加令人惊讶.)

我希望编译器能够检测到这些类型的错误并引发错误，但事实并非如此。 你需要重新设计你的系统来避免这样做。

Answer 2

协议是存在类型，这就是您感到困惑的原因。 您需要公开 class 类型的协议类型。 在您的情况下，您可以执行LowerProtocol或HigherProtocol ，以便现在打印 10。 让我们像这样

let lowerClass: LowerProtocol = LowerClass()

或者

let lowerClass: HigherProtocol = LowerClass()

lowerClass.level // now prints 10

lowerClass.doSomething() // Prints "Lower level is 10" to the console.