数组越界访问是指访问数组元素时索引超出其合法范围，c++不进行边界检查，导致未定义行为。例如int arr[5]访问arr[5]或arr[-1]即为越界。常见后果包括：1. 未定义行为使程序可能正常运行或崩溃，表现不确定；2. 写操作可能覆盖内存内容，引发段错误或逻辑异常；3. 破坏栈结构可能导致程序跳转到非法地址。避免方法有：1. 使用std::array或std::vector替代原生数组；2. 手动检查索引合法性；3. 启用addresssanitizer等调试工具；4. 开启编译器警告并优先使用标准库容器。良好的编码习惯和工具辅助可有效减少此类问题。
数组越界访问在C++中是个很常见的问题，特别是在手动管理内存的场景下。它带来的后果可能是轻微的运行时错误，也可能是严重的程序崩溃甚至数据损坏。关键在于你越界访问了什么位置、读还是写、以及系统如何处理这种非法访问。
什么是数组越界访问？
数组越界访问指的是访问数组元素时，索引超出了数组定义的合法范围。比如一个长度为5的数组
int arr[5]，当你访问
arr[5]或者
arr[-1]的时候，就属于越界访问。
C++本身不会对数组边界做检查（不像一些高级语言如Java或Python），所以这种行为在编译阶段通常不会报错，而是在运行时才可能引发问题。
立即学习“C++免费学习笔记（深入）”；
越界访问的常见后果：未定义行为
C++标准将数组越界访问归类为“未定义行为（Undefined Behavior, UB）”。这意味着：
- 程序可能正常运行，也可能突然崩溃。
- 不同编译器、不同平台、不同优化级别下的表现可能完全不同。
- 错误可能不会立刻显现，而是潜伏一段时间后导致逻辑异常。
举个例子：
int arr[3] = {1, 2, 3};
cout << arr[100]; // 读取越界这段代码可能输出垃圾值，也可能让程序直接崩溃，具体取决于运行环境。
内存破坏与段错误（Segmentation Fault）
如果越界访问的是写操作，比如：
arr[100] = 42;
那就有可能覆盖掉其他变量的内存内容，甚至破坏栈结构，造成更严重的问题，例如：
- 修改了函数返回地址，导致程序跳转到非法地址。
- 覆盖了局部变量的值，使程序逻辑出错。
- 引发段错误（Segmentation Fault），操作系统强制终止程序。
这类错误通常出现在使用原始数组和指针时，尤其在手动管理内存的项目中更容易出现。
如何避免数组越界访问？
要减少越界访问的风险，可以从以下几点入手：
-
使用容器代替原生数组：比如
std::array
或std::vector
，它们提供了at()
方法来进行边界检查。 - 手动检查索引合法性：尤其是在循环或条件判断中。
- 启用调试工具：如AddressSanitizer、Valgrind等，可以检测出部分越界访问问题。
- 开启编译器警告：有些越界访问虽然不报错，但会触发警告信息，别忽略它们。
如果你正在开发新项目，尽量避免使用裸数组，优先考虑使用标准库容器，这样可以在一定程度上规避风险。
基本上就这些。数组越界看似小问题，但一旦发生，排查起来往往又费时又头疼。平时多注意编码习惯，加上合适的工具辅助，能帮你省不少事。
