elseをelse if にしたらコンパイルエラーになってしまいました。(Java問題集：paiza ioで実行)

Question

Javaの問題集で
「２つの整数値を読み込んで、小さい方の数以上で大きい方の数以下の全整数を小さい方から順に表示するプログラムを作成せよ」
（たとえば整数値Aに10、整数値Bに14を入力したら
10 11 12 13 14
という表示がされるプログラムを作成せよ）
という問題をやっていて、作成したプログラムを実行しようとしたのですが、コンパイルエラーになっていましました。

模範解答を見て模範解答どおりに修正したら、エラーにならずにコンパイルできたのですが、私が書いたコードだとエラーになって模範解答のコードだとエラーにならない理由が理解できませんでした。

私が書いたコードと模範解答のコードを記載するので、どなたかご解説いただけないでしょうか？

私が書いたコード

import java.util.*;

public class Main {
	public static void main(String[] args){
		Scanner stdIn = new Scanner(System.in);

		
		int a = stdIn.nextInt();
		System.out.println("整数A : "+a);
		
		int b = stdIn.nextInt();
		System.out.println("整数B : "+b);


		int start, end;
		if(a < b) {
			start = a;
			end = b;
		} else if(a > b){
			start = b;
			end = a;
		}
		int i = start;
		do {
			System.out.print(i++);
			System.out.print(" ");
			
		} while(i < end);
		System.out.print(i);
		System.out.println();
	}
}

模範解答

import java.util.*;

public class Main {
	public static void main(String[] args){
		Scanner stdIn = new Scanner(System.in);

		
		int a = stdIn.nextInt();
		System.out.println("整数A : "+a);
		
		int b = stdIn.nextInt();
		System.out.println("整数B : "+b);


		int start, end;
		if(a < b) {
			start = a;
			end = b;
		} else{
			start = b;
			end = a;
		}
		int i = start;
		do {
			System.out.print(i++);
			System.out.print(" ");
			
		} while(i < end);
		System.out.print(i);
		System.out.println();
	}
}

読み込んだ整数A Bのどちらが大きいかの条件分岐の箇所でelseかelse ifかの違いでコンパイルエラーになってしまいました。
エラーメッセージは以下の通りです。

Main.java:23: error: variable start might not have been initialized
		int i = start;
		        ^
Main.java:28: error: variable end might not have been initialized
		} while(i < end);
		            ^
2 errors

Answer 1

if-elseだとstart,endが確実に初期化されますが(そうコンパイラが判断する)
if-elseifだとそうなりません。(全部の条件を満たさなかったらstart,endが初期化されない)

というわけで、あなたのコードは might not have been initializedと言われています。

なお、条件が網羅的かどうかは見てないようなので、
if(a<b){...}
else if(a>=b){...}
に置き換えてもエラーになります。

Comments

[bonobiya]

回答ありがとうございました。

Answer 2

Javaでは、ローカル変数は使用する段階で確実な代入状態であることが求められます。
つまり、あるローカル変数が使われる段階では、その変数に確実に何かしらの値が代入されている必要があります。

if文の前で宣言されたstart,endは宣言されただけで、代入されていません。このままでは「確実な代入状態」にはなりません。その代入の方法として、if文で条件分岐して代入を行うわけですが…

        if(a < b) {
            start = a;
            end = b;
        } else if(a > b){
            start = b;
            end = a;
        }

あなたのこのコードでは、どのif文にも引っ掛からなかった場合、初期化が行われないままこの先に進んでしまうため、確実な代入ができない状態になっています。模範解答のコードの場合、

        if(a < b) {
            start = a;
            end = b;
        } else{
            start = b;
            end = a;
        }

ifかelseのいずれかには確実に入ることができ、いずれに入っても初期化が行われるので、確実な代入が可能になっています。

もし仮にコードが

        if(a < b) {
            start = a;
            end = b;
        } else if(a >= b){
            start = b;
            end = a;
        }

となっていて、理論的には確実にどちらかを通る状態だとしても、コンパイラは条件の中身までは見ていないので、これも「いずれも通らない可能性がある」とみなされ、確実な代入状態となりません。

ちなみに私ならこう書きたいですね。

start = Math.min(a, b);
end = Math.max(a, b);

Comments

[bonobiya]

回答ありがとうございました。

Answer 3

ifの入れ子の間違いです。

        } else if(a > b){
            start = b;
            end = a;
        }

の部分が

        } else    if(a > b){
                      start = b;
                      end = a;
                  }
        }

として、}を入れておかなければ、else { の範囲が下まで延びていってしまいます。

Comments

[archiver]

if ～ else if ～ else構文というものがありますが。
それに、これだとelse以降の括弧の対応が崩れてしまっていますよね（「入れ子である」とするならば、elseの{が無い状態です）。