c++如何使用 sanitizers 发现未定义行为_c++ UBSan使用教程【调试】

UBSan检测C++未定义行为需编译时加-fsanitize=undefined，运行时直接报错定位；推荐clang++ -fsanitize=undefined -O2 -g -fno-omit-frame-pointer，配合UBSAN_OPTIONS可全量报告，适用于CI和本地开发但不可用于发布。

用 UBSan（UndefinedBehaviorSanitizer）检测 C++ 中的未定义行为，核心就两点：编译时加 -fsanitize=undefined，运行时观察报错信息。它比静态分析更准，比 Valgrind 更轻量，专治数组越界、整数溢出、空指针解引用、未初始化读取等常见“玄学崩溃”。

编译时启用 UBSan

在 g++ 或 clang++ 编译命令中加入 sanitizer 选项即可：

• 基础启用：g++ -fsanitize=undefined -O1 -g main.cpp -o main
• 推荐组合（兼顾性能与检测精度）：clang++ -fsanitize=undefined -O2 -g -fno-omit-frame-pointer main.cpp -o main
• 若想捕获更多类型（如返回未初始化值、不完整类型转换），可扩展：-fsanitize=undefined,return,unreachable,vptr
• 注意：UBSan 不兼容 -O3 下的部分优化（如循环展开可能掩盖问题），-O2 是较稳妥选择

运行时快速定位问题

程序触发未定义行为时，UBSan 会直接打印带源码位置的错误，例如：