c++动态数组越界不报错是因为标准不强制运行时检查，new分配裸内存无长度元数据，越界读写直接操作相邻内存，导致未定义行为；std::vector::operator[]不检查边界，而at()每次调用均校验索引并越界抛异常。
不会立即报错，C++ 动态数组（new int[n]）越界访问是未定义行为，编译器不拦截，运行时也不保证崩溃。
为什么 new int[n] 越界不报错
因为 C++ 标准明确不强制要求运行时检查——new 分配的是裸内存块，底层就是 malloc 级别行为，没有元数据记录长度，更无边界校验逻辑。越界读写直接落在相邻内存上，可能：
- 读到栈上其他局部变量、函数返回地址或未初始化垃圾值（看似“正常”输出）
- 写入破坏邻近对象，后续某次无关操作才触发崩溃（如
delete[]时堆管理器校验失败） - 覆盖
malloc内部的 chunk header，导致下一次new或free直接 abort - 在有 ASLR/stack canary 的环境里暂时“幸存”，但构成安全漏洞（如信息泄露、RCE）
std::vector::at() 和 operator[] 的区别
这是最容易混淆的点：同为动态容器，std::vector 提供两种访问方式，行为完全不同：
-
vec[i]—— 不检查，和原生数组一样快，也一样危险；越界后仍是未定义行为 -
vec.at(i)—— 每次调用都显式比较i ，越界则抛 <code>std::out_of_range异常
注意：at() 的开销虽小但真实存在，调试构建可开 -D_GLIBCXX_DEBUG 让 operator[] 也带检查，但发布版默认关闭。
如何实际捕获动态数组越界
靠语言机制不行，得依赖工具链：
- 编译时加
-fsanitize=address（ASan）：运行时报详细越界位置，但会显著拖慢速度、增大内存占用 - 运行时用
valgrind --tool=memcheck：能发现越界读写，但对 heap overflow 检测不如 ASan 精确 - 静态分析工具（如 clang++ -O2 -Wall -Wextra）：仅能发现明显常量索引越界（如
arr[10]访问int arr[5]），对new分配的动态大小无能为力 - 改用
std::vector并坚持用at()：最轻量、可控的编码层防御
容易被忽略的关键细节
很多人以为 “delete[] p 崩溃 = 越界导致”，其实未必——越界写入可能只污染了 malloc header，而真正触发错误的是后续任意一次堆操作；更隐蔽的是越界读取，它从不崩溃，却悄悄把错误数据喂给算法逻辑，几层调用后才暴露为业务结果异常，这种 bug 最难复现和定位。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
