基类初始化前使用其成员为何无编译告警？如何触发编译器报错？

先把你的代码贴出来方便大家看：

struct A { int x; int y; A(int x, int y) : x{x}, y{y} {} };
struct B : A { B() : A{1, x} {} };

为啥编译器没反应？ #

这事儿得从两个角度说：

1. C++构造顺序的坑：C++规定派生类构造时，必须先把基类部分完全构造好，再处理自己的成员。你在B的构造初始化列表里写的A{1, x}，这里的x是基类A的成员A::x——但此时基类A还没开始构造啊！这个x对应的内存就是一块没被初始化的垃圾值，属于未定义行为。但未定义行为的特点就是：编译器不一定会报错，它可能假装没看见，让你运行时踩坑。
2. 默认警告等级不够严：主流编译器（GCC、Clang、MSVC）默认的警告设置不会主动检查这种“构造阶段引用未初始化基类成员”的场景，因为这类数据流分析比较费资源，默认模式下编译器不会做这么细的检查。

怎么让编译器给你提个醒？ #

不同编译器要开对应的警告开关：

• GCC/Clang用户：
  开启-Wuninitialized或者更严格的-Wmaybe-uninitialized，记得配合-O优化等级（这类检查需要编译器做数据流分析，优化模式下分析才够准确）。比如编译命令可以这么写：

  g++ -Wall -Wuninitialized -O1 your_code.cpp
  

  这样编译器就会明确告诉你x在使用时还没初始化。
• MSVC用户：
  直接开最高等级警告/W4，或者单独开启C4700警告（专门针对未初始化变量的使用）。编译命令示例：

  cl /W4 your_code.cpp
  

最后补个小提醒 #

这种代码是标准的未定义行为，哪怕编译器没报错，运行时可能出现随机值，甚至直接崩溃。正确的写法应该避开这种坑，比如直接用常量值，或者用其他确定的初始化参数：

struct B : A { B() : A{1, 2} {} }; // 用确定的常量，或者传入已初始化的参数

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