Question

通常使用{0}初始化struct或array，但请考虑第一个字段不是标量类型的情况。如果struct Person的第一个字段是另一个struct或数组，那么此行将导致错误（error: missing braces around initializer）。

struct Person person = {0};

至少GCC允许我使用空的初始化列表来完成同样的事情

struct Person person = {};

但这是有效的C代码吗？

另外：这条线是否保证给出相同的行为，即零初始化struct？

struct Person person;

Answer 1

不，不允许使用空的初始化列表。当使用-std=c99 -pedantic进行编译时，GCC也可以显示这一点：

a.c:4: warning: ISO C forbids empty initializer braces

原因是语法在2011 ISO C Standard的§6.7.9中的定义方式：

initializer:
         assignment-expression
         { initializer-list }
         { initializer-list , }
initializer-list:
         designation(opt) initializer
         initializer-list , designation(opt) initializer

根据该定义，初始化列表必须包含至少一个初始化程序。

Answer 2

根据C99标准，禁止使用空的初始化程序列表创建数组。在上一个答案中，您可以看到语法没有描述这种情况。

但是，如果声明未初始化的数组会发生什么呢？好吧，这取决于您使用的编译器。让我们来看一个简单的示例：int arr[5] = {}。

海湾合作委员会

默认情况下，gcc在尝试编译此代码时不会产生任何警告/错误。甚至没有-Wall，但-Wpedantic确实有。

warning: ISO C forbids empty initializer braces

但是无论如何，gcc完全用一个0填充数组的成员，就像您显式指定它一样int arr[5] = {0}参见程序集输出godbolt。

CLANG

但是默认情况下，不显示有关这种情况的警告，但是带有选项-Wgnu-empty-initializer可以做到：

warning: use of GNU empty initializer extension

Clang生成不同的汇编代码godbolt，但行为相同。

空的初始化列表是否为有效的C代码？

2 个答案: