如何让GCC/Clang对未初始化类成员的使用发出警告？

这绝对是个容易埋坑的潜在bug——未初始化的整数会触发未定义行为，输出随机值甚至导致程序崩溃。但默认的-Wall -Wextra组合并没有覆盖这类检查，这和编译器的警告分类逻辑有关，下面分情况解释并给出具体解决方案：

核心原因：-Wall -Wextra不包含类成员未初始化的检查 #

别被-Wall的名字误导，它并不是开启所有警告，只是启用了大部分常见的实用警告；-Wextra会补充一些额外的警告，但两者都没有涵盖「类中未初始化成员被读取」这类场景。要检测这种情况，需要编译器进行更深入的数据流分析，而这需要特定的警告开关来触发。

针对GCC的解决办法 #

GCC需要结合优化选项和特定警告开关才能检测到这类问题：

• 必须启用至少-O1优化：在无优化（-O0）模式下，GCC不会做足够的数据流追踪来确认成员是否被初始化。
• 添加-Wuninitialized或-Wmaybe-uninitialized：这两个选项会开启未初始化变量的检查逻辑。

示例编译命令：

g++ main.cpp -Wall -Wextra --std=c++14 -O1 -Wuninitialized -o exe

编译时会弹出类似警告：

warning: 't.Test::k' is used uninitialized in this function [-Wuninitialized]

针对Clang的解决办法 #

Clang的检测逻辑更灵敏，即使在无优化（-O0）模式下，只要添加-Wuninitialized就能触发警告：
示例编译命令：

clang++ main.cpp -Wall -Wextra --std=c++14 -Wuninitialized -o exe

同样会得到关于t.k未初始化的警告。另外，Clang的-Wconditional-uninitialized也能覆盖这类场景，但-Wuninitialized已经足够应对大多数情况。

额外建议：启用更严格的警告集合 #

如果你想一次性开启大部分实用警告（包括这类未初始化检查），可以参考以下组合：

• GCC：-Wpedantic -Wall -Wextra -Wuninitialized -O1（不推荐用-Weverything，它会开启很多无关的警告，反而干扰开发）
• Clang：-Wpedantic -Wall -Wextra -Wuninitialized，如果追求极致可以尝试-Weverything，但记得搭配-Wno-xxx来过滤不需要的警告。

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