文字型の値に型がないのはなぜですか？

Question

タイプ推論はSwiftの強力な属性です。これはコンパイラがプログラマが提供する値からリテラルの型を推論できることを意味します。明示的な型指定は必要ありません。

たとえば、var IntNum = 3;コンパイラは変数IntNumがInt型であると推測できます。 Xcodeで、ユーザーがキーを押して変数名（ここではIntNum）をクリックすると、Xcodeはタイプを示します。
しかし、リテラル値3でこれを行った場合、Xcodeは何も提供しません。私は、画面上に置いたリテラル値には全く型がないことがわかります。オブジェクト変数と定数だけがtypeプロパティを持っています。

私はちょうどそう思います、誰かが私にそれを説明することができますか？

乾杯だね SL

Answer 1

。あなたは初期値を持つ定数または 変数を宣言するときthe documentation

タイプの安全性とタイプ推論

型推論から

は特に便利です。これは多くの場合、 のリテラル値（またはリテラル）を、宣言した点 の定数または変数に代入することによって行われます。あなたが式の整数と浮動小数点リテラルを結合する場合は、二重の タイプから推測されます...

（リテラル値は、ソースコードに直接 を表示される値です）コンテキスト：

let anotherPi = 3 + 0.14159 
// anotherPi is also inferred to be of type Double 

3のリテラル値は、それ自体の明示的な型を持っていない、など ダブルの適切な出力タイプが 浮動小数点の存在から推測されますリテラルを加算の一部として使用します。