自动存储持续时间struct初始化

Question

其中一些可能是重复的,但我很抱歉.
假设我有这个struct:

struct foo
{
    int a; 
    int b; 
    int c;
};

1.如果struct foo类型对象以具有自动存储持续时间且没有初始化程序的方式声明,是否可以保证将其所有成员强制初始化为零？

{
    // other stuff
    struct foo bar;
    // other stuff
}

2.如果struct foo类型对象以具有自动存储持续时间的方式声明并且具有一些初始值设定项,是否可以保证未明确初始化的成员将被强制初始化为零？

{
    // other stuff
    struct foo bar = {.a = 1}; 
    // other stuff
}

3.如果struct foo以具有自动存储持续时间的方式声明类型对象并使用复合文字表达式,是否可以保证未明确初始化的成员将被强制初始化为零？

{
    // other stuff
    func((struct foo){.a = 1});
    // other stuff
}

任何C标准参考都非常感谢!谢谢!

Answer 1

总结,TL; DR:

存储时间说明:

结构(和数组)初始化解释:

C标准的相关部分(C176.7.9§10):

如果未显式初始化具有自动存储持续时间的对象,则其值不确定.如果未显式初始化具有静态或线程存储持续时间的对象,则:

如果它有指针类型,则将其初始化为空指针;

如果它有算术类型,则初始化为(正或无符号)零;

如果它是一个聚合,则根据这些规则初始化(递归)每个成员,并将任何填充初始化为零比特;

"artihmetic类型"是普通变量的标准乱码int,而"aggregate"是阵列和结构的标准乱码.

在同一章中进一步说明(C176.7.9§19):

...所有未明确初始化的子对象应与具有静态存储持续时间的对象隐式初始化.

您的问题的答案:

如果struct foo类型对象以具有自动存储持续时间且没有初始值设定项的方式声明,是否可以保证将其所有成员强制初始化为零？

不,不保证; 它们的价值是不确定的,如上面引用的第一句所述.

如果struct foo类型对象以具有自动存储持续时间和一些初始值设定项的方式声明,是否可以保证未显式初始化的成员将被强制初始化为零？

是的,按照上面引用的C176.7.9§19.

如果以具有自动存储持续时间的方式声明struct foo类型对象并使用复合文字表达式,是否可以保证未显式初始化的成员将强制初始化为零？

是的,因为复合文字是数组或结构,所以它们遵循相同的初始化规则.