AddressSanitizer（ASan）是定位越界访问最有效的动态检测工具，编译时加 -fsanitize=address -g 即可捕获读写越界、栈缓冲区溢出等行为，需关闭优化并注意二维数组内存布局差异。
用 AddressSanitizer 快速定位越界位置
越界访问不一定会立刻崩溃，可能踩到其他变量或堆内存，导致后续操作出错，这时候靠 gdb 单步容易错过源头。AddressSanitizer（ASan）是目前最有效的动态检测手段，编译时加 -fsanitize=address -g 即可捕获读/写越界、栈缓冲区溢出等行为。
常见错误现象：程序在某个看似无关的函数里触发 SEGV 或 ABRT，实际是之前越界写坏了栈上相邻变量（比如覆盖了局部对象的 vptr 或返回地址）。
- Linux/macOS 下用
clang++ -fsanitize=address -g main.cpp && ./a.out，会直接打印越界地址、访问大小、数组起始地址和调用栈 - 如果用
std::vector<:vector>></:vector>替代裸二维数组，ASan 同样能检测其内部operator[]越界（前提是没用.data()绕过边界检查） - 注意关闭优化：
-O0或-O1，否则 ASan 可能报错行号偏移或漏检
检查二维数组声明与索引是否匹配内存布局
C++ 没有原生二维数组类型，int arr[3][4] 是连续 12 个 int 的块，按行优先排列；而 int** ptr 是指针数组，每行内存可能不连续。越界常发生在混淆这两者时。
使用场景：手写矩阵运算、图像像素遍历、图算法邻接矩阵等需要明确行列边界的场合。
立即学习“C++免费学习笔记（深入）”；
-
int arr[3][4]中，合法索引是arr[i][j]满足0 ；但 <code>arr[4][0]会跨到下一个栈变量，arr[0][5]会覆盖同一行第 5 个元素（越界 1） - 若用
int** mat = new int*[rows]; for(...) mat[i] = new int[cols];，则每行首地址独立分配，mat[i][j]越界不会触发 ASan 的“heap-buffer-overflow”（因每行是独立小块），但可能触发“heap-use-after-free”或静默损坏 - 避免混合：不要把
int (*)[4]类型指针强制转成int**，这会导致列索引计算错误——例如ptr[i][j]实际访问的是*(ptr + i * sizeof(int*) + j * sizeof(int))，而非预期的*(base + i*4 + j)
用 std::array<:array n>, M> 替代裸数组防编译期越界
std::array 的 operator[] 不做检查，但 at() 会抛 std::out_of_range，且整个结构仍是栈上连续内存，零开销。相比 std::vector，它更适合已知尺寸、追求性能的二维场景。
参数差异：std::array<:array>, 3></:array> 和 int[3][4] 内存布局完全一致，但前者支持 .at(i).at(j) 带检查的访问。
- 调试阶段可全局替换
arr[i][j]为arr.at(i).at(j)，让越界在第一次发生时就抛异常，而不是延后崩溃 - 注意
std::array的尺寸必须是编译期常量，不能用变量初始化，如int n = 3; std::array<int n> a;</int>是非法的 - 如果必须运行时确定尺寸，又想要安全访问，用
std::vector<:vector>></:vector>+.at()，但要注意它不是连续内存，缓存不友好
gdb 中确认崩溃点是否真由越界引起
当 ASan 不可用（如嵌入式环境、生产 release 版本），gdb 是最后防线。关键不是看崩溃那一行，而是回溯到最近一次对目标数组的写操作。
性能影响：开启 gdb 的 watchpoint（如 watch *(int*)((char*)arr + 16)）会显著拖慢执行，只在小范围复现时使用。
- 崩溃后先用
info registers看rip和rdi/rsi是否指向可疑地址；再用x/4wx $rsp查看栈顶附近是否被改写 - 用
bt full检查局部变量值，特别关注循环变量i、j是否超出预期范围（比如i == 5但数组只有 3 行） - 如果崩溃在
operator delete或malloc_consolidate，大概率是之前越界写坏了 malloc 的元数据，此时要重点检查所有数组访问，尤其是arr[i+1][j-1]这类带偏移的索引
越界访问最难缠的地方在于：它往往不立即表现为崩溃，而是悄悄污染邻近内存，让问题在数次函数调用之后才暴露。所以排查时别只盯着报错行，得顺着 ASan 提示或 gdb 寄存器值，往回找最后一次对那个内存区域的写操作。
