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

问题描述

我遇到了一个我不明白的问题。 在我的项目中，我想使用一些自定义方法（例如来自服务器的更新）来收集元素。但是，当我尝试将所有这些集合分组到一个数组中时，出现错误：“无法将类型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()
    }
}

在此先感谢您的帮助；）

解决方法

能够从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存在相似的规则。没有针对您自己的类型执行此操作的机制。

您自己的通用类型始终是不变的，这意味着只要SomeType<T>和SomeType<U>是不同类型，就不会在T到U之间进行转换。 / p>

让我们想象一下，如果允许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设置为“ string”，但是MyCollection是引用类型，因此myCollectionInt.object也应该是“ string”。但是myCollectionInt.object是Int?！

当然，这种类型不安全性也是数组的问题，但是语言设计人员已决定强制转换数组是一件很常见的事情，不允许这样做会做弊大于利。