導入
Java 17以降、switch式（switch expressions）やパターンマッチングの導入により、コードはより簡潔になりました。しかし、同時に遭遇しやすくなったのが「Missing default label」エラーです。これはコンパイラが「入力される全ての値を処理しきれていない」と判断した時に発生します。なぜこれが重要かというと、将来的な仕様変更による「列挙型の追加」などで発生する実行時バグを、コンパイル時点で未然に防ぐことができるからです。
基礎知識：網羅性チェックとは
Javaのswitch式は、すべての入力値に対して結果を返さなければならないという「網羅性（Exhaustiveness）」が求められます。
もし、入力値が列挙型（enum）やsealed class（継承制限クラス）である場合、コンパイラは「定義されているすべてのケースをカバーしているか」をチェックします。このとき、もし漏れがあれば「defaultラベル（または漏れているケース）」が必要だと指摘されます。これが「Missing default label error」の正体です。
実装と解決策
このエラーを解決するには、主に2つのアプローチがあります。
1. すべてのケースを網羅する: enumのすべての要素を列挙する。
2. defaultラベルを記述する: 想定外の入力に対するフォールバックを用意する。
現場の設計方針としては、sealed classのように「想定される型が決まっている」場合は、あえてdefaultを書かずに全ケースを記述することで、将来的にクラスが増えた際にコンパイルエラーとして検知させる手法が推奨されます。
サンプルプログラム
以下のコードは、sealed classを用いた網羅性チェックの例です。
// 継承を制限したクラス階層
sealed interface Shape permits Circle, Square {}
record Circle(double radius) implements Shape {}
record Square(double side) implements Shape {}
public class Main {
public static void main(String[] args) {
Shape shape = new Circle(5.0);
// switch式による網羅的な処理
String result = switch (shape) {
case Circle c -> "円の面積: " + (Math.PI c.radius() c.radius());
case Square s -> "正方形の面積: " + (s.side() s.side());
// ここでdefaultを省略しても、コンパイラが全てのShapeを網羅していると判断するためエラーになりません
};
System.out.println(result);
}
}
応用・注意点
現場で最も陥りやすいのは、「とりあえずdefaultを書いてエラーを消す」という対応です。
特にenumで新しい定数を追加した際、defaultが存在するとコンパイラは警告を出さずに「想定外のケース」として処理してしまいます。これでは、本来実装すべき新機能のロジックが漏れていることに気づけません。
ベストプラクティス:
- enumやsealed classの場合: できるだけdefaultを書かず、全パターンを明示的に記述する。これにより、将来の変更時にコンパイルエラーとして修正箇所を即座に特定できます。
- 網羅性が不明な場合: 予期せぬ値が来た時のために、必ずdefaultを記述して例外を投げるか、安全な値を返すように設計してください。
この「コンパイラに守ってもらう」意識を持つことが、堅牢なJavaアプリケーション開発の第一歩です。
コメント