未初始化引用使用疑问：G++开启全警告为何无相关提示？

以下是一段存在未定义行为的C++代码，问题在于使用了尚未完成初始化的引用：

#include <iostream>

using namespace std;

struct Test {
  int MyCopy{myRef};
  int& myRef{myNumber};
  int myNumber{50};
};

int main()
{
  Test myTest;

  cout << myTest.MyCopy << endl;
  return 0;
}

问题本质 #

C++规定，类/结构体的成员初始化顺序严格遵循成员在类中的声明顺序，而非初始化列表的书写顺序。上述代码中成员的声明顺序是MyCopy → myRef → myNumber，实际初始化流程为：

1. 初始化MyCopy时，myRef还未完成绑定（还没轮到它初始化），此时用myRef初始化MyCopy属于未定义行为；
2. 接着初始化myRef，绑定到尚未初始化的myNumber；
3. 最后才初始化myNumber为50。

为什么G++未抛出警告？ #

即便开启了-Wall -Weffc++ -Wextra，当前版本的G++也不会默认检测这类问题，原因如下：

• 这类问题属于执行期未定义行为，编译器的静态分析能力有限，无法完全覆盖所有复杂的初始化顺序场景；
• -Wall等常用警告选项并未包含此类“引用使用时机错误”的检测规则，需要额外开启-Wuninitialized或-Wmaybe-uninitialized选项，才有可能触发相关警告（但仍无法保证100%捕获）。

修复方案 #

调整成员声明顺序，确保被依赖的成员先被声明：

struct Test {
  int myNumber{50};
  int& myRef{myNumber};
  int MyCopy{myRef};
};

此时初始化顺序为myNumber → myRef → MyCopy，所有成员都能被正确初始化，程序会输出预期的50。

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