Sanitizers 是 LLVM/Clang 和 GCC 提供的运行时检测 工具 ，通过插桩实时捕获内存、 线程 和未定义行为错误；包括 ASan（内存错误）、TSan（数据竞争）、UBSan（未定义行为），需正确编译链接并配置选项以确保精准高效。
Sanitizers 是 LLVM/Clang 和 GCC 提供的一组运行时检测 工具，能高效捕获 c++ 中常见且隐蔽的内存、线程和未定义行为错误。它们不是静态分析器，而是在程序运行时插桩（instrumentation），通过轻量级内存 / 指令监控实时报告问题，精度高、开销可控（通常 2–3 倍 slowdown），是现代 C++ 工程调试与 CI 质量门禁的关键手段。
一、快速启用 ASan 检测内存错误
AddressSanitizer（ASan）专用于检测 堆栈 缓冲区溢出、use-after-free、use-after-return、内存泄漏（需额外开启）等。
- 编译时加 -fsanitize=address -g -O1（推荐 -O1：-O2+ 可能触发优化导致误报或漏报；-g 保留调试信息便于定位）
- 链接时也需带相同 flag（Clang/GCC 自动处理，但显式写更稳妥）
- 运行时可设置 环境变量 增强诊断：
ASAN_OPTIONS=detect_leaks=1:abort_on_error=1:allocator_may_return_NULL=0
其中detect_leaks=1启用内存泄漏检测（仅对 main 返回后存活的堆内存有效） - 示例崩溃输出会明确标出非法访问地址、访问大小、栈 回溯及最近的 malloc/free 记录，直接指向 bug 根源
二、用 TSan 揭露数据竞争（Data Race）
ThreadSanitizer（TSan）在 多线程 环境下动态追踪内存访问的同步关系，精准识别 无锁 并发 中的竞态条件——这类 bug 往往偶发、难复现，TSan 是目前最实用的解决方案。
- 编译链接均加 -fsanitize=thread -g -O1（注意：TSan 不兼容 ASan/UBSan，不可共用）
- 必须使用 TSan-aware 的线程库（如 pthread、std::thread），且所有线程创建 / 同步操作（mutex、atomic、condition_variable）都会被插桩
- 典型报告包含两个冲突访问的完整调用栈、各自持有 / 等待的锁状态、访问类型（read/write）、变量名（若符号可用）
- 避免误报：对已知安全的 无锁 模式（如 RCULock-free ring buffer），可用
__tsan_acquire/__tsan_release手动标注同步点
三、启用 UBSan 捕获未定义行为
undefinedBehaviorSanitizer（UBSan）检查整数溢出、空 指针 解引用、类型不匹配（如 signed/unsigned shift）、违反 strict aliasing 等 C++ 标准明确定义为“未定义”的操作。
立即学习“C++ 免费学习笔记（深入）”；
- 基础启用：-fsanitize=undefined -g -O2（UBSan 对优化级别更友好，-O2 可接受）
- 按需启用子检查项更精准（减少开销）：
-fsanitize=signed-Integer-overflow,null,shift,alignment,vptr
例如vptr检测虚表指针损坏（对象 析构后调用 虚函数），shift捕获非法位移（如右移负数） - UBSan 默认崩溃，也可设
UBSAN_OPTIONS=print_stacktrace=1:halt_on_error=0收集多次违规后退出 - 注意：部分检查（如
Float-cast-overflow）可能影响浮点性能，生产构建慎用
四、实战建议与避坑要点
Sanitizers 强大但需正确集成，否则易失效或干扰调试流程。
- 始终用 同一编译器版本 编译所有代码（含第三方静态库），混合使用 clang/gcc 或不同版本会导致插桩不一致，引发假阳性或静默失败
- 第三方库若无源码，优先找已带 Sanitizer 编译的版本；否则用 -fsanitize-blacklist 排除其目标文件（避免符号冲突）
- CI 中建议分阶段运行：单元测试跑 ASan + UBSan，集成测试跑 TSan（因 TSan 开销最大）
- 遇到“heap-use-after-free”却找不到 free 点？开启
ASAN_OPTIONS=handle_sigill=1:handle_sigbus=1捕获更多信号异常 - ASan 报告“unknown origin”？确保所有相关源文件都参与编译插桩（尤其模板实现、inline 函数），并检查是否遗漏
-fno-omit-frame-pointer（部分旧版需要）
