なぜこれが有効なのですか

Question

redditにこのコードがあります。私は型変換によってこれが無効になったと思っていたでしょう。

int a[3] = { { {1, 2}, {3, 4}, 5, 6 }, {7, 8}, {9}, 10 }; 

clangでは、スカラー初期化子の余分な要素と中カッコについて警告が表示されます。しかしaの内容は[1, 7, 9]です。

これは実際に正当なものですか、そうであれば、誰かが正確に何が起こっているのか説明できますか？

Answer 1

超過要素は無視されます。あなたが気にしている6.7.8初期化の2つの部分があります。まず、段落17から：

各中括弧付きイニシャライザリストには、現在のオブジェクトが関連付けられています。指定がない場合、現在のオブジェクトのサブオブジェクトは、現在のオブジェクトの型に従って順番に初期化されます。添字順の配列要素、宣言順の構造体メンバ、およびユニオンの最初の名前付きメンバです。

なぜ、あなたが1、7、9を得るのかを説明すると、現在のオブジェクトはそれらの中カッコによって設定されます。そして、それは、段落20から、余分な気にしない理由として：

...リストから必要なだけの初期化子はsubaggregateかの最初のメンバーの要素またはメンバーを説明するために取られています組合を含む。残っているイニシャライザは、現在の部分集合または含まれる集合が一部である集合体の次の要素またはメンバを初期化するために残されます。

Answer 2

int a[3] = { { {1, 2}, {3, 4}, 5, 6 }, {7, 8}, {9}, 10 }; 

無効です。

それは同じ理由int b[1] = {1, 2};ため無効であるが無効です：C99は

を言うので（C99、6.7.8p1）「いいえ初期化子が初期化されたエンティティ内に含まれていないオブジェクトの値を提供しようとしてはなりません" aイニシャライザで

最後の要素10が初期化されるエンティティ内に含まれていないオブジェクトの値を提供することを試みます。