协议方法中的返回类型协方差

Question

为什么不快速支持协议中定义的方法中的返回类型协变？例如

class Base { }

class Derived : Base { }

protocol Requirement {
  var someVariable : Base { get }
}

struct MyStruct : Requirement{
 let someVariable : Derived
}

编译器会发出MyStruct不符合协议要求的错误.据我所知,MyStruct满足了LSP的所有要求,所以我想知道为什么Swift中不允许这样做？

Answer 1

想象一下你有：

var requirement: Requirement?

并且你想分配一个类型的变量Base

let myBaseInstance = Base()
requirement.someVariable = myBaseInstance

如果您查看您的结构，这是不可能的，因为 base 的实例不继承自Derived.

换句话说，这是不可能的（但根据协议的定义它必须是可能的）：

var requirement: Requirement? = MyStruct()
requirement.someVariable = myBaseInstance //error 

您在第 2 行收到错误，因为 someVariable 必须是 类型Derived，但只是myBaseInstance类型Base并且可能不符合Derived.