導入
Javaのバージョンアップに伴い、制御フローの記述は大きく進化しました。特にJava 14以降で標準化された「switch式」において、defaultラベルの扱いはコードの安全性と保守性を左右する重要な要素です。かつてのswitch文ではdefaultを書き忘れてもコンパイルエラーにはならず、意図しないバグの温床となっていました。本記事では、現代のJava開発においてdefaultラベルをどう適切に配置し、網羅性を確保すべきかについて解説します。
基礎知識
従来のswitch「文」は、フォールスルー（breakを書き忘れると次のcaseに突き抜ける現象）がバグの元でした。しかし、switch「式」では、値を直接返すことができるようになり、コードがより宣言的になりました。ここで重要なのが網羅性（Exhaustiveness）です。switch式では「すべての入力値に対して戻り値が定義されていること」が強制されます。defaultラベルは、明示的に指定されていないケースをすべてカバーするための「安全網」として機能します。特にsealed classes（封印クラス）と組み合わせることで、コンパイラが「残りのケースがないこと」を検知し、defaultラベルを省略可能なケースも生まれます。
実装/解決策
実務では、列挙型（enum）やsealedクラスをswitchで扱う際、defaultラベルを「念のため」と記述しがちです。しかし、将来的な拡張性を考えると、defaultラベルを「未知のケース」として扱い、例外をスローさせるのが定石です。これにより、新しいenum定数が追加された際に、コンパイルエラーとして検知できるようになります。
サンプルプログラム
以下のコードは、sealedインタフェースを用いた安全なswitch式の実装例です。
public class SwitchExample {
// 形状を定義（sealedにより、許可されたサブクラスのみに限定）
sealed interface Shape permits Circle, Rectangle {}
record Circle(double radius) implements Shape {}
record Rectangle(double width, double height) implements Shape {}
public double getArea(Shape shape) {
return switch (shape) {
case Circle c -> Math.PI c.radius() c.radius();
case Rectangle r -> r.width() r.height();
// sealedクラスで網羅されているため、defaultラベルは不要
// もしここへ新しいShapeが増えると、コンパイルエラーで通知される
};
}
}
応用・注意点
実務で最も注意すべきは「defaultラベルを過信しないこと」です。
1. Enumの場合: enumをswitch式で使う際、すべての定数を網羅していればdefaultラベルは不要です。あえてdefaultを書き、例外を投げるコードにしておくと、将来的にenumが追加された際、コンパイラが警告を出してくれるためバグを防げます。
2. 網羅性の活用: sealedクラスを使っている場合、コンパイラが型の網羅性をチェックしてくれるため、defaultラベルで「予期しない型」をカバーする必要がなくなります。これは「コードの堅牢性」を劇的に向上させる手法です。
3. yieldの併用: 複雑なロジックをcase内に書く場合は、ブロック内でyieldを使用して値を返却します。この際も、defaultブロックでの戻り値の型が統一されているか注意してください。
常に「defaultラベルで逃げない」意識を持つことが、後の修正コストを抑えるシニアエンジニアの流儀です。
コメント