ローカル変数の初期化

Question

お世話になっています。
C言語の質問です。

func()
{
int dat[256];
}

こんな関数の中で配列datの中の値は不定だと思っていたのですが、配列の中の値全てがきれいに0になっています。
これは偶然と考えた方が良いのでしょうか？
それとも仕様でしょうか？

コンパイラは gcc です。

よろしくお願いします。

Answer 1

偶然です。
0クリアしたいなら以下のようにしてください。

int dat[256] = {};

C言語の場合は0を一つ指定しておかないとコンパイルエラーになります。
gccではどちらの書き方でもコンパイルできてしまいますが…

int dat[256] = {0};

Comments

[namiki]

配列の添え字を4096にしても全て0になっているので、質問させて頂きました。
不定になると考えた方が良いわけですね。
ご回答ありがとうございました。

[Zuishin]

補足です。

https://kikakurui.com/x3/X3010-2003-01.html
95 ページにこうあります。
> 自動記憶域期間をもつオブジェクトを明示的に初期化しない場合，その値は不定とする。

dat は自動記憶域期間をもつオブジェクトなので、不定で間違いありません。
もしここに「不定」と書いていなければ、それは「未定義」となり、その実装は処理系に任された「仕様」になります。

[Daregada]

たいていは、「スタック上に確保したdat用のメモリ領域にすでに入っていた値」がそのまま表示されます。偶然、そのあたりが(別のプログラムによって) 0 クリアされていた後だった、なんてことはあり得ます。

[bjnes]

実行環境が明言されてないので、なんとも言えないですが、組み込みとかだと起動直後
すべてのRAMは0になっているなんてことはよくあります。
その状況でその文を動かしたら、ゼロになっていると思いますが、再度関数突入したときは不定ですので、
やはりしっかりと初期化はしたほうが良いと思われます。

[namiki]

皆さま

不定になる　ということは確認できましたので初期化が必要なこともわかりました。
ご意見ありがとうございました。
たいへん勉強になりました。

Answer 2

偶然ですね。こっちで出力してみると、こんなんです。

469762076 2097184 0 2097184 2097184 2621544 105 6820712 2097184 197 6816368 225 6816368 -1073741515 6421364 2006012900 2006967684 6422052 6421752 32 6815744 6827704 0 2006965024 6421752 6421608 6421700 2006010998 32 6422052 6421744 6422052 0 2006011354 24 2006045215 958467776 6421752 6421744 6421888 6422064 6421896 0 31 452984859 958467756 -520093471 6815744 -520093471 83886085 1 2 6816368 6815744 0 6815744 6827752 6827816 402653208 0 6815744 2006169651 7 10420848 10420224 1 10420224 10441112 10441160 33554434 0 10420224 2006169651 7 6421908 2006042320 1 10441168 7 2006045215 958468016 10420224 38 6422064 2006294592 2 -2 6421776 33554434 6827712 -1577057114 6827752 2006058285 1 1 0 6816428 1 7 958467820 6422052 -1073741515 6422064 6815936 0 6421656 0 6422476 2006294592 1323215780 -2 6422028 2006015588 0 6421748 0 6422244 2006015607 0 23199044 32 1 0 16777216 6421760 6881280 6750306 13 10420848 10420224 3276919 10420224 10441112 10440728 33554434 0 10420224 2006169651 13 
6422040 2006050848 1 10441120 13 2006051481 958467132 10441112 10420224 0 117440519 65712 0 6 0 6827760 7 6827760 6421988 10420224 6 1323215844 13 6422056 7 38 48 10420924 10441112 38 1 4202736 0 10420924 1 0 6827712 18 301989906 10437160 6421992 13 6422227 0 16842752 10441160 0 1633906432 13 16842758 0 958467776 6422476 2006294592 1323214884 -2 6422132 2006347179 0 2006347218 4 6825368 6825372 1319033925 6422152 1992061314 6815744 0 8 6825368 6825376 1319033925 6422184 1992061314 6815744 0 6825368 -1841501215 8 6825368 6825376 4199120 4199392 1 1992126393 128 6422124 6825380 6422180 
4199120 4200736 0 1992126393 6825380 6422204 1992191989 1992508188 6422268 1992189265 8 1992126205 1992126179 -1841501259 4199120 4199120 0 4200736 6422224 6422280 6422476 1992150208 -459308703 -2 
6422280 1992126445 4200736 6422400

Comments

[namiki]

Daregandaさま

実験していただいて恐縮です。
お返事ありがとうございました。

Answer 3

「不定」というのは、プログラムを実行してみるまで値が何になるか決められない、なにか特定の値であることを期待できないということであって、0(あるいは他の特定の値)にならないということではありません。

Comments

[namiki]

thkanaさま

お返事ありがとうございます。
おっしゃる通りですし、理解しています。