无法分配泛型类型的值

Question

我有通用类 - Class1。

class Class1<T> {
}

我有 Class2 变量 object1 类型为 Class1 和泛型类型 UIView

class Class2 {
    var object1: Class1<UIView>?
}

当我创建Class2 的实例并尝试分配给object1 类型Class1 和泛型类型UITableView 的实例时，我收到一个错误：“无法将Class1<UITableView> 类型的值分配给Class1<UIView> 类型"

var c = Class2()
c.object1 = Class1<UITableView>()

不过，同样的逻辑也适用于 Array。为什么？

Answer 1

让我详细说明安东的评论。问题是何时可以将 B 用于 A。通常，当 B 是 A 的子类型时，您可以这样做。例如，您可以将 UITableView 分配给 UIView 类型的变量。

那么什么时候是其他东西的子类型？

对于类，这很简单：如果您从A 继承B，则B 是A 的子类型。

对于函数类型，您需要考虑参数类型和返回类型。如果F2 的参数类型是F1 的参数的超类型并且F2 的返回类型是F1 的返回的子类型，则函数类型F2 是函数类型F1 的子类型类型。你可以说一个函数不能要求更多（即它不能要求子类型作为参数但可以要求超类型）并且不能提供更少（即它不能返回超类型但可以返回子类型）以使其类型成为子类型.术语是参数类型必须是逆变，返回类型必须是协变。

例子：

var f1: UIControl -> UIControl = ...

let f2: UIView -> UIControl = ...
let f3: UIControl -> UIButton = ...
let f4: UIView -> UIButton = ...
f1 = f2  // Fine, f2 takes UIView so it also takes UIControl
f1 = f3  // Fine, f3 returns UIButton which is a UIControl
f1 = f4  // Fine, both of the above

let f5: UIButton -> UIControl
let f6: UIControl -> UIView
let f7: UIButton -> UIView
f1 = f5  // Error, couldn’t call with a UIControl because f5 demands at least a UIButton
f1 = f6  // Error, call would return only a UIView
f1 = f7  // Error, both of the above

所以f2、f3和f4的类型是f1类型的子类型，f5、f6和f7的类型不是。

现在泛型类型呢？在 Swift 中，带有类型参数的自定义类型都是不变的。也就是说，在您的示例中，无论T1 和T2 之间的关系如何，都不能将Class1<T2> 对象用作Class1<T1> 对象（除非T1 和T2 是同一类型）。

然而，Swift 确实有一些内置的方差规则可以让你的数组示例工作：[UITableView] (Array<UITableView>) 是 [UIView] (Array<UIView>) 的子类型。请注意，选项也是如此，即UITableView? (Optional<UITableView>) 是UIView? (Optional<UIView>) 的子类型。所以数组和可选项都与它们的类型参数是协变的。

进一步阅读：

• Liskov Substitution Principle on Wikipedia
• Mike Ash on Covariance and Contravariance