最省事方案是编译期加-fsanitize=address，需同时用于编译和链接，搭配-g和-O1，可捕获堆/栈/全局区越界读写及use-after-free等错误并精确定位行号。
编译期加 -fsanitize=address 是最省事的方案
绝大多数 C++ 项目只需改一行构建命令，就能捕获运行时的越界读写（包括栈、堆、全局区），不需要改代码。ASan（AddressSanitizer）是 LLVM/GCC 内置的成熟检测器，不是玩具工具。
常见错误现象：use-after-free、heap-buffer-overflow、stack-buffer-underflow 会直接打印带调用栈的报错，定位到具体行。
- Clang/GCC 都支持，编译和链接都需加
-fsanitize=address -g（-g不可省，否则没行号） - 不能和
-O2以上混用——优化可能让 ASan 检测失效，开发阶段用-O1或-O0即可 - 二进制体积增大 2×，内存开销约 2–3 倍，仅用于调试，切勿上线
- Windows 上 MSVC 的
/RTC1只检栈越界，且不支持堆，能力远弱于 ASan
std::vector::at() 替代 [] 能捕获部分越界访问
对容器下标访问，at() 会在越界时抛 std::out_of_range 异常，而 [] 完全不检查——这是标准行为，不是 bug。
使用场景：适合逻辑明确、越界属于编程错误而非预期输入的场合（比如配置索引、状态机跳转）。不适合高频循环或性能敏感路径。
立即学习“C++免费学习笔记（深入）”；
-
vec.at(i)比vec[i]多一次边界比较，但现代 CPU 分支预测下开销极小 - 注意：只对
std::vector、std::string等标准容器有效，原生数组、std::array（除非手动封装）不适用 - 别指望它抓到
ptr[i]这类裸指针越界——at()本质是容器内部维护了 size，和指针无关
自定义 allocator + guard page 在 Linux 下实现粗粒度堆越界拦截
想在不依赖编译器的前提下拦截堆块越界？Linux 的 mmap + PROT_NONE 可以在分配前后插入不可访问页作为“警戒墙”。原理简单，但只对单次大块分配有效，不适合 malloc 频繁小对象。
示例思路：申请 size + 2*page_size，中间 size 区域设为可读写，前后两页 mprotect(..., PROT_NONE)。一旦越界就会触发 SIGSEGV。
- 必须用
posix_memalign或mmap对齐到页边界（通常是 4096），否则mprotect失效 - 无法区分是读越界还是写越界，信号处理里只能知道地址，需结合
/proc/self/maps手动查归属 - glibc 的
malloc自身就用了类似技巧（如MMAP分配的 chunk 前后有 gap），但默认不启用；开启MALLOC_CHECK_=3环境变量可激活部分保护，但仅限于free后重用等简单错误
为什么不用 valgrind --tool=memcheck？
Valgrind 确实能检越界，但它靠动态二进制插桩，导致程序慢 20–30 倍，且不兼容某些系统调用（如 ptrace、AVX 指令）、无法调试多线程信号交互。ASan 在速度和精度上已全面胜出。
容易踩的坑：
- ASan 和 Valgrind 不能共存——加载顺序冲突，会直接 abort
- ASan 无法检测未初始化内存读（那是
-fsanitize=undefined的事），越界和 UB 是两套机制 - 某些嵌入式或交叉编译环境不支持 ASan（比如裸机、ARM Cortex-M），这时只能靠静态分析（
clang++ --analyze）或手动断言assert(i
真正难的是跨模块、延迟触发的越界（比如 callback 中保存的野指针），这类问题连 ASan 也抓不到——它只管内存操作瞬间，不管语义生命周期。得靠 RAII、智能指针或静态检查工具补位。
