C用未初始化的成员整数定义的行为初始化全局结构？

Question

根据定义的行为，未初始化的全局 int 始终为 0，如果它不是全局的，则不是这样。全局结构呢？ 有没有

struct s
{
    int a;
}instance;

int main()
{    
    printf("%d\n", instance.a);
    return 0;
}

总是打印0 还是技术上未定义的行为？

Answer 1

对于全局结构，所有字段都将初始化为 0 / NULL。这在当前C standard的第6.7.9p10节中有详细说明：

如果具有自动存储持续时间的对象未初始化 明确地说，它的值是不确定的。如果一个物体有静电 或者线程存储时长没有显式初始化，则：

• 如果有指针类型，则初始化为空指针；
• 如果它具有算术类型，则将其初始化为（正或无符号）零；
• 如果是聚合，则每个成员都根据这些规则进行初始化（递归），任何填充都初始化为零位；
• 如果是联合，则根据这些规则（递归）初始化第一个命名成员，并初始化任何填充 零位；

旧的C89 standard 在第 3.5.7 节中有类似的语言：

具有静态存储持续时间的对象未初始化 显式地，它被隐式初始化，就好像每个具有 算术类型被分配 0 并且每个具有指针类型的成员 被分配了一个空指针常量。如果一个对象具有自动 存储持续时间未显式初始化，其值为 不确定

...

如果聚合包含聚合或联合的成员，或者如果 联合的第一个成员是聚合或联合，规则适用 递归到子聚合或包含的联合

因此，在您的情况下，instance.a 保证设置为 0。