型推論

Swiftの「型推論（Type Inference）」とは、変数や定数を宣言する際に、明示的に型を指定しなくても、Swiftコンパイラが代入された値から自動的に適切なデータ型を推測してくれる仕組みです。

---

型推論の基本的な説明

Swiftは静的型付け言語であり、すべての変数や定数には明確な型があります。しかし、コードを簡潔に書けるように、Swiftは代入される値をもとに型を自動で決定します。これが「型推論」です。

---

使用例

swift
let message = "Hello, world!"     // 型は String と推論される
var count = 10                    // 型は Int と推論される
let pi = 3.14159                  // 型は Double と推論される
var isVisible = true             // 型は Bool と推論される

このように、型を明示しなくても let や var の後に値を代入すれば、Swiftはその値の型を判断して変数に適用します。

---

明示的に型を指定した場合との比較

swift
let message: String = "Hello, world!"
let count: Int = 10

このように型を明示することも可能ですが、Swiftでは型推論が働くため、通常は冗長とみなされ、簡潔なコードを書く際は省略されることが多いです。

---

型推論が働かないケース

型推論は代入される値が明確であることが前提です。たとえば、以下のように初期値がない場合は型を指定する必要があります。

swift
var value            // エラー：型が不明
var value: Int       // OK：明示的に型を指定

また、関数の引数や戻り値の型についても、通常は明示する必要があります。関数の定義には型推論は使用されません。

---

まとめ

• Swiftは変数や定数の初期値から自動的に型を推論する。

• 型推論によりコードが簡潔になる。

• 初期値がない場合や関数定義などでは型の明示が必要。

• 型安全性を保ちつつ、記述の簡潔化を実現できるのが型推論の利点。

---

Swiftの型推論は、安全性と記述の簡潔さを両立させるための重要な仕組みです。理解して使いこなすことで、よりスムーズなSwiftプログラミングが可能になります。