なぜ迅速なコンパイラは省略名の引数名を受け入れないのでしょうか？

Question

配列は次のとおりです。

let closestStationAnnotations = closestAnnotations.filter({ 
     $0.dynamicType === StationAnnotation.self 
    }) 

Cannot convert value of type (_) -> Bool to expected argument type (MKAnnotation) -> Bool

をしかし受け入れる：var closestAnnotations:[MKAnnotation]

迅速コンパイラは受け付けませんなぜ私が思っていた私がしようとしている

let closestStationAnnotations = closestAnnotations.filter({ 
     (annotation : MKAnnotation) -> Bool in 
     annotation.dynamicType === StationAnnotation.self 
    }) 

Answer 1

あなたのコードの異なるバージョン（Xcode 7を使用）。修正は明らかで、タイプをテストするための正しい方法であり、問​​題なく動作します。

を使用すると明らかです。

私はエラーがしかし、これは動作しません離れ

let closestStationAnnotations = closestAnnotations.filter({ 
    print("\($0)") 
    return ($0.dynamicType === StationAnnotation.self) 
}) 

行かせるシンプルなコードがあることに気づいた：

let closestStationAnnotations = closestAnnotations.filter({ 
    return ($0.dynamicType === StationAnnotation.self) 
}) 

エラーメッセージに気付いた場合、コンパイラは見ているが、クロージャーは(_) -> Boolです。

これは、式$0.dynamicTypeが何とか最適化されたという結論に導きます。

最も興味深い

let closestStationAnnotations = closestAnnotations.filter({ 
    return true 
}) 

は、同じエラーがトリガされます。

1. コンパイラは配列の型から引数を推論することはできませんし、[Type]に呼び出されたときに(_) -> Boolが(Type) -> Boolとして考慮されるべきであるので、それは間違っている：

   だから、私は2つのコンパイラのバグがあると思います。

2. コンパイラはどうにかして$0.dynamicTypeを最適化します。それは明らかに間違っています。