指针越界本质是解引用非法内存地址，可能引发崩溃、数据污染或隐性错误；std::vector::at() 通过边界检查抛出异常保障安全，而[]无检查；野指针叠加越界构成双重未定义行为；addresssanitizer 可精准定位堆越界，但需配合其他工具覆盖栈越界。
指针越界不是“访问了某个数组的第6个元素”这么简单——它本质是解引用了一个指向非法内存的指针，而这个非法地址可能来自数组末尾、栈帧外、已释放堆块，甚至完全随机。C++ 编译器默认不拦截，运行时表现可能是崩溃、静默数据污染、或看似正常却埋下定时炸弹。
std::vector::at() 为什么比 [] 更安全
std::vector 的 at() 方法会在每次访问前检查索引是否在 [0, size()) 范围内，越界则抛出 std::out_of_range 异常；而 [] 运算符在所有标准模式下（包括 Debug）都不做检查，行为等价于裸指针偏移。
- Release 模式下
vec[100]不报错，但大概率读写到其他变量或触发段错误 -
vec.at(100)在任何构建模式下都会立即终止并给出明确错误位置 - 注意：
at()有轻微性能开销，高频热路径若已确保索引合法，可保留[]，但绝不该因此放弃边界校验逻辑
野指针 + 越界 = 双重未定义行为
当一个指针本身已是野指针（未初始化、已释放未置空、指向局部变量生命周期结束），再对它做任何形式的偏移（如 p + 5）或解引用（*(p + 5)），都属于未定义行为。此时连 AddressSanitizer 有时也难以准确定位源头。
- 常见错误模式：
int* p = new int[10]; delete[] p; p += 2; *p = 0;—— 释放后仍修改指针值，再解引用 - 正确做法：释放后立刻置为
nullptr，后续所有使用前加if (p != nullptr) - 更优方案：用
std::unique_ptr<int></int>替代裸指针，自动管理生命周期，避免手动delete[]
AddressSanitizer 是唯一能快速暴露真实越界点的工具
编译时加上 -fsanitize=address（GCC/Clang），运行时一旦发生越界读写，会直接打印出访问地址、分配/释放堆栈、越界偏移量，精确到行号。它不依赖你是否用了 at() 或手动检查，而是从内存布局层面拦截非法访问。
- 启用方式：
g++ -fsanitize=address -g your_code.cpp -o a.out - 典型输出包含：
ERROR: AddressSanitizer: heap-buffer-overflow on address 0x60200000002c at pc 0x55... - 注意：ASan 会增大内存占用和降低执行速度，仅用于开发与测试，不可上线运行
- 它无法检测栈上数组的越界写（如
int a[3]; a[5] = 1;），需配合-fsanitize=undefined或静态分析工具
越界问题最难缠的地方在于：它常常不立刻崩溃，而是悄悄改掉隔壁变量的值，几轮函数调用后才在完全无关的代码里爆发出诡异 bug。别指望靠“多测几次”发现，必须把 at()、ASan、指针置空这三件事变成肌肉记忆。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
