从相同类型的静态成员进行类内初始化

Question

以下代码是否有效，例如不会带来未定义的行为？

struct S
{
    int i = s.i;
    static S s;
};

S S::s;

int main()
{
    S a;  // a.i = 0
    S::s.i = 42;
    S b;  // b.i = 42
}

据我所知，所有具有静态存储持续时间的变量都是零初始化的。因此s.i 是0 上的S::s 创建，一切都很好。但也许我错过了什么。

Answer 1

我认为它的定义很明确。

[class.static.data]/6

静态数据成员的初始化和销毁​​方式与 非局部变量。

[basic.start.static]/2（强调我的）

变量或临时对象 o 的常量初始化器是 其完整表达式为常量表达式的初始化程序，除了 如果 o 是一个对象，那么这样的初始化器也可以调用 constexpr o 及其子对象的构造函数，即使这些对象属于 非文字类类型。 [ 注意：这样的类可能有一个非平凡的 析构函数。 — 尾注 ] 如果一个 具有静态或线程存储持续时间的变量或临时对象是 由实体的常量初始化器初始化。如果恒定 未执行初始化，具有静态存储的变量 持续时间或线程存储持续时间为零初始化。 一起， 零初始化和常量初始化称为静态 初始化;所有其他初始化都是动态初始化。 所有静态初始化都强烈发生在（[intro.races]）任何动态初始化之前。 [ 注：动态初始化 [basic.start.dynamic] 中描述了非局部变量；那个 局部静态变量在 [stmt.dcl] 中描述。 — 尾注 ]

[dcl.init]/6（强调我的）

对 T 类型的对象或引用进行零初始化意味着：

• 如果 T 是标量类型，则将对象初始化为整型文字 0（零）转换为 T 得到的值；
• 如果 T 是（可能是 cv 限定的）非联合类类型、每个非静态数据成员、每个非虚拟基类子对象，并且，如果 该对象不是基类子对象，每个虚拟基类 子对象初始化为零，填充初始化为零位；
• 如果 T 是（可能是 cv 限定的）联合类型，则对象的第一个非静态命名数据成员为零初始化，填充为 初始化为零位；
• 如果 T 是数组类型，则每个元素都初始化为零；
• 如果 T 是引用类型，则不执行初始化。

因为int i = s.i;的意思是s.i是经过动态初始化的，所以保证事先初始化为零。所以当它稍后用于初始化时，它的值不会是不确定的。预期为 0。

Answer 2

你错过了一些东西。具有静态存储持续时间的变量被归零，然后调用它们的构造函数。

我不能完全确定S.i 的初始化是否为S.i 的值是未定义的行为（因为此时S.i 尚未初始化）或不是（因为它必须为零）。

---

编辑：Defect Report 2026 中的代码在效果上与此非常相似，并且被声明为格式错误（这意味着编译器必须出错）。我怀疑委员会的意图是 OP 的代码是未定义的行为。

编辑 2：上述 DR 指的是 constexpr 值。这可能足以改变无关紧要的事情。

话虽如此：如果您依靠非常仔细地阅读标准来使您的代码合法，那么您就是依靠编译器作者仔细阅读它。您可能是对的，但如果编译器作者误读并实现了其他东西（尽管希望他们最终会修复该错误），这在短期内无济于事。