迅速なリテラルのタイプの比較に失敗しますか？

Question

このコードは動作しますが、3スウィフトです：

let a = 1 
type(of: a) == Int.self // true 

しかし、非常にこのコードは失敗します。

// error: binary operator '==' cannot be applied to two 'Int.Type' operands 
type(of: 1) == Int.self 

あれば、第2の比較作業を行うための構文は何ですか？

ありがとうございます。

Answer 1

私はエラーメッセージが誤解を招くと思います。実際の問題は、2番目の呼び出しでリテラル1を解釈する方法でした。

let a = 1 // a is an Int 

しかし、コンパイラは、コンテキストに応じなどDouble、UInt32、CChar、としてそれを読むことができます：

func takeADouble(value: Double) { ... } 
func takeAUInt(value: UInt) { ... } 

takeADouble(value: 1) // now it's a Double 
takeAUInt(value: 1) // now it's a UInt 

type(of:)はとしてdefinedであるあなたは、変数を定義Intへスウィフトデフォルト汎用関数：

func type<Type, Metatype>(of: Type) -> Metatype 

コンパイラには手がかりがありません具体的にはInt、UInt、UInt16などのように、Typeの一般的なパラメータをどのように解釈するのですか？ここで私はIBMスウィフトサンドボックスから得たエラーがあります：

Overloads for '==' exist with these partially matching parameter lists 
(Any.Type?, Any.Type?), (UInt8, UInt8), (Int8, Int8), 
(UInt16, UInt16), (Int16, Int16), (UInt32, UInt32), ... 

あなたはcoompilerにそれが何であるかの種類にそれを伝えることにより、いくつかの助けを与えることができます。興味深いことに

type(of: 1 as Int) == Int.self