Swift文法基礎(8) 型安全性(Type Safety)と型推論(Type Inference)

Swiftは型安全(type-safe)な言語だそうです。値の型が明示的になるように実装しなくてはいけません。

ある変数の型がStringであった場合、その変数にIntの値を代入することはできません。

型チェックはコンパイル時に行われ、誤りがある場合はコンパイルエラーとなります。

---

Swiftは型チェックを行いますが、必ずしも型宣言が必要なわけではなく、適宜、型推論(type inference)を行なってくれます。

定数や変数の初期値によって型推論が行われます。

let a = 5 // aはIntと型推論されます。

Swiftでは、浮動小数点数に対しては、必ずDoubleと型推論します。Floatにはなりません。

let x = 4 + 0.1234567 //xはDoubleと型推論されます。