Element 的 Swift 通用集合无法转换为 Any 的集合

Question

我遇到了一个我不明白的问题。 在我的项目中，我想使用一些自定义方法（例如来自服务器的更新）制作一组元素。但是当我尝试将所有这些集合分组到一个数组中时，我收到一个错误：“无法将 MyCollection<someElement> 类型的值转换为预期的参数类型 MyCollection<Any>”

我不明白的是，与 Array 相同的代码正在工作...... Array 不是集合？

// My collection which would contain an update method
class MyCollection<Element> {
    var object:Element? = nil
}

let x = MyCollection<Int>()
var list = [MyCollection<Any>]()
list.append(x) //Cannot convert value of type 'MyCollection<In>' to expected argument type 'MyCollection<Any>'

let a = Array<Int>()
var lista = [Array<Any>]()
lista.append(a) //Doesn't get error at all...

我知道我可以使用特定类型的数组来做到这一点，但是通过将所有 MyCollection 分组到一个数组中，我希望使用如下代码：

func update() {
    for e in list { // array of MyCollection<Any>
        e.update()
    }
}

提前感谢您的帮助；）

Answer 1

能够从SomeType<Subtype> 转换为SomeType<Supertype> 称为协方差。在 Swift 中，Array<T> is covariant on T by "compiler magic", and you can't do the same for your own types.

如果存在从 T 到 U 的转换，类型检查器会硬编码从 Array 到 Array 的转换。 Optional 和 Dictionary 存在类似的规则。没有机制可以用您自己的类型执行此操作。

您自己的泛型类型始终是不变的，这意味着只要T 和U 是不同的类型，SomeType<T> 和SomeType<U> 之间就永远不会发生转换。

让我们想象一下如果允许MyCollection 上的转换会发生什么。你可以这样做：

let myCollectionInt = MyCollection<Int>()
let myCollectionAny: MyCollection<Any> = myCollectionInt // suppose you can do this
myCollectionAny.object = "string" // myCollectionAny.object is of type Any?, so this should be ok

我们将myCollectionAny.object 设置为“字符串”，但MyCollection 是一个引用类型，所以myCollectionInt.object 也应该是“字符串”。但是myCollectionInt.object 是Int?！

当然，这种类型不安全也是数组的一个问题，但是语言设计者已经决定强制转换数组是一件很常见的事情，不允许它做起来比好事更难。