为什么结构数组不需要大括号初始化？

Question

这段代码：

#include <stdio.h>

struct
{
    int i;
    const char* str;
} ar[] = {
    1,"asd", //should be {1, "asd"},
    2, "qwe", //should be {2, "qwe"},
    3, "poi" //should be {3,"poi"}
};

int main()
{
    printf("%s\n", ar[2].str);
}

工作得很好，即使数组 ar 的每个元素都应该用大括号括起来（至少我希望如此）。为什么这可能？

Answer 1

6.7.9 Initialization/20 说明此类结构元素如何已初始化：

[..] 如果子聚合或包含的联合的初始值设定项开始
带有左大括号，该大括号及其包含的初始化程序
匹配右大括号初始化元素或成员
子聚合或包含的联合。否则，仅够
列表中的初始值设定项会考虑元素或
子聚合的成员或所包含的第一个成员
联盟;任何剩余的初始化器都会被留下来初始化下一个
当前子聚合的聚合的元素或成员
或包含的联合是一部分。

（强调我的）

所以它是有效的。因此

ar[] = {
    1,"asd",
    2, "qwe",
    3, "poi"
};

相当于：

 ar[] = {
    {1,"asd"},
    {2, "qwe"},
    {3, "poi"}
};

并且 ar 包含 3 个元素。

Answer 2

这是可能的，原因很简单，标准允许这样做。

那么为什么标准允许呢？嗯，我不知道这背后是否有什么道理。最可能的原因是这仅仅是因为向后兼容性。 C语言充满了这样的东西。

然而，它被认为是不好的风格。所以要避免它。如果您在启用警告的情况下进行编译（应该），您会收到此警告：

warning: missing braces around initializer [-Wmissing-braces]
    7 | } ar[] = {
      |          ^
    8 |     1,"asd", //should be {1, "asd"},
      |     {      }
    9 |     2, "qwe", //should be {2, "qwe"},
      |     {       }
   10 |     3, "poi" //should be {3,"poi"}
      |     {
   11 | };
      | }

与许多其他语言相比，C 背后的哲学非常不同。有人可能会说，即使省略大括号是一种不好的风格，也没有真正的理由禁止省略它们。例如，它不会引起任何歧义。