arrays - swift - 使用协议(protocol)转换 Array 与 ArraySlice

Question

在这段代码中

protocol MyProtocol {}
extension Int: MyProtocol {}

let a: Array<MyProtocol> = Array<Int>()
let b: ArraySlice<MyProtocol> = a[...]
let c: Array<Int> = a as! Array<Int>
let d: ArraySlice<Int> = b as! ArraySlice<Int>

d用 Cast from 'ArraySlice<MyProtocol>' to unrelated type 'ArraySlice<Int>' always fails 警告.

为什么 Slice 不能以与原始 Array 相同的方式进行转换？是否可以修改此代码段以将 Array 转换行为赋予 Slice？

Answer 1

这主要是由于 Swift 中泛型变体的工作原理。

Only few types are variant in Swift , 包括 Array<T>和 Set<T> .大多数其他类型以及您定义的类型都是不变的。

不变性意味着 T<A>和 T<B>是不相关的类型，即使 A和 B是相关的。

Array<T>和 Set<T>是协变的，这意味着 Array<A>可以分配给类型为 Array<B> 的变量如果A是 B 的子类型.您可以使用 as! 强制它走另一条路(就像您在第三行所做的那样) .

ArraySlice<T>与许多其他类型一样，只是不变的。您需要这样做才能转换:

let d: ArraySlice<Int> = ArraySlice(b.map { $0 as! Int })