メソッドの変数宣言。

Question

javaを学習している初学者になります。
下記コードですが、ｘを宣言していますがif文でx=++y;で代入され初期化されていると思っていたのですが、
System.out.println(x+" ,"+y);のところでエラーがでてしまいなぜエラーになるのでしょうか？
ｘを消してyのみ出力すると9に変わったということはｘには5が代入されていたとおもうのですが....

public class Main {

	public static void main(String[] args) {
	int x;
	int y=3;
	if(y>2) {
		x=++y;
		y=x+5;
		}else {
			y++;
	}
	System.out.println(x+" ,"+y);
}
	}

Comments

[y_waiwai]

エラーが出たなら、エラーメッセージを提示しましょう
エラーメッセージは、いらぬ翻訳省略しないで、出たそのママをコピペで提示してください

Answer 1

if文でx=++y;で代入され初期化されていると思っていたのですが

いえ、逆にx=の代入文がifの中にしかないので、通らない場合には初期化がされないままたどり着いてしまうことになります。

人間が見れば「ifを通らない可能性」はないとわかるのですが、コンパイラはそこまで厳密に可能性を潰すことはしません。

Answer 2

まず、他の方も仰っているように、エラ―メッセージは省略せずに出しましょう。
エラ―メッセージはヒントの宝庫です。というか、コンパイラ等からのメッセージです。
もしかしたら別の理由(後に書かれているメッセージ)が原因だったり、省略されているものの中にヒントが隠されていることがあるからです。

で、今回の質問ですが、単純に

import java.util.*;

public class Main {
    public static void main(String[] args) throws Exception {
        int y = 1;
        int x;
        x = ++y;
        System.out.println(x);
    }
}

のようにする場合は確かにxの値が出力されます。ですが、

import java.util.*;

public class Main {
    public static void main(String[] args) throws Exception {
        int y = 1;
        int x;
        if( y == 1 ){
          x = ++y;
        }
        System.out.println(x);
    }
}

のようにif文等で設定する場合、初期値が設定されていない場合はエラーになるようです。

ちなみに今回のx = ++y;のような処理は初期化とは言いません。代入です。初期化とは、宣言と同時に設定するやつです。int a = 100; のような。別物です。

で、なぜ今回の場合、エラーになるのか。それは『分岐処理があるから』です。今回の場合、たまたまtrueになる条件式でした。でもこれがユーザ入力によって変化するとかだとどうなるでしょうか。

(私がサンプルとして提示した)コードを読んでみましょう。

import java.util.*;

public class Main {
    public static void main(String[] args) throws Exception {
        // 変数y を 初期値1として宣言 (宣言&初期化)
        int y = 1;
        // 変数xを宣言
        int x;
        // y が 1 なら
        if( y == 1 ){
          // xの値は y + 1 した値である(yも +1している)
          x = ++y;
        }
        // 出力する
        System.out.println(x);
    }
}

これが、仮に ユーザ入力で y = 2 だったらどうなるでしょうか。
if文の条件 ( y == 1 ) を満たさないのでスルーして 出力します。
そうなると初期化していない変数を使おうとしているから、『error: variable b might not have been initialized』のようなエラーを吐きます。
まあ、Javaのおせっかいですね。

Comments

[Zuishin]

初期値が与えられていない変数に初期値を与えるのは初期化で合っています。

[BeatStar]

@ Zuishinさん
> 初期値が与えられていない変数に初期値を与えるのは初期化で合っています。

え!? そうなんですか!? 私は http://www.kab-studio.biz/Programing/JavaA2Z/Word/00000061.html にあるような意味だと解釈していたのですが…
修正しておきます。

[Zuishin]

「初期化」は「initialize」の訳語です。

> そうなると初期化していない変数を使おうとしているから、『error: variable b might not have been initialized』のようなエラーを吐きます。

not have been assigned ではなく not have been initialized とありますし、自分でも「初期化」と書いていますよね？

宣言と同時に代入する際に使える構文を初期化子(initializer)と呼び、初期化子で初期値を与えるのも当然初期化ですが、それは構文上の用語で、今回のエラーで使われている「初期化」とは意味が違います。