addresssanitizer可立即捕获负索引访问（如arr[-1]），报stack-buffer-underflow并精确定位源码行；需编译和链接均加-fsanitize=address -g -o0，否则漏报或堆栈不全。
用 AddressSanitizer 快速定位负索引访问
负索引本身在 C++ 中不报错，但会读写非法内存，导致崩溃、数据错乱或静默错误。AddressSanitizer（ASan）是目前最有效的运行时检测手段，它能在访问 arr[-1] 这类越界时立即报错并指出栈帧。
编译时加 -fsanitize=address -g（GCC/Clang 均支持），例如：
g++ -fsanitize=address -g -O0 main.cpp -o main注意关闭优化（
-O0），否则 ASan 可能漏报或堆栈不完整。运行时报错类似：ERROR: AddressSanitizer: stack-buffer-underflow on address 0x7fffeef012a4，后面会附上具体行号和变量名。
常见疏忽点：
- 忘记链接时也带
-fsanitize=address（仅编译加不够） - 在 CI 或 release 构建中禁用了 ASan，导致问题漏到线上
- 误以为
std::vector::at()能覆盖所有场景——它只检查正向边界，v.at(-1)是编译不过的，根本不会进运行时
静态分析工具对 operator[] 的局限性
Clang Static Analyzer、Cppcheck 等工具对显式负字面量（如 arr[-2]）可能报警，但对变量索引（如 int i = -1; arr[i]）基本无能为力——因为无法在编译期推断 i 的符号。
这类场景下，静态分析容易给你虚假安全感。更现实的做法是：把裸数组换成带边界检查的封装，比如 std::array 配合 at()，或自定义一个轻量 wrapper：
template<typename t size_t n>
struct safe_array {
T data[N];
T& operator[](int i) {
if (i (i) >= N)
throw std::out_of_range("index out of bounds");
return data[i];
}
};</typename>
注意：这个 wrapper 不能替代 ASan，只是增加一层防御；且 static_cast<size_t>(i)</size_t> 对负数会回绕，所以必须先判 i 。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
调试器里怎么确认是不是负索引踩的坑
GDB 或 LLDB 中，光看崩溃地址没用，关键要查访问发生前的索引值。在疑似出问题的 arr[i] 行下断点，然后：
- 用
print i看i当前值，注意是否为负 - 用
info registers查看地址计算相关寄存器（如rax,rdi），反推偏移是否为负 - 若崩溃在库函数内（如
memcpy），用bt往上翻，找到调用方传入的指针和长度，再检查长度是否被负数污染
典型线索：arr + i 计算后地址比 &arr[0] 还小；或者崩溃时寄存器显示有效地址减去了一个大正数（其实是负偏移按无符号解释了）。
为什么 std::vector::data() + 负偏移仍然危险
有人会写 vec.data()[i] 并认为“反正 vector 底层是连续的”，但这完全绕过了 vector 的所有安全机制。哪怕 i 是负数，只要没触发 ASan 或硬件异常，程序就可能继续跑——然后悄悄改掉前一个对象的成员、破坏栈帧、或污染 malloc 元数据。
尤其要注意 STL 容器迭代器失效规则：对 vector 来说，data() 返回的指针在 push_back 后可能失效，此时再用旧指针加负偏移，结果完全不可预测。
真正安全的写法只有两种：vec.at(static_cast<size_t>(i))</size_t>（需确保 i >= 0）或直接用 vec[i]（但你要 100% 确保 i 非负且小于 size()）。任何绕过容器接口直接操作原始内存的行为，都等于主动放弃边界保护。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
