Javaの条件分岐ブロック内でのローカル変数初期化の挙動と注意点

Javaでは、初期化されていないローカル変数を使用することはできません。Javaコンパイラは「確定的代入解析」と呼ばれる仕組みによって、すべてのコード経路において変数が必ず初期化されてから使われることを厳密にチェックしています。

そのため、if文などの条件分岐ブロックの中だけでローカル変数を初期化した場合、コンパイル結果は大きく次の3つのパターンに分かれます。

• コンパイルが成功するケース：条件式にリテラル（定数値）が使われ、コンパイラがその条件が常に真（true）になると判断できる場合。
• コンパイルエラーになるケース①：条件式に変数が使われ、コンパイル時点で条件の真假を確定できない場合。実行時には条件が真になっても、コンパイラは「変数が初期化されない可能性がある」と判断してエラーを出します。
• コンパイルエラーになるケース②：チェックされる条件が偽（false）と評価される場合。

これらのエラーを避けるシンプルな方法は、条件ブロックの外側であらかじめデフォルト値を代入しておくことです。そうすれば、どの経路を通っても変数が初期化済みになるため、コードは問題なくコンパイルされます。

サンプルコード

public class Demo{
    public static void main(String args[]){
        int i = 35;
        int j = 0;
        if (i > 32){
            j = i + 11;
        }
        System.out.println("The value is: " + j);
    }
}

実行結果

The value is: 46

このプログラムでは、Demoクラスのmainメソッド内で2つのint型変数 i と j を宣言しています。ポイントは、j を宣言と同時に 0 で初期化している点です。その後、if文で i > 32 という条件を判定し、真であれば j に i + 11 の計算結果（46）を代入します。最後に System.out.println() で結果をコンソールに出力しています。

もし int j; のように初期化せずに宣言だけを行うと、i が定数ではなく変数であるため、コンパイラはif文の条件が実行時に真になるかどうかを確定できません。その結果、「変数 j は初期化されていない可能性があります」というコンパイルエラーが発生します。条件分岐内で変数へ代入する場合は、宣言時にデフォルト値を与えておくのが安全で一般的な書き方です。