配列の初期化子 { .......} について

配列の初期化子について、以下のような事がありました。

１．　一般に教科書で言われている事ですが、int a[3]={1} ; で初期化すると　a[0]=1,a[1]=0,a[2]=0と初期化子が与えられていない要素は0で初期子されます。
２．　今度は,意地悪く全ての要素に初期化子を与えない　a[3]={ } ; で初期化すると　a[0]=0.a[1]=0, a[2]=0. と全てが0で初期化されました。←問題点
３．　初期化子を与えない　int a[3] ; では　a[0] a[1] a[2]　は当然ながら不定値で初期化されます。

１と３については教科書通りですが、２についてはどの様に説明する事ができるのでしょうか。
標準Ｃに規定があるのでしょうか。それとも環境（コンパイラ）によるものでしょうか。尚私はRed Hat Linuxを使っています。
宜しく願います。

No.3 ベストアンサー 回答者： jacta 回答日時： 2008/06/19 11:27

初期化子は、

initializer:
　　　　assignment-expression
　　　　{ initializer-list }
　　　　{ initializer-list , }

initializer-list:
　　　　designation(opt) initializer
　　　　initializer-list , designation(opt) initializer

ですので、少なくともひとつは式が必要です。
式が何も無い場合は未定義の動作になります。

この回答への補足

いつもご回答有難うございます。再質問ですが
initializer-list:
　　　　designation(opt) initializer
　　　　initializer-list , designation(opt) initializer
の部分が解りません。designation(opt) initializerがオプションならば少なくともひとつは式が必要という結論が何処から出たのか理解できません。ご教授くだされば幸いです。

補足日時：2008/06/20 04:38

この回答へのお礼

ひととうりC言語を終わり、更にステップアップをめざしていますが、その時基礎を徹底的にやり直そうとしている段階です。
いつもご回答有難うございます。

お礼日時：2008/06/21 04:08

No.4 回答者： asuncion 回答日時： 2008/06/20 10:34

> designation(opt) initializerがオプションならば

designationだけがオプションであって、
initializerには(opt)が付いていないので必須、
じゃないのでしょうか。

No.2 回答者： php504 回答日時： 2008/06/19 10:07

int a[3] = {};

Borland C compilerでやったらエラーになりました
式が必要だそうです。
環境依存ですね。

No.1 回答者： phoenix343 回答日時： 2008/06/19 06:40

動作規定に何もないのだから、そのコンパイラの解析処理の結果でしょう。

数値文字列をどうやって数値に変換するか想像してみれば分かるのでは？