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

问题描述

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

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

然后我创建一个符合 HigherProtocol 的类，然后创建一个符合低层协议的子类：

class HigherClass: HigherProtocol {}

class LowerClass: HigherClass,LowerProtocol {}

然而，当我实例化这个较低的类时，它显示了一些奇怪的行为：

let lowerClass = LowerClass()

lowerClass.level // is 1

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

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

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

解决方法

您似乎正在尝试使用协议来创建多重继承。它们不是为此而设计的，即使您可以使用它，您也会被咬几次。协议不是继承的替代品，多重或其他。（通常，Swift 更喜欢组合而不是任何形式的继承。）

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

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

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

（顺便提一下，Objective-C 中的情况是类似的。在两个不同类别中实现一个方法会导致未定义调用哪一个，并且在发生这种情况时没有警告或错误让您知道。Swift 的优化可以使这种行为更令人惊讶。）

我希望编译器能够检测到这些类型的错误并引发错误，但事实并非如此。您需要重新设计您的系统，以免发生这种情况。

协议是存在类型，这就是您感到困惑的原因。您需要公开您的类 Type 的协议类型。在您的情况下，您可以执行 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.

subclassing swift swift swift