数组越界在C++中编译不报错，运行时可能静默读脏数据、改写邻近变量、触发SIGSEGV或逻辑错乱；必须用AddressSanitizer（-fsanitize=address -O0 -g）主动检测，它通过红区精准定位越界行号、地址及读写类型。
数组越界在 C++ 中不会编译报错，运行时可能静默读到脏数据、改写邻近变量、触发 SIGSEGV，甚至程序看似正常但逻辑错乱——排查必须依赖主动检测手段，不能靠“没崩溃就等于没问题”。
用 AddressSanitizer 快速定位越界位置
这是目前最实用、开箱即用的排查方式，能精准指出哪一行代码、哪个内存地址、哪种访问类型（读/写）越界。
- 必须用
-fsanitize=address -O0 -g编译，例如：g++ -fsanitize=address -O0 -g main.cpp -o main - ASan 会为每个内存块前后插入“红区”，越界访问会立即被捕获并打印带源码行号的报告
- 不支持 MSVC；Release 模式下若开启
-O2可能漏报，务必用-O0或-O1 - 对堆、栈、全局区数组都有效，包括
char buf[10]、new int[5]、函数内局部数组
调试器里重点观察循环边界和索引变量
大量越界源于循环条件写错，比如把 i 写成 <code>i ，或混淆了数组长度与最大合法下标。
- 在循环入口和数组访问前设断点，用调试器查看
i和size的实时值（注意：sizeof(arr)/sizeof(arr[0])在函数参数中失效） - 特别检查负索引：
arr[i-1]在i == 0时就是arr[-1]，调试器里看地址是否明显异常（如低地址段） - 对字符串操作要额外小心：
char s[5] = "Hello"实际需要 6 字节（含'\0'），strcpy或strlen都可能越界
用 std::vector::at() 替代 [] 强制抛异常
对已有逻辑做最小改动即可暴露隐藏越界，适合快速验证怀疑点，但仅适用于 std::vector、std::string 等标准容器。
立即学习“C++免费学习笔记（深入）”；
-
v.at(i)在任何模式下都会检查i >= 0 && i ，越界直接抛 <code>std::out_of_range - 裸数组、指针、
std::array的[]运算符不检查，std::array::at()才检查 - 高频循环中慎用，每次调用有分支开销；必须加
try/catch，否则未捕获异常会导致进程终止
静态分析工具辅助扫描潜在风险
编译阶段发现隐患，适合集成进 CI 或日常开发流程，但无法覆盖所有运行时路径。
-
clang++ --analyze（Clang Static Analyzer）可识别明显越界，如常量索引超限、循环上界硬编码错误 -
cppcheck --enable=warning,style能报告for (i=0; i 这类典型边界错误 - 工具结果需人工确认：静态分析可能误报（如复杂条件推导失败），也可能漏报（如索引来自用户输入且未建模）
越界真正难缠的地方在于：它常常不立刻崩溃，而是污染内存、延迟失效。所以别等 SIGSEGV 出现才查——从第一个数组访问开始，就要明确知道“这个索引为什么合法”。
