addresssanitizer可直接捕获堆/栈/全局变量越界读写并精确定位源码行号；必须同时启用-fsanitize=address、-fno-omit-frame-pointer和-g三个参数，缺一则导致检测失效、堆栈错乱或无调试信息。
直接用 AddressSanitizer，不用自己写检查逻辑——它能在运行时精准捕获堆、栈、全局变量的越界读写，且报错直接定位到源码行号。
编译时必须加的三个参数
缺一不可，否则要么没报告、要么堆栈错乱、要么根本触发不了检测：
-
-fsanitize=address：核心开关，启用 ASan 插桩和影子内存机制 -
-fno-omit-frame-pointer：强制保留帧指针，否则调用栈会断在内联函数或优化后的位置 -
-g：生成调试符号，否则报错里只有地址，没有文件名和行号
示例命令（GCC/Clang 通用）：
g++ -fsanitize=address -fno-omit-frame-pointer -g -O1 main.cpp -o main
注意：-O1 是推荐的优化等级；-O2 或更高可能让某些越界访问被编译器优化掉，导致漏检。
栈越界 vs 堆越界：报错信息怎么区分
ASan 报错开头就标明类型，一眼识别问题来源：
- 栈越界写入：
stack-buffer-overflow WRITE（如局部数组int buf[4]; buf[5] = 1;） - 堆越界写入：
heap-buffer-overflow WRITE（如char* p = malloc(10); p[10] = 'x';） - 释放后使用：
heap-use-after-free（free(p); p[0] = 1;）
所有报告都包含完整调用栈，例如：
==12345==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x60200000effa at pc 0x400a46 bp 0x7ffc3a3b2f20 sp 0x7ffc3a3b2f18
WRITE of size 1 at 0x60200000effa thread T0
#0 0x400a46 in heap_overflow /tmp/example.c:4
关键字段：heap-buffer-overflow 是错误类型，WRITE 是操作，/tmp/example.c:4 是第一现场。
为什么开了 ASan 还没报错？常见静默失败原因
不是代码没问题，很可能是配置或运行环境拦住了检测：
- 链接了第三方静态库（如
.a文件），而该库未用 ASan 编译——越界发生在库内部时，ASan 无法插桩，直接跳过 - 程序用了
mmap/VirtualAlloc等底层内存分配，绕过了 ASan 的 malloc hook，需手动调用__asan_poison_memory_region标记红区 - 运行时设置了
ASAN_OPTIONS=detect_stack_use_after_return=1但没配detect_container_overflow=1，导致std::vector越界不报（默认关闭） - 在容器（如
std::string、std::vector）上用了.data()+ 手动偏移，ASan 不检查这种“裸指针算术”，只检查对底层分配块的越界
验证是否真生效：故意写一行 int x[1]; x[1] = 0;，看是否立刻崩溃并输出 stack-buffer-overflow。
内存泄漏检测要额外开启吗
不需要新编译参数，但必须满足两个条件才会触发报告：
- 程序正常退出（非
abort()、非 segfault、非 kill -9） - 运行时设置环境变量：
ASAN_OPTIONS=detect_leaks=1
示例：
ASAN_OPTIONS=detect_leaks=1 ./main
注意：LeakSanitizer（LSan）是 ASan 的一部分，但默认只在 Linux 上启用；macOS 上需用 clang + -fsanitize=leak 单独开，且不支持 ARM64。
越界检测本身不依赖 detect_leaks，但如果你同时关心泄漏，别忘了这个开关——它不会影响越界检测行为，只是多一个退出扫描步骤。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
