Porównywanie typu literału na szybkim błędzie?

Question

Ten kod działa jest Swift 3:

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

Jednak zadziwiająco ten kod nie powiedzie:

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

Jaka jest składnia aby drugą pracę porównania, jeśli w ogóle?

Wielkie dzięki.

Answer 1

Myślę, że komunikat o błędzie był mylący. Prawdziwym problemem było to, jak interpretować literalne 1 w drugim wywołaniu. Swift domyślnie do Int podczas definiowania zmiennej:

let a = 1 // a is an Int 

Ale kompilator może go odczytać jako Double, UInt32, CChar itp zależności od kontekstu:

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:) jest defined jako funkcja ogólna:

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

Kompilator nie ma pojęcia w jaki sposób interpretować parametr ogólny Type: czy powinien to być kod Int, UInt, , UInt16 itd.? Tutaj jest błąd dostałem od IBM Swift Sandbox:

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

Można dać coompiler trochę pomóc, powiedzieć to, jakiego rodzaju jest to:

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