为什么这个有效的C

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初始化你关心的。首先，从第17段开始：

每个大括号包含的初始化程序列表都有一个关联的当前对象。如果没有指定，则根据当前对象的类型对当前对象的子对象进行初始化：按照下标顺序递增的数组元素，按声明顺序的结构成员以及联合的第一个已命名成员。

这一个解释了为什么你会得到1,7和9 - 当前对象由大括号设置。那么，为什么它不关心群众演员，从第20段：

...只有从列表中足够的初始化被带到占子聚集的元素或成员或的第一个成员包含工会;任何剩余的初始化器都将初始化当前的子聚集或包含的联合所属的聚合的下一个元素或成员。

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）“没有初始化将试图提供没有包含的实体中的对象的值初始化“。

的最后一个元素10在a初始化试图提供不包含在所述实体被初始化的对象的值。