C++ 中指定初始值设定项的未定义行为

问题描述

在我尝试过的所有编译中都没有任何警告地接受以下 C++20 程序：

struct A { const int & x = z; int y = x; int z; };

int main()
{
    return A{.z=3}.y;
}

https://gcc.godbolt.org/z/nqb95zb7c

但是每个程序都会返回一些任意值。假设这是未定义的行为是否正确？

解决方法

成员按照它们在类定义中出现的顺序进行初始化，因此指定的初始化器不是那么相关，还有这个

struct A { 
    const int & x = z; 
    int y = x;           // <- read of indeterminate value !
    int z = 42;          // <- doesn't really matter because y is initialized before ! 
};

int main() {
    return A{}.y;
}

出于同样的原因未定义。

---

另见来自 cppreference 的示例：

struct A {
  string str;
  int n = 42;
  int m = -1;
};
A{.m=21}  // Initializes str with {},which calls the default constructor
          // then initializes n with = 42
          // then initializes m with = 21

这个例子实际上是为了说明别的东西，但它也展示了成员是如何按顺序初始化的。