Question

以下代码失败原因的一般问题已经是answered。但我的问题是，如果它永远不可能，为什么这不是编译器错误？

这是一个最小的例子：我可以定义这个函数，即使unsafeBitCast总是会失败，编译器也不会抱怨：

func foo() -> [Int] {
    let arr: [Int?] = [1, 2, 3, 4]
    guard let barr = arr as? [Int] else { return [] }
    return barr
}

在我们真正尝试在运行时调用foo()之前，这不会失败。

Answer 1

这是一个编译器错误，因为[Int]不是[Int？]的子类型所以，你的代码不应该编译而没有任何错误。但是，下一个代码应该按预期工作

Category

请填写错误报告！更有趣的是，下一个代码无法编译

let i: [Int?] = [1,2,3]
let d: [Double?] = [1,2,3]

func foo<T>(arr:[T?]?) -> [T] {
    guard let barr = arr where T.self == Int.self else { return [] }
    return barr.flatMap{ $0 }
}

print(foo(i), foo(i).dynamicType)
print(foo(d), foo(d).dynamicType)
/*
 [1, 2, 3] Array<Int>
 [] Array<Double>
 */

但

let j = [Optional(1),Optional(2)] as? [Int]

编译并崩溃......

let j = [Optional(1),Optional(2)]
let k = j as? [Int]

为什么不安全BitCast编译错误？

1 个答案: