我可以在聚合结构初始化中合法地重用字段吗？

Question

下面的程序使用 gcc 编译并运行，没有警告：

#include <iostream>
struct A { int a, b; };
int main() {
  A x = {.a = 42, .b = x.a}; // <-- b is initialized from x.a
  std::cout << x.a << ' ' << x.b << std::endl;
}

42 42

x本质上是在其初始化期间使用的。 这对于.a由大表达式初始化的情况非常方便。

这是 C++ 中的合法表达吗，我能保证总是得到正确的答案吗？

Answer 1

[dcl.init.aggr]

聚合元素的初始化按元素顺序进行评估。 也就是说，与给定元素相关的所有值计算和副作用都按顺序排列在其后面的任何元素之前。

因此， xa在xb初始化之前已被初始化。 到目前为止，一切都很好。

[基本.生活]

object 或引用的生命周期是 object 或引用的运行时属性。 如果一个变量是默认初始化的，并且如果它是 class 类型或其（可能是多维的）数组，则称该变量具有空初始化，该 class 类型具有一个普通的默认构造函数。 T 型 object 的生命周期开始于：

• 使用适当的 alignment 存储和获得类型 T 的大小，并且
• 它的初始化（如果有的话）已经完成（包括空初始化）（[dcl.init]），

xa的生命周期已经开始，尽管x的生命周期尚未开始。

---

同样，在 object 的生命周期开始之前……任何引用原始 object 的泛左值都可以使用，但只能以有限的方式使用。 对于正在构建或销毁的 object，请参阅 [class.cdtor]。 否则，这样的glvalue指的是分配的存储（[basic.stc.dynamic.allocation]），并且使用不依赖于其值的glvalue的属性是明确定义的。 如果出现以下情况，该程序具有未定义的行为：

• glvalue 用于访问 object，或
• ...

“访问”定义为：

[defns.access]

⟨执行时动作⟩读取或修改object的值

注 1：只能访问标量类型的对象。 标量对象的读取在 [conv.lval] 中描述，标量对象的修改在 [expr.ass]、[expr.post.incr] 和 [expr.pre.incr] 中描述。 尝试读取或修改 class 类型的 object 通常会调用构造函数或赋值运算符； 这种调用本身并不构成访问，尽管它们可能涉及对标量子对象的访问。 ——尾注]

根据this note ，访问xa不是对由x命名的 class object 的访问。 因此，初始化的xa应该足够了，并且示例定义明确并且可以。

小问题：注释不规范。

---

编辑：我删除了适用于“建设中/建设期间”对象的规则的引号，并假设这些不适用于正在初始化的聚合。

---

PS也许为了清楚起见，或者只是为了不让代码的读者担心合法性，考虑使用中间变量：

int temp = 42;
A x = {.a = temp, .b = temp};

PPS 指定初始化程序首先在 C++20 中引入标准 C++。 它们不在 C+17 中。