未提及的结构字段*是否始终被初始化为零（即当结构在堆栈上时）？

Question

从实验（在铛和GCC，与-O2和-O0）是似乎，在下面的代码

typedef struct foo_s { int i; int j; } foo_t; 
int main(void) { 
    foo_t foo = {.i = 42}; 
    ... 

foo.j是自动为零。

是否由C99保证，还是编译器特定的实现细节？

注意：我甚至试图在堆栈下面的无效内存中写入0xFFs，在后面给出的foo地址处。

更新：有几条评论指出，这只是因为堆栈下方的内存碰巧包含零。下面的代码确保不是这种情况，并且可以证明GCC -O0正在调零内存。

-7和-6的偏移量与编译器相关。他们需要在铿锵中有所不同。

typedef struct foo_s { int i; int j; } foo_t; 

int main(void) { 
    int r; 
    int *badstack0 = &r - 7; 
    int *badstack1 = &r - 6; 

    *badstack0 = 0xFF; // write to invalid ram, below stack 
    printf("badstack0 %p, val: %2X\n", badstack0, *badstack0); 
    *badstack1 = 0xEE; // write to invalid ram, below stack 
    printf("badstack1 %p, val: %2X\n", badstack1, *badstack1); 

    // struct test 
    foo_t foo = {.i = 42}; 
    printf("&foo.i %p\n", &foo.i); 
    printf("&foo.j %p\n", &foo.j); 
    printf("struct test: i:%i j:%i\n", foo.i, foo.j); 
    return 0; 
} 

输出：

badstack0 0x7fff221e2e80, val: FF 
badstack1 0x7fff221e2e84, val: EE 
&foo.i 0x7fff221e2e80 
&foo.j 0x7fff221e2e84 
struct test: i:42 j:0 

Answer 1

如果你提供任何initialisers，就好像它们是静态的没有明确提及的成员被初始化。这是通过在6.7.9（19）的标准保证：

在初始化列表顺序应发生的初始化，设置用于特定的子对象重写为同一子对象任何前面列出的初始化每个初始化; 所有未明确初始化的子对象都应隐式初始化，它们与具有静态存储持续时间的对象相同。

（重点由我加）

如果不初始化任何成员，所有成员的值是不确定的。

Answer 2

C保证只要至少有一个数组/结构体/联合体*中的至少一个成员被初始化，那么所有其他成员将被初始化，就像他们有静态存储持续时间一样，正如Daniel Fischer的答案中所引用的那样。换句话说，所有其他成员自动设置为零或NULL。

数组/结构体/联合体的存储类型不重要，它们根据相同的规则进行初始化，无论它们是否具有自动或静态存储持续时间。

这不是C99或更高版本独有的东西，C有总是有此要求。所有符合规范的C编译器都遵循此规则，它是规范的和而不是实现定义的。

这与“调试版”无关。

由于事实上，这个规则就是为什么你可以通过编写

int array[100] = {0}零整个阵列的解释。

这段代码的意思是“初始化第一个元素为零，然后初始化其余99个元素，就好像它们具有静态存储时间，即使它们为零”。

---

（*）这三种类型在C标准中正式命名为“聚合类型”。