Swiftの型パターンマッチングを徹底解説！初心者でもわかるswitch文の応用テクニック

1. 型パターンマッチングとは？

1. 型パターンマッチングとは？

Swiftの型パターンマッチングとは、値の型（たとえばString型やInt型など）に応じて処理を分ける技術です。主にswitch文の中で使われます。

例えば、動物のリストに猫や犬が含まれていたとして、それぞれの型ごとに処理を変えたい場面などで活用されます。

2. 基本の型パターンマッチング構文

2. 基本の型パターンマッチング構文

次のようなAny型の変数があるとします。これはどんな型の値でも入れることができる特殊な型です。

let value: Any = "こんにちは"

switch value {
case is Int:
    print("これはInt型です")
case is String:
    print("これはString型です")
default:
    print("未知の型です")
}

これはString型です

isキーワードを使うことで、その値が特定の型かどうかを調べることができます。

3. 型を取り出して使うには「as?」を使う

3. 型を取り出して使うには「as?」を使う

「型が合っていたら、その中身を取り出して使いたい」というときは、as?を使ったlet x as? 型の形で書きます。

let value: Any = 42

switch value {
case let intValue as Int:
    print("整数：\(intValue)")
case let strValue as String:
    print("文字列：\(strValue)")
default:
    print("その他の型です")
}

整数：42

let intValue as Intの部分が、Int型にキャスト（変換）して取り出す構文です。

4. どんな場面で使えるの？

4. どんな場面で使えるの？

たとえば、ユーザーから受け取ったデータがIntなのかStringなのか分からないけど、それぞれの型に合わせた処理をしたいというときに役立ちます。

プログラムを柔軟にしてくれる、大事な技術です。

5. 複数の型に応じて処理する応用例

5. 複数の型に応じて処理する応用例

今度はAny型の配列を用意して、要素ごとに型パターンマッチングで処理を変えてみましょう。

let values: [Any] = [123, "Swift", true, 3.14]

for item in values {
    switch item {
    case let number as Int:
        print("整数: \(number)")
    case let text as String:
        print("文字列: \(text)")
    case let flag as Bool:
        print("ブール値: \(flag)")
    default:
        print("その他の型")
    }
}

整数: 123
文字列: Swift
ブール値: true
その他の型

このように、型ごとに丁寧に処理を分けることで、安全でわかりやすいコードが書けます。

6. Optional型との組み合わせ

6. Optional型との組み合わせ

Swiftには、値があるかどうかを表すOptional型というものがあります。これも型パターンマッチングで分岐可能です。

let optionalValue: Any? = "こんにちは"

switch optionalValue {
case let value as String:
    print("文字列です: \(value)")
case nil:
    print("値がありません")
default:
    print("その他の型です")
}

文字列です: こんにちは

nilとの比較もできるので、値があるかどうかと型のチェックを同時に行えるのも便利な点です。

7. 実生活でのたとえ話：型パターンマッチングは箱の中身チェック

7. 実生活でのたとえ話：型パターンマッチングは箱の中身チェック

たとえるなら、型パターンマッチングは箱を開けて中身を確認して、それに応じて処理をするようなイメージです。

箱には果物が入っていて、それがりんごなら洗って食べる、バナナなら皮をむく、みたいに中身の種類（＝型）に応じたアクションを行う、ということです。

8. よくある間違いと注意点

8. よくある間違いと注意点

型パターンマッチングを使うときは、順番に注意が必要です。たとえばis Anyを先に書いてしまうと、それより下のas Intなどが実行されなくなることがあります。

また、as?は安全な型変換のための記述で、無理に変換しようとするとnilになることがあるので、あらかじめ順序や存在チェックを意識して書くことが大切です。