導入
Javaの進化に伴い、switch文は単なる値の分岐から、パターンマッチングを用いた強力な制御フローへと変貌を遂げました。しかし、新しく導入された「パターンラベル」を扱う際、従来のswitch文の挙動である「フォールスルー（後続のcaseへの意図しない落下）」が制限されるようになりました。本記事では、コンパイルエラー「Illegal fall-through to a pattern」が発生する原因と、安全なコードの書き方を解説します。
基礎知識：パターンラベルとフォールスルー
従来のswitch文では、breakを書かない限り処理が次のcaseへ流れる「フォールスルー」が可能でした。しかし、Java 21以降のパターンマッチング（instanceofの進化版）を伴うcaseラベルでは、この挙動が禁止されています。
なぜ禁止されているかというと、パターンマッチングは「値の抽出（変数のバインド）」を行うため、もしフォールスルーを許してしまうと、後続のブロックで「値が未定義のまま処理が進む」という型安全上の重大な欠陥が生じるからです。このため、コンパイラは厳格にこれをチェックし、エラーを出力します。
実装/解決策
このエラーを解決するための基本ルールは「パターンマッチングを含むcaseブロックは、必ず終了させる」ことです。
1. break 文を使用する。
2. return 文や throw 文でメソッドを抜ける。
3. switch式（-> 演算子） を活用し、フォールスルー自体を許さない構造にする。
可能な限り、従来のswitch文ではなく、フォールスルーが発生しないswitch式への移行を推奨します。
サンプルプログラム
以下のコードは、パターンマッチングを使用した際の「Illegal fall-through」を回避する実装例です。
public class PatternSwitchExample {
public static void main(String[] args) {
Object obj = “Hello, Java”;
// 従来のswitch文でパターンマッチングを行う場合
switch (obj) {
case String s:
System.out.println(“文字列です: ” + s);
// breakがないとフォールスルーとなりエラーになるため、必ずbreakする
break;
case Integer i:
System.out.println(“整数です: ” + i);
break;
default:
System.out.println(“その他”);
}
// 推奨：switch式を使うとフォールスルーを意識する必要がない
String result = switch (obj) {
case String s -> “文字列: ” + s;
case Integer i -> “数値: ” + i;
default -> “不明”;
};
System.out.println(result);
}
}
応用・注意点
現場で陥りやすいバグとして、sealed class（封印されたクラス）との組み合わせがあります。すべてのサブクラスを網羅しているつもりでも、パターン変数を使用する際に誤ってフォールスルーを意図した記述をすると、このエラーに遭遇します。
また、switch式（->）を使えば、そもそもフォールスルーという概念自体が存在しないため、コードの可読性と安全性が劇的に向上します。既存のレガシーなswitch文を保守する際は、無理にbreakで調整するよりも、可能な限りswitch式へのリファクタリングを検討するのが、シニアエンジニアとしての賢い選択です。常に「型安全」を最優先に設計するように心がけましょう。
コメント