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

Question

在我尝试过的所有编译中，以下 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

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

Answer 1

成员按照它们在 class 定义中出现的顺序进行初始化，因此指定的初始化程序并不那么相关，而且这个

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

该示例实际上是为了说明其他内容，但它也显示了如何按顺序初始化成员。

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

Undefined behaviour of Designated initializers in C++

c++

designated-initializer

c++20