unsafeBitCastがコンパイラエラーではないのはなぜですか？

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？]のサブタイプではないので、コンパイラのバグです。コードはエラーなしでコンパイルするべきではありません。しかし、次のコードは期待どおりに動作するはずです

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] 

コンパイルとクラッシュ...

let arr0:[Int?]? = [1,2,3] 

if let r = arr0 where r.dynamicType == [Int].self { 
    print(r, r.dynamicType) 
} else { 
    print("not [Int]") 
} 
// prints 
// not [Int] 

// but 
func foo()->[Int] { 
    let arr0:[Int?]? = [1,2,3] 
    if let r = arr0 where r.dynamicType == [Int].self { 
     print(r, r.dynamicType) 
     // !!!!! ERROR !!!!! 
     // next line doesn't compile wihout flatMap !!!! 
     // 
     // error: cannot convert return expression of type '[Int?]' to return type '[Int]' 
     // 
     // even though that it is clear from the where clause that r type must be [Int] 
     return r.flatMap{ $0 } 
    } else { 
     print("arr0 is not [Int]") 
     return [] 
    } 
} 
foo() // [] and prints: arr0 is not [Int]