C++ sanitizers是轻量级动态检测工具，含ASan（查内存错误）、TSan（查数据竞争）、UBSan（查未定义行为），需按场景分阶段启用并注意编译选项与限制。
在 C++ 开发中，sanitizers 是编译器内置的轻量级动态检测工具，能帮你快速发现内存错误、数据竞争和未定义行为。它们不是替代单元测试或静态分析，而是运行时“放大镜”，开销可控、接入简单、报错精准。
ASan（AddressSanitizer）：揪出内存越界和 Use-After-Free
ASan 检测堆/栈/全局区的越界读写、释放后使用、重复释放、内存泄漏（需配合 -fsanitize=address -fno-omit-frame-pointer -g 并启用 ASAN_OPTIONS=detect_leaks=1）。
- 编译时加：
g++ -fsanitize=address -fno-omit-frame-pointer -g -O1 your.cpp -o your（避免高优化干扰检测） - 运行直接触发：比如
std::vector或(10)[20] = 42; delete p; cout 会立刻打印带调用栈的错误报告 - 注意：不支持 inline asm；Windows 上需用 clang+LLVM 工具链；生产环境禁用（性能下降 2×，内存增 2–3×）
TSan（ThreadSanitizer）：暴露并发中的隐性数据竞争
TSan 在运行时插桩跟踪所有内存访问和线程同步操作（mutex、at、
omiccondition_variable），能发现非原子变量被多线程无保护读写的问题。
- 编译命令：
g++ -fsanitize=thread -fno-omit-frame-pointer -g -O1 your.cpp -o your - 典型触发场景：两个线程同时对普通
int counter;执行++counter;（无锁、无 atomic） - 关键提示：必须关闭所有编译器优化（
-O1是上限）；禁止使用自旋锁等 TSan 无法识别的同步原语；建议搭配std::atomic或标准互斥体使用
UBSan（UndefinedBehaviorSanitizer）：捕获未定义行为的“静默杀手”
UBSan 覆盖整数溢出、空指针解引用、类型不匹配（如 reinterpret_cast 错误）、违反 strict aliasing、数组越界（-fsanitize=array-bounds）等常见 UB。
立即学习“C++免费学习笔记（深入）”；
- 常用组合：
g++ -fsanitize=undefined -fno-omit-frame-pointer -g -O2 your.cpp -o your - 可按需启用子项，例如只查除零：
-fsanitize=division-by-zero；或增强诊断：-fsanitize=undefined -fsanitize-trap=undefined（触发__builtin_trap中断） - 注意：部分检查（如
float-cast-overflow）默认关闭；C++20 的std::is_constant_evaluated()等上下文可能误报，需结合#pragma clang diagnostic push/pop局部抑制
实用技巧与避坑提醒
多个 sanitizer 一般不能同时启用（ASan + TSan 会冲突；UBSan 可与 ASan/TSan 分开用）。日常推荐分阶段使用：
- 开发阶段：默认开 UBSan（低开销、高价值）
- 集成测试：跑 ASan 版本，覆盖核心路径
- 多线程模块验证：单独跑 TSan 版本，配合压力测试（如
std::thread循环 100 次） - CI 流水线中可设为可选 job，失败即阻断，避免带 bug 合入主干
基本上就这些。sanitizers 不复杂但容易忽略——关键是把它变成每次本地构建或 CI 的固定动作，而不是等线上崩了才想起它。
