通用数组的Swift错误

protocol MyProtocol {}

struct myType: MyProtocol {}

class MyClass <T: MyProtocol> {
    func MyFunction(array: [T]) {
        if let myArray = array as? [myType] {
            println("Double!")
        }
    }
}

let instance = MyClass<myType>()

let array = [myType(),myType()]

instance.MyFunction(array)

if let first = array.first as? myType

Swift没有内置行为来推测性地将数组的内容从一种任意类型转换为另一种类型.它只会对它知道具有子类型/超类型关系的两种类型执行此操作：

class A { }
class B: A { }
let a: [A] = [B(),B()]
// this is allowed - B is a subtype of A
let b = a as? [B]

let a: [AnyObject] = [1,2,3]
// this is allowed - NSnumber is a subtype of AnyObject
let b = a as? [NSnumber]

struct S1 { }
struct S2 { }

let a = [S1(),S1()]
// no Dice - S2 is not a subtype of S1
let b = a as? [S2]

该协议也无济于事：

protocol P { }
struct S1: P { }
struct S2: P { }

let a = [S1(),S1()]
// still no good – just because S1 and S2 both conform to P
// doesn’t mean S2 is a subtype of S1
let b = a as? [S2]

您的示例基本上是最后一个的变体.你有一个[T]类型的数组,并且你想把它转换为[myType].重要的是要了解您没有[MyProtocol]类型的数组.您的泛型类型T是一种特定类型,它必须实现MyProtocol,但这不是一回事.

要了解为什么不能从任何类型转换为任何其他类型,请尝试以下代码：

protocol P { }
struct S: P { }

let a: [P] = [S(),S()]
let b = a as? [S]

这将生成运行时错误：“致命错误：不能在不同大小的类型之间进行unsafeBitCast”.这给出了一个提示,说明为什么只能将包含一个引用类型的数组转换为子类型 – 这是因为发生的事情只是从一个指针类型转换为另一个指针类型.这适用于超类/子类,但不适用于任意类,结构或协议,因为它们具有不同的二进制表示.