UBSan可检测整数溢出、除以零、空指针解引用等未定义行为，通过编译选项-fsanitize=undefined启用，结合调试信息和优化提升检测效果。
在C++开发中，未定义行为（Undefined Behavior, UB）是许多难以排查的Bug的根源。其中整数溢出、空指针解引用、数组越界等问题尤其常见。为了帮助开发者在运行时检测这些UB，Clang和GCC提供了UndefinedBehaviorSanitizer（简称UBSan），它能高效捕捉多种未定义行为。
启用UBSan检测整数溢出等常见UB
要使用UBSan，首先需要在编译时启用它。以Clang或GCC为例，只需添加编译选项即可：
g++ -fsanitize=undefined -fno-omit-frame-pointer -g -O1 your_file.cpp -o your_program关键参数说明：
- -fsanitize=undefined：启用未定义行为检测器，覆盖大多数标准规定的UB类型
- -fno-omit-frame-pointer：保留调用栈信息，便于定位错误位置
- -g：生成调试信息，让报错更清晰
- -O1：建议至少使用-O1优化，某些检查在-O0下可能不生效
UBSan能检测哪些未定义行为？
UBSan支持检测多种类型的未定义行为，常见的包括：
立即学习“C++免费学习笔记（深入）”；
- 有符号整数溢出：例如 int a = INT_MAX + 1;
- 除以零：如 int x = 5 / 0;
- 空指针解引用：*nullptr 操作
- 数组越界访问（部分情况）
- 移位操作越界：如 1
- 类型双关违规（违反strict aliasing规则）
例如下面这段触发有符号整数溢出的代码：
#includeint main() {
int x = INT_MAX;
x++; // 有符号整数溢出，UB
return 0;
}
启用UBSan后，程序运行时会立即报错，输出类似：
runtime error: signed integer overflow: 2147483647 + 1 cannot be represented in type 'int'
结合其他Sanitizer使用更有效
UBSan可以与其他Sanitizer组合使用，实现更全面的检测：
- -fsanitize=address：检测堆栈缓冲区溢出、内存泄漏
- -fsanitize=leak：检测内存泄漏
- -fsanitize=thread：检测数据竞争
多个Sanitizer可同时启用：
g++ -fsanitize=address,undefined -g -O1 your_file.cpp -o your_program注意：ASan和UBSan兼容性良好，推荐搭配使用；TSan与ASan互斥，不能同时启用。
注意事项与局限性
UBSan虽强大，但也有几点需要注意：
- 仅在调试阶段使用，不要用于生产环境（性能开销较大）
- 不是所有UB都能被静态或动态检测到，UBSan只能捕获部分运行时可识别的UB
- 某些平台或编译器版本支持程度不同，建议使用较新的Clang/GCC
- 对模板或内联函数中的UB仍能有效检测，得益于编译器插桩机制
可通过环境变量控制行为，例如禁止程序因UB终止：
export UBSAN_OPTIONS=halt_on_error=0基本上就这些。UBSan是C++开发者排查未定义行为的利器，尤其是整数溢出这类隐蔽问题。配合良好的编译选项和调试习惯，能显著提升代码健壮性。
