数组越界会导致未定义行为，可能引发程序崩溃或安全漏洞。使用现代C++容器和边界检查工具可有效避免此类问题。
在C++中，数组越界访问是一个常见但极其危险的错误。C++语言本身不会对数组访问进行边界检查，这意味着程序可以读写数组范围之外的内存区域。这种行为会导致未定义行为（Undefined Behavior），可能引发程序崩溃、数据损坏，甚至被攻击者利用来执行恶意代码。
数组越界的基本后果
当程序访问数组边界外的内存时，实际影响取决于越界的位置和操作类型：
- 读取越界：可能读取到垃圾数据，导致逻辑错误或信息泄露
- 写入越界：会破坏相邻变量或内存管理元数据，造成难以调试的问题
- 栈溢出：局部数组越界可能覆盖函数返回地址，引发崩溃或控制流劫持
- 堆溢出：动态分配数组越界可能破坏堆结构，导致free()崩溃或任意代码执行
栈上数组越界实例
假设以下代码：
void example1() {
int arr[5] = {1, 2, 3, 4, 5};
int flag = 0;
arr[8] = 999; // 越界写入
printf("flag = %d\n", flag);
}
在这个例子中，arr[8]的写入很可能覆盖了相邻的flag变量。由于栈上变量的布局是连续的，越界写入会修改flag的值，导致程序逻辑出错。更严重的是，如果越界距离更大，可能破坏保存的寄存器或返回地址，直接导致段错误。
堆上数组越界与安全漏洞
堆内存越界尤其危险，因为它可能被用来实施缓冲区溢出攻击。考虑以下代码：
立即学习“C++免费学习笔记（深入）”；
char* buffer = new char[64];
strcpy(buffer, user_input); // 未检查输入长度
如果user_input长度超过64字节，多余的数据会写入堆中后续的内存块。现代堆管理器（如glibc的malloc）使用元数据来管理内存块。越界写入可能破坏这些元数据，在后续调用delete[]时触发异常行为，经验丰富的攻击者可以精心构造输入数据来劫持程序控制流。
避免数组越界的建议
为防止此类问题，应采取以下措施：
- 优先使用std::vector和std::array，它们提供at()方法进行边界检查
- 在访问数组前手动验证索引范围
- 使用静态分析工具（如Clang Static Analyzer）和动态检测工具（如AddressSanitizer）
- 避免使用C风格字符串函数，改用std::string或安全版本（如strncpy）
基本上就这些。C++给予程序员极大的自由，但也要求更高的责任。数组越界看似小错，实则可能成为系统安全的突破口。养成良好的编程习惯和使用现代C++特性，能有效规避这类风险。
