ローカル変数が割り当てられていないとのエラーが出る

Question

こんばんは。C#でプログラミング問題を解いているのですが、「Use of unassigned local variable `a'」エラーが出て困っています。実際の問題は少し複雑なので、コードはできるだけ簡単なものに書き換えています。

以下のコードで、int型変数aを宣言して、forループを回してカウンタ変数iが1のときにaに1を代入して、最後にaを出力したいです。

using System;
public class Hello{
    public static void Main(){

        int a;
        
        for(int i = 0; i < 2; i++)
        {
            if(i == 1)
                a = 1;
        }
        
        Console.WriteLine(a);
    }
}

コードを上から読んでいくと、for文の2回目のループのときにaに1が代入されて、aに値が割り当てられているので、Console.WriteLine(a);で上記のエラーが出る理由がよくわかりません。

個人的には、コンパイル時にはループが実行されるわけではないので、aに値が代入されないまま、Console.WriteLine(a);が呼ばれてしまって、このエラーが出ているのではないかと思うのですが...

int a = 0;というように、aを宣言するのと同時に初期化しておけば、このエラーは出ないので最初からそうすればいいのですが、エラーが出る理屈がどうしても気になったので質問させてもらいました。回答よろしくお願いします。

Answer 1

コンパイル時にはループが実行されるわけではないので、aに値が代入されないまま、Console.WriteLine(a);が呼ばれてしまって、このエラーが出ているのではないかと思うのですが...

そのとおりです。本件のような場合、「人間がそれをみれば i==1のときに、必ずaに何かの値が代入される」ということはわかりますが、これを一般化した場合コンパイラーが「変数へ値が必ず代入されるかどうか」を判断することは大変難しい問題なのです。

言語の仕様というのは「概ねチェックします」というような曖昧なものは許されません。大抵は一回読んでもすぐに理解できないくらいややこしく厳密な定義がなされています。その定義に従うと「このようなケースは未設定の可能性があると見做す」という仕様になっていると考えてください。

---

ちなみに本件と同様の仕様をJava言語仕様書で読んだことがあります。最初何言ってるか分かりませんでしたが、よーく読むと分かりましたｗ；

Comments

[KSwordOfHaste]

ちなみに肝心なC#の言語仕様書ですが、VSをインストールしていれば
C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC#\Specifications\1033
こうした場所に入っています(VS2015の場合)
5.3 Definite assignmentという章に詳しい仕様が書かれていると思います。

[退会済みユーザー]

回答ありがとうございます！！
> コンパイラーが「変数へ値が必ず代入されるかどうか」を
> 判断することは大変難しい問題なのです。
という説明とてもわかりやすかったです。

言語仕様書ですか...C#の公式レファレンスはよく見ますが、言語仕様書なるものは読んだことないですね...探してみようと思います。回答ありがとうございました！