java 初期化のエラー

Question

import java.io.*;

public class Switch{
    public static void name(String[] args) {
        int c;
        System.out.println("文字を入力してください");

        try{
            c = System.in.read();
        }catch(Exception e){
            
        }

        switch(c) {
            case 65:
                
                System.out.println("押されたキーは[a]です。");
                break;

            case 66:
                System.out.println("押されたキーは[b]です。");
                break;

            case 67:
                System.out.println("押されたキーは[c]です。");
                break;

            case 68:
                System.out.println("押されたキーは[d]です。");
                break;

            case 69:
                System.out.println("押されたキーは[e]です。");
                break;
            default:
                System.out.println("押されたキーは[以外]です。");
        }
    }
}

Switch文の勉強をしている際に以下のようなエラーが出ました。

Switch.java:14: エラー: 変数cは初期化されていない可能性があります
switch (c) {
^
エラー1個

４行目に int cと記述しているので何故エラーが出たかわかりません。初歩的な質問ですがご教授お願いいたします。

Comments

[hentaiman]

初歩的な質問はgoogle検索した方がサンプルコードや説明がたくさん見つかって良いです
エラーメッセージをそのままグーグルに貼り付けてみましょう　固有名詞がある場合はそれを取り除いて検索してみましょう

Answer 1

int c

これは宣言であって初期化ではないです。
cという変数はint型だと言うだけで、何も値を保持していません。
「初期化」とは変数などに初期値を設定することを指します。
Exceptionに入ればそれこそ何の値も設定されないことになります。
Exceptionに入るかどうかは実行してみないと分からないので「初期化されない可能性がある」と警告が出ます。
例え実装者が「必ず正当な値が入るつもり」で実装していたとしても、プログラム側はそんな意図は知らないわけで、与えられた情報にそって処理が行われます。
try-catchを入れないとそもそもコンパイルできないことだってあるのは、その機能が何かしらのExceptionをthrowするようにできているからで、それはつまり、Exceptionが起きる可能性がある機能であることを指します。
なので、変数を必ず参照する実装なのであれば、初期化は必須です。
※Exception起きた状態で続行するかどうかは要件次第

Answer 2

勉強させていただきました。

プリミティブのintの宣言なのだから、初期値は0じゃないの？って思って、
なぜエラーになるんだろうな。。。って疑問に思い調べてみたんですが、

Javaのルールとして、ローカル変数はすべて明示的に値を定義してあげないとダメ見たいです。
なぜintの初期値がoと勘違いしていたのかというと、

public class Switch{

    static int c;

    public static void name(String[] args) {

メンバ変数で定義したときに、クラスがロードされる（オブジェクトであれば、クラスがインスタンス生成される）タイミングでメンバ変数が暗黙の定義で初期化される、というのを、すべての宣言の初期化と勘違いしていたようです。

ありがとうございます。一つ賢くなりました。

Answer 3

デバッグしましょう。
プログラミングは書いて終わりではありません。デバッグやテストまで含みます。

今回の場合、大抵は『初期化や代入をせずに使っていること』が原因です。

それとコードを読みましょう。

コードを読むコツは『一行レベルで、この行が何をしているか考えながら読む』です。
例えばコメントとして書くとか。

そうすると、int c は初期化されておらず、System.in.readメソッドで取得していますが、仮にこのメソッドが例外を投げたらcには何も入りません。

一応Javaとかの言語では型ごとに0とかの初期値が設定されているようですが、非推奨(と思われる)。

(そう言えばJavaはローカルかフィールドかとかで初期化される/されないがあったんだった…)

C言語とかでは初期値を設定しない場合は『不定値』が入ります。
環境によっては0以外(1213とかのような出鱈目な値)になります。

その名残でしょうね。

なので、このロジックでやるならtryの中(System.in.readメソッドがあるような場所)に書くか、int c を初期化するかですね。

まずは『エラーメッセージを読みましょう』。

エラーメッセージにヒントが隠されています。

Comments

[m.ts10806]

低評価はしてないですが、デバッグ関係ないのでは？
そもそもコンパイルエラーが起きるので、デバッグできません。
https://paiza.io/projects/w1TYh_FEjzBBWJdEKP0Ffw

[maisumakun]

> 一応Javaとかの言語では型ごとに0とかの初期値が設定されているようですが、非推奨(と思われる)。

ローカル変数の場合は未初期化の可能性があるまま参照しようとすると、今回の質問のようにコンパイルエラーとなります。フィールドの場合は0あるいはnullで初期化されます。

[hentaiman]

コンパイル可否に関わらずやる事はデバッグです

[BeatStar]

@ m.ts10806さん
> デバッグ関係ないのでは？

すみません。説明が紛らわしかったですね。私が書いたものの意味は広義的な方で、『エラーメッセージを読んで対処する』です。

紛らわしいので修正します。

[BeatStar]

@ maisumakunさん
> ローカル変数の場合は未初期化の可能性があるまま参照しようとすると...

あー、確かにそうですね...

修正します。

[Zuishin]

本来デバッグは「バグを取り除くこと」で、「(デバッガを使うなどして)バグを発見すること」の方が広義の気がするんですよね。

コンパイルできないならそこにバグがあるので、デバッガを使う前にまずそれをデバッグする必要があると思います。

今回の問題点は例外を握りつぶしていることですね。
ここで正しい処理をしていればコンパイルエラーにはならず、デバッガの出番もあったかもしれません。

デバッガを使って欲しいのであれば「デバッグしましょう」ではなく「ここにブレークポイントを張ってステップ実行しながらこの変数の値を確かめましょう」のように、より具体的な指示を出した方が伝わりやすいと思いますが、それでも teratail の平均的な質問者にとってハードルはかなり高いと思われます。

ブレークポイントの張り方や使い方について各環境に合わせてそれぞれ詳細な説明を準備するのも手間ですし、現実的には質問者にブレークポイントが伝わるかどうかを確かめた上で printf デバッグなども視野に入れていかなければいけないでしょう。

伝わらなくていいなら話は別ですが、これだけ「デバッグしましょう」という回答を繰り返しているところを見ると、どうしても伝えたいんですよね？

[BeatStar]

@ Zuishinさん
> 「(デバッガを使うなどして)バグを発見すること」の方が広義の気がするんですよね。

あ、そうなんですか…

> それでも teratail の平均的な質問者にとってハードルはかなり高いと思われます

たしかにそうかもしれません…

> 伝わらなくていいなら話は別ですが、これ...

そうですね。できれば伝えたいです。
(ただ私が説明下手なので…)