ios - 为什么 swift 隐藏受限协议(protocol)的默认实现？

Question

我有一个声明如下所示的协议(protocol):

protocol RefreshableView where Self: UIView {
    func reload()
}

它有默认实现，如下所示:

extension RefreshableView {
    func reload() {
        print("Default implementation")
    }
}

然后，如果我声明 UIView 的另一个(空)扩展符合此协议(protocol)，我会收到编译时错误，指出 UIView 不符合协议(protocol)。

extension UIView: RefreshableView {}

从我的角度来看，这不应该是一种情况，因为提供了默认实现。但是，如果我从协议(protocol)声明中删除 where 语句(对可以符合协议(protocol)的类的限制)，一切都会按预期进行。消除此错误的另一种选择是在默认扩展声明旁边提供相同的 where 语句，但感觉多余，因为我已经让编译器知道该协议(protocol)适用于少数受众。对这种行为有解释吗？

Answer 1

你的意思是这不能编译:

protocol RefreshableView where Self: UIView {
    func reload()
}
extension RefreshableView {
    func reload() {
        print("Default implementation")
    }
}
extension UIView: RefreshableView {
}

正如 Rob Napier 在评论中指出的那样，这是一件非常奇怪的事情，因为如果 UIView 自身 将采用 RefreshableView，那么协议(protocol)的用途是什么？协议(protocol)的原始声明意味着只有 UIView 子类 可以采用 RefreshableView，因此编译器期望的是将发生的事情:

protocol RefreshableView where Self: UIView {
    func reload()
}
extension RefreshableView {
    func reload() {
        print("Default implementation")
    }
}
class MyView: UIView {}
extension MyView: RefreshableView {
}

这是一个有用的真实案例，它编译得很好。

因此您可以针对您的原始代码提交错误，但您必须承认这一点 一开始是一个非常特殊的边缘案例；您说的是实际上没有人会说的话。