使用-ftrivial-auto-var-init无效果：GCC/Clang未将聚合对象填充字节置零

我参考了Stack Overflow上的问题《C++标准是否保证非静态聚合对象的填充字节被初始化为零？》，尝试通过GCC 12和Clang 15强制将非静态聚合对象的填充字节初始化为零。原本以为-ftrivial-auto-var-init=zero选项能实现这一效果，但实际测试发现，添加该选项前后，编译器的输出完全一致，因此困惑这个选项的实际作用。

未添加-ftrivial-auto-var-init=zero的输出 #

GCC #

Foo():
x:[----][0x42][0x43][0x44],v: 0
y:[----][----][----][----],v: 0
z:[----][0x4A][0x4B][0x4C],v: 0

Foo{}:
x:[----][----][----][----],v: 0
y:[----][----][----][----],v: 0
z:[----][----][----][----],v: 0

Clang #

Foo():
x:[----][----][----][----],v: 0
y:[----][----][----][----],v: 0
z:[----][----][----][----],v: 0

Foo{}:
x:[----][0x42][0x43][0x44],v: 0
y:[----][----][----][----],v: 0
z:[----][0x4A][0x4B][0x4C],v: 0

添加-ftrivial-auto-var-init=zero后的输出 #

GCC #

Foo():
x:[----][0x42][0x43][0x44],v: 0
y:[----][----][----][----],v: 0
z:[----][0x4A][0x4B][0x4C],v: 0

Foo{}:
x:[----][----][----][----],v: 0
y:[----][----][----][----],v: 0
z:[----][----][----][----],v: 0

Clang #

Foo():
x:[----][----][----][----],v: 0
y:[----][----][----][----],v: 0
z:[----][----][----][----],v: 0

Foo{}:
x:[----][0x42][0x43][0x44],v: 0
y:[----][----][----][----],v: 0
z:[----][0x4A][0x4B][0x4C],v: 0

选项作用及结果一致的原因 #

-ftrivial-auto-var-init=zero是GCC和Clang提供的非标准扩展选项，核心作用是对平凡类型的自动变量（包括聚合对象）进行强制零初始化，覆盖标准中默认初始化不保证变量值的规则——这包括对象的成员变量以及内存中的填充字节。

测试结果无变化的关键原因在于你的测试场景：

1. Foo{}聚合初始化：当使用空初始化器列表进行聚合初始化时，C++标准要求对所有成员进行值初始化（基本类型即零初始化）。虽然标准未规定填充字节的处理，但GCC和Clang在这种场景下已经默认会将填充字节清零，因此添加选项不会改变结果。
2. Foo()值初始化：对于平凡聚合类型，Foo()属于值初始化，同样会触发成员的零初始化，编译器也会同步处理填充字节，所以加不加选项表现一致。

这个选项真正发挥作用的场景是无初始化器的默认初始化（比如Foo f;）：按照C++标准，这种情况下变量的成员和填充字节都不会被初始化，值是未定义的；而添加-ftrivial-auto-var-init=zero后，编译器会强制将整个对象（包括填充字节）清零。

内容的提问来源于stack exchange，提问作者Leonardo