AddressSanitizer可直接捕获堆/栈/全局变量越界读写并精确定位源码行号；必须同时启用-fsanitize=address、-fno-omit-frame-pointer和-g三个参数，缺一则导致检测失效、堆栈错乱或无调试信息。
用 AddressSanitizer 快速捕获越界读写
Clang 和 GCC 都支持 AddressSanitizer（ASan），它能在运行时自动检测堆、栈、全局区的越界访问，且开启成本低、误报少。不是“自己写检测逻辑”，而是直接启用编译器内置的内存错误拦截机制。
常见错误现象：Segmentation fault 不出现，反而程序“看似正常”但结果错；或 use-after-free 导致随机崩溃——这些 ASan 都能准确定位到行号和访问类型。
- Linux/macOS 下编译加
-fsanitize=address -g，例如：g++ -fsanitize=address -g main.cpp -o main - 必须带
-g，否则报错时看不到源码行号 - 不要同时开
-O2以上优化：部分越界可能被优化掉，ASan 检测失效；开发阶段用-O0或-O1更可靠 - ASan 会替换 malloc/free，所以不能与某些自定义内存池共存；若链接了第三方静态库，需确保它也用 ASan 编译，否则越界可能漏报
栈越界检测为什么有时不触发？
ASan 对栈上数组越界（比如 int arr[4]; arr[5] = 1;）默认只检测“紧邻”栈帧边界的越界——不是所有下标越界都会报。这是因为栈红区（red zone）大小有限，且不同架构/ABI 行为略有差异。
使用场景：局部数组、结构体内嵌数组、函数参数中的 C 风格数组。
立即学习“C++免费学习笔记（深入）”；
- 想强制检测更远的栈越界，加编译选项
-fsanitize-address-use-after-scope（对局部变量生命周期更敏感） - 但注意：
-fsanitize-address-use-after-scope会显著拖慢运行速度，仅用于专项排查 - VS2019+ 的
/RTC1也能捕获部分栈越界，但仅限 Debug 模式、不跨平台，不如 ASan 通用
如何让 ASan 报错信息更易读？
默认报错输出包含内存地址、访问类型（READ/WRITE）、越界偏移量，但缺少上下文调用栈或变量名。靠裸看堆栈容易漏掉关键路径。
- 设置环境变量：
export ASAN_OPTIONS=symbolize=1:detect_stack_use_after_return=1，再运行程序 - 确保系统已安装
llvm-symbolizer（Clang 自带，GCC 用户需单独装），否则符号无法解析 - 如果程序 fork 了子进程，ASan 默认关闭子进程检测；需显式加
detect_leaks=1并在子进程中调用__asan_init()（极少需要，除非做守护进程类调试）
Release 构建还能用 ASan 吗？
可以，但要接受性能下降约 2×，内存占用翻倍。它不是调试专用工具，而是可随发布构建一同交付的轻量级防护层。
性能影响主要来自每次内存访问前插入的影子内存查表操作；影子内存本身占实际内存的 1/8 左右。
- 线上服务慎用：高吞吐场景下延迟敏感，建议仅在灰度节点或预发环境开启
- CI 流水线强烈推荐：在单元测试和集成测试中固定开启 ASan，能提前暴露大量隐蔽越界
- 不能替代静态分析（如 clang-tidy 的
cppcoreguidelines-pro-bounds-array-to-pointer-decay），两者互补：ASan 抓运行时，静态分析抓模式
越界追踪真正难的不是“发现”，而是“复现条件”——ASan 只告诉你“这里越界了”，但触发越界的数据流可能跨越多个函数、异步回调甚至跨线程。留好 core dump + 符号文件，比什么都重要。
