1. 導入：なぜ「制御フロー」を意識する必要があるのか
Javaでプログラミングをしていると、「if文やswitch文で条件分岐が増えすぎて、処理の流れが追えなくなった」という経験はありませんか？コンパイラは内部で「制御フローグラフ（CFG）」という仕組みを使って、コードがどこへ流れるかを解析しています。この「処理の通り道」を理解することは、バグのない堅牢なコードを書くための第一歩です。今回は、最新のJavaで推奨される安全な書き方とともに、プログラムの構造を整理するコツを解説します。
2. 基礎知識：制御フローグラフ（CFG）とは？
制御フローグラフ（Control Flow Graph）とは、プログラムの実行順序を「ノード（処理の単位）」と「エッジ（処理のつながり）」でグラフ化したものです。
例えば、if文があれば「真の場合」と「偽の場合」に枝分かれしますよね。コンパイラはこのグラフを見ることで、「この変数に値が入っていない可能性がある（初期化漏れ）」や「到達不能なコード（Dead Code）」を検知しています。
3. 実装/解決策：現代的な制御フローの書き方
Java 17以降では、より安全で網羅的な制御フローを実現するために、以下の機能が重要です。
・sealed classes（封印クラス）：継承を制限し、分岐の漏れを防ぐ。
・switch expressions（switch式）：値を返すswitch文。網羅性チェックが強力。
・yield：switch式の中で値を戻すためのキーワード。
これらを組み合わせることで、コンパイラがCFGを解析する際に「分岐の漏れがないか」を厳格にチェックしてくれるようになります。
4. サンプルプログラム
以下は、sealed classesとswitch式を組み合わせた、非常に堅牢なコード例です。
// 継承先を制限することで、分岐の網羅性を高める
sealed interface Shape permits Circle, Rectangle {}
record Circle(double radius) implements Shape {}
record Rectangle(double width, double height) implements Shape {}
public class ControlFlowExample {
public static double getArea(Shape shape) {
// switch式を使用。全てのケースを網羅しないとコンパイルエラーになるため安全
return switch (shape) {
case Circle c -> {
double area = Math.PI c.radius() c.radius();
// yieldを使って値を返す
yield area;
}
case Rectangle r -> r.width() r.height();
};
}
public static void main(String[] args) {
Shape myShape = new Circle(5.0);
System.out.println(“面積は: ” + getArea(myShape));
}
}
5. 応用・注意点：現場での最適化とバグ回避
現場で複雑なロジックを扱う際は、以下の点に注意してください。
・網羅性の確保：switch式を使う最大のメリットは、新しい型を追加したときにコンパイルエラーで「修正漏れ」を教えてくれる点です。if-elseだけで書くとこのチェックが働かないため、条件が多い場合はswitch式への書き換えを検討しましょう。
・深いネストの回避：CFGが複雑になりすぎる（分岐が多すぎる）と、テストが困難になります。メソッドを分割し、制御フローの「枝分かれ」を最小限に抑えるのが、シニアエンジニアとしての設計のコツです。
・到達不能コードの検知：コンパイラが「到達不能です」と警告を出した場合は、ロジックのミスか、不要なコードである可能性が高いです。放置せず、早急に整理しましょう。
プログラムの「通り道」をシンプルに保つことが、メンテナンスしやすいシステムの鍵となります。ぜひ、今日から意識してみてください。
コメント