未初始化类成员未被编译器检出，是否属于C++编译器Bug？

结论 #

这不属于编译器Bug，是对C++类成员初始化规则的理解存在偏差。

具体原因 #

• C标准明确规定：类类型的成员如果存在可访问的默认构造函数，且没有在构造函数初始化列表中显式初始化，编译器会自动调用其默认构造函数完成初始化。std::shared_ptr的默认构造函数会合法地将自身初始化为空智能指针，这段代码的语法完全符合C标准要求，编译器没有义务阻止其编译。
• 你认知中「普通类成员未初始化编译器会告警」的规则，仅适用于内置类型成员（比如int、原始指针等）：这类成员如果没有显式初始化，会处于不确定值状态，编译器才会输出未初始化告警。而std::shared_ptr是标准库封装的类类型，默认构造后有确定的空值状态，不属于语法层面的未初始化。
• 代码中Wooo类将默认构造设为私有的逻辑完全不影响当前报错流程：shared_ptr默认构造时不会创建Wooo实例，仅会将自身存储的原始指针置为nullptr，不会调用Wooo的任何构造函数。

问题规避方案 #

• 开启更高等级的编译警告：GCC/Clang下可添加-Wextra -Wuninitialized编译参数，MSVC下添加/W4参数，高版本编译器开启高警告等级后，会提示const修饰的类成员没有被显式初始化。
• 配合静态代码检测工具：比如clang-tidy、cppcheck等，这类工具对空智能指针解引用的检测覆盖度远高于编译器默认警告，可以提前发现这类逻辑错误。

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