协议继承问题

Question

我尝试建立各种协同工作的协议。不幸的是，我无法让它们按我想要的方式工作。看下面的代码，我想我的目标很明显：我想要一个符合协议 X 的类。如果它符合协议 Y，但协议 Y 继承自协议 X，它也应该被接受为符合协议的类.相反，我收到以下编译错误

Unable to infer associated type 'VC' for protocol 'ViewModelType'

Inferred type 'ExampleViewControllerType' (by matching requirement 'viewController') is invalid: does not conform to 'ViewType'

当前设置：

protocol ViewModelType: class {
    associatedtype VC: ViewType
    weak var viewController: VC! { get set }
}

class ExampleViewModel: ViewModelType {
    weak var viewController: ExampleViewControllerType!
}

protocol ViewType: class { }    
protocol ExampleViewControllerType: ViewType { }

class ExampleViewController: UIViewController, ExampleViewControllerType { 

}

Answer 1

我可以看到您对“传递”协议的理解，但是您的错误是由您在错误中看到的associatedtype VC 声明引起的。

Unable to infer associated type 'VC' for protocol 'ViewModelType'

我认为编译器在这里遇到困难可能是因为它不当使用了associatedtype 声明。

associatedtype 可以被认为是未知类型的占位符。

通过将VC 定义为associatedtype，您可以让任何继承ViewModelType 的类决定VC 应该是什么类型。

在ExampleViewModel 类中，您可以通过在符合类中使用typealias 设置类型来做到这一点。

然后您的 viewController 可以是 ExampleViewControllerType 而不会导致“推断”错误

protocol ViewModelType: class {
    associatedtype VC
    var viewController: VC! { get set }
}

class ExampleViewModel: ViewModelType {
    typealias VC = ExampleViewControllerType
    weak var viewController: ExampleViewControllerType!
}

protocol ViewType: class { }
protocol ExampleViewControllerType: ViewType { }

class ExampleViewController: UIViewController, ExampleViewControllerType {

}

Answer 2

不！它不能是符合类（如果它符合协议 Y，但协议 Y 继承自协议 X，它也应该被接受为符合类）。一个协议可以继承一个或多个其他协议，并且可以在它继承的要求之上添加进一步的要求。协议继承的语法类似于类继承的语法。您不能扩展协议以符合另一个协议。只有一个类满足协议强制执行的所有要求。您可以扩展协议以提供默认实现。

extension Y {
  // default implementations 
}

了解更多Protocol Inheritance