数组越界（Array Index Out of Bounds）是编程中常见的错误，指程序试图访问数组中不存在的元素位置。以下是详细解释：

核心概念

1. 索引范围

   • 数组索引从 0 开始（如第一个元素索引为 0）。
   • 最大有效索引为 数组长度减 1（例如长度为 n 的数组，索引范围为 [0, n-1]）。

2. 越界场景

   • 访问负索引（如 arr[-1]）。
   • 访问超出最大索引的位置（如数组长度为 5，却访问 arr[5] 或 arr[6]）。

发生原因

• 循环条件错误：循环终止条件设置不当（例如 i <= 数组长度 而不是 i < 数组长度）。
• 手动计算索引：通过复杂逻辑计算索引时出错。
• 未校验用户输入：直接将用户输入的数值作为索引使用。

后果

• C/C++：访问非法内存区域，导致程序崩溃（如 Segmentation Fault）。
• Java：抛出 ArrayIndexOutOfBoundsException 异常。
• Python：抛出 IndexError 异常。
• JavaScript：返回 undefined（但写入时可能破坏数据）。

解决方法

1. 严格检查索引范围
   在访问数组前验证索引：

   if (index >= 0 && index < array.length) {
      // 安全访问 array[index]
   }

2. 正确使用循环
   确保循环变量在 [0, 数组长度-1] 范围内：

   for (int i = 0; i < array.length; i++) { ... } // 正确
   // for (int i = 0; i <= array.length; i++)   // 错误！会越界

3. 优先使用增强循环
   避免显式索引（适用于遍历）：

   for (int item : array) { ... } // 不会越界

4. 防御性编程

   • 对输入参数进行范围校验。
   • 使用异常处理机制捕获错误（如 Java 的 try-catch）。

示例代码

public class Main {
    public static void main(String[] args) {
        int[] arr = {10, 20, 30}; // 索引范围: 0~2

        // 错误示例：试图访问 arr[3]（越界）
        // System.out.println(arr[3]); // 抛出 ArrayIndexOutOfBoundsException

        // 正确做法：检查索引
        int index = 3;
        if (index >= 0 && index < arr.length) {
            System.out.println(arr[index]);
        } else {
            System.out.println("索引 " + index + " 越界！");
        }
    }
}

关键总结

• 牢记索引从 0 开始，最大索引 = 数组长度 - 1。
• 循环时使用 < 数组长度 而非 <=。
• 对动态计算的索引进行有效性验证。
• 不同语言的报错形式不同，但本质都是非法内存访问。

通过谨慎处理数组边界，可有效避免此错误！