5

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

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 HigherClass: HigherProtocol {}

class LowerClass: HigherClass, LowerProtocol {}

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

let lowerClass = LowerClass()

lowerClass.level // is 1

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

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

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

4

2 回答 2

4

您似乎正在尝试使用协议来创建多重继承。它们不是为此而设计的，即使你得到这个工作，你也会被咬几次。协议不能替代继承，无论是多重的还是其他的。（通常，Swift 更喜欢组合而不是任何形式的继承。）

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

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

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

（附带说明一下，Objective-C 中的情况类似。在两个不同类别中实现一个方法会使调用哪个类别的方法不确定，并且当这种情况发生时没有警告或错误让您。Swift 的优化可以使行为更均匀更令人惊讶。）

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

于 2021-01-19T13:53:00.910 回答
1

协议是存在类型，这就是您感到困惑的原因。您需要公开您的类 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.
于 2021-01-19T13:13:26.480 回答