質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.51%

  • Java

    15832questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

ローカル変数を初期化する理由がわからない

解決済

回答 7

投稿

  • 評価
  • クリップ 1
  • VIEW 4,808

shichihukujin

score 12

import java.io.*;

public class sample{
    public static void main(String[] args){
        FileWriter fw;
        try{
            fw=new FileWriter("sample1.dat",false);
            fw.write('A');
            fw.flush();
        }catch(IOException e){
            System.out.println("ファイル書き込みエラーです。");
        }finally{
            if(fw!=null){
                try{
                    fw.close();
                }catch(IOException e2){
                }
            }
        }
    }
}


というコードがあります。
これをコンパイルすると、「 変数fwは初期化されていない可能性があります」と表示されます。
だから、初期化するとコンパイルエラーは消えるのですが、
質問は、何故コンパイラはローカル変数が初期化されていないことを疑う必要があるのですか。
どうかご教授お願いします。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 7

checkベストアンサー

+3

実際上の理由は「バグによりメモリーを破壊するような可能性」を排除することだと思います。プログラムの実行中に発生し得るエラーを「エラーの検出・レポート・リカバリーが可能なもの」「エラーを検出すること自体ができないような致命的なエラー」に大別すると、「未初期化変数の参照(により起こるメモリー破壊)」は後者でして、確実に検出すること自体が不可能かつ何が起こるか予想できないというやっかいなものです。こういうことを極力起こさないようにするためにコンパイル時ガードするという方針を採ったのだと思います。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/09/23 23:19

    詳しい解説をありがとうございます。確かに、エラーの種類について分別したとき、述べられた後者のものを学びました。とても、納得しましたし、僕が欲しかった回答でしたのでベストアンサーに選ばせてもらいます。

    キャンセル

+1

もし、fw=new FileWriter("sample1.dat",false);の処理で
FileWriterを初期化している途中でExceptionが発生したら、
fwに代入する前に、finally内のif(fw!=null){を実行することになり、
未初期化のfwと参照する可能性があるからではないでしょうか。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/09/23 23:34

    回答して頂いたみなさんのおかげで、finallyに移ったときに参照するものがないと、致命的なことになることが分かりました。現象を解説してくださってありがとうございます。

    キャンセル

+1

new FileWriter("sample1.dat",false)


の部分でIOException以外の例外が発生した場合、fwが初期化(値の代入)をされないままfinally句に実行が移ることになります。
そうすると、fwにアクセスするところで例外が発生する事になりますが、その例外は補足されません。

このような多重例外が発生する可能性をコンパイラが検出して、「 変数fwは初期化されていない可能性があります」とのエラーメッセージを出しているのです。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/09/23 22:24

    >fwにアクセスするところで例外が発生する事になりますが・・・
    後のコメントに書きましたが厳密にはメモリーを破壊する現象なので「例外を起こせる保証がない」という方が近いように思います。catch/finallyの中でもネストした例外処理は可能なので例外を確実に起こせるなら問題にはならないと思います。

    キャンセル

0

自分で情報を保持するために宣言したはずの変数に、なにも情報を保持しないままアクセスするのは、変数の目的に反するためです。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/09/23 23:27

    僕の質問の仕方が具体的でなかったために、頂いた回答は、僕の意図していた回答の類とは少しずれてしまっているように思えます。すみません。

    キャンセル

0

文法上の間違いではないですが、親切設定ですね。ちなみに「goto」という語があると(変数名だろうとしても)コンパイルエラーとなると聞いたことがあります。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/09/23 23:21

    コンパイルの親切設定の意味がベストアンサーさんの回答で理解しました。
    そして、豆知識ありがとうございます。

    キャンセル

  • 2018/12/19 02:17

    javaではgoto文はありませんが goto は予約語となっているためではないかと思います。

    キャンセル

0

java では、ローカル変数は宣言しただけでは、その値は設定しないことになっています。
値が未設定なのに、その変数を使う可能性があるのは、あきらかにプログラム上の論理ミスです。

java のコンパイラは、変数がどんな風につかわれているかを解析して、どんな仮想マシン語に変換するのが最適なのか判断しています。
そのような論理ミスがあるプログラムは、最適な仮想マシンコードに変換をすることは無理です。
うまりコンパイルエラーになるのです。

参考情報

...
Javaでは変数の種類に応じて、自動的に変数の初期化が行われる場合と、そうでない場合があります。
1. クラスのフィールド(メンバ変数)は自動的に初期化される。
2. メソッドのローカル変数は自動的に初期化されない
...
ローカル変数は自動的に初期化されないので、プログラマが明示的に初期化しないと その変数を利用することができないのです。
...
ところで、初期化はローカル変数の宣言時に行う必要はありません。
その変数の中身を見ようとするまでは、初期化しなくても大丈夫です。
...
変数の中身をまったく見なければ初期化しなくてもコンパイルエラーになりません。
...

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

0

... 何故コンパイラはローカル変数が初期化されていないことを疑う必要があるのですか ...

参考情報
参考情報

...
脆弱性とリスク
C++ では、スタック変数はデフォルトで初期化されていません。通常、スタックメモリの現在の内容の、ランダムなジャンクデータがスタック変数に含まれます。初期化されていないデータには、プログラムフローを意図しない方法で変更し、セキュリティに影響を及ぼす可能性のある値が含まれていることがあります。

軽減と防止
初期化の問題を回避するには、最初に使用する前に、すべての変数およびリソースが明示的に初期化されていることを確認します。複雑な条件の状況についてはメモをとり、すべてのパスに初期化が含まれていることを確認します。
...

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

同じタグがついた質問を見る

  • Java

    15832questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。