在Java中，数组是一块长度固定、元素类型一致的连续内存区域。程序通过整数下标访问数组元素，下标范围从0开始，最大为数组长度减1。当代码尝试使用负数下标、等于数组长度的下标或更大的下标读取或写入数组时，Java虚拟机不会像C/C++那样继续访问相邻内存并产生难以预料的后果，而是会立即抛出一个专门描述该错误的运行时异常：ArrayIndexOutOfBoundsException。理解这种越界行为背后的检查机制、异常结构和典型触发场景，对于写出健壮的Java程序非常重要。本文会从虚拟机执行过程、异常体系、常见错误模式以及防御式编码方案几个方面展开。
一、数组越界时JVM做了什么
Java源代码中对数组元素的访问，在编译后会生成对应的字节码指令。以读取整型数组为例，编译器会生成iaload指令；写入整型数组则生成iastore指令。JVM在执行这些指令时，并不是直接按照下标计算内存偏移量然后读写，而是会先做一次边界检查。检查逻辑可以简单理解为：如果下标小于0，或者下标大于等于数组长度，就立即抛出ArrayIndexOutOfBoundsException，否则才会继续访问底层数组数据。
下面这段代码会触发越界，因为数组arr的长度是3，合法下标只有0、1、2，而arr[3]恰好等于数组长度。
int[] arr = {10, 20, 30};
int value = arr[3]; // 下标等于数组长度
System.out.println(value);
运行后会得到类似下面的异常信息：
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: Index 3 out of bounds for length 3
at Example.main(Example.java:4)
从异常信息中可以看到，JVM明确报告了非法索引是3，数组实际长度是3。这种设计使得Java数组访问不会出现C语言中常见的缓冲区溢出问题。C/C++里访问越界数组可能读取出垃圾数据、覆盖相邻变量，甚至导致安全漏洞，而Java通过强制边界检查把这类风险限制在异常层面。虽然每次数组访问都进行边界检查会带来一些性能成本，但JIT编译器在运行期间可以分析循环范围，并在证明索引一定合法时消除冗余检查。
二、ArrayIndexOutOfBoundsException的异常体系与捕获策略
ArrayIndexOutOfBoundsException的继承关系非常清晰。它直接继承IndexOutOfBoundsException，而IndexOutOfBoundsException又继承RuntimeException。因此数组越界异常属于非受检异常，编译器不会强制要求方法声明throws，也不会强制调用方使用try-catch捕获。
正因为它是非受检异常，很多开发者会犹豫是否应该在代码中主动捕获。从工程实践角度看，数组越界通常表示索引计算逻辑存在缺陷，属于编程错误。正确的做法是修复产生非法索引的代码，而不是用try-catch把异常吞掉。如果捕获后仅仅打印日志然后继续执行，程序可能带着错误状态运行，后续数据会变得不可信。某些边界场景下，比如解析外部输入、处理动态配置时，为了不让单个错误导致整个任务失败，可以捕获并记录详细上下文，但捕获的目的应当是隔离故障，而不是替代索引校验。
try {
int value = arr[index];
} catch (ArrayIndexOutOfBoundsException e) {
System.err.println("访问数组时索引非法: " + e.getMessage());
}
上面的写法虽然语法正确，但只能作为兜底手段。更推荐的做法是在访问数组前主动判断索引范围，例如保证index大于等于0且小于arr.length。这样可以让错误在更靠近源头的位置被暴露出来，也便于单元测试覆盖。异常信息本身非常有价值，它包含了非法下标和数组长度，排查问题时应首先关注这两个数字，而不是只看到异常类型就盲目加宽捕获范围。
三、常见数组越界触发场景与修复方法
数组越界最典型的来源是循环边界写错。例如一个长度为n的数组，合法下标范围是0到n-1，如果循环条件写成i <= arr.length，那么当i等于arr.length时就会越界。这个错误非常隐蔽，因为程序通常会先正常输出前几个元素，直到最后一次迭代才崩溃。
// 错误写法
for (int i = 0; i <= arr.length; i++) {
System.out.println(arr[i]); // 最后一次 i 等于 length 会越界
}
// 正确写法
for (int i = 0; i < arr.length; i++) {
System.out.println(arr[i]);
}
另一个常见场景是查找方法返回负一作为未找到的哨兵值，调用方没有判断就直接用它作为数组下标。例如使用indexOf查找元素时，如果目标不存在会返回-1，此时访问arr[-1]就会触发越界。
int pos = Arrays.asList(names).indexOf("target");
if (pos != -1) {
System.out.println(names[pos]);
} else {
System.out.println("元素不存在");
}
空数组也是容易被忽略的情况。长度为0的数组没有任何合法下标，即便是arr[0]也会越界。处理外部返回的数组时，应养成先检查length是否大于0的习惯。多维数组的越界则常常源于行列索引顺序混淆。例如int[][] matrix = new int[3][4];表示3行4列，行索引范围是0到2，列索引范围是0到3。如果写成matrix[1][4]，就会因为列索引超界而抛出异常。修复时应当明确第一维是行、第二维是列，并使用matrix.length和matrix[row].length分别作为两个维度的边界。
四、防御式编程与替代方案
避免数组越界的最简单方式是使用增强for循环遍历数组。增强for循环由编译器负责生成正确的索引范围，开发者完全不需要手动维护下标变量，从语法层面消除了越界可能。
for (int num : arr) {
System.out.println(num);
}
如果业务逻辑需要随机访问，可以封装一个工具方法来统一处理索引检查。Java 9及以上版本提供了Objects.checkIndex方法，它会在索引非法时抛出IndexOutOfBoundsException，并且异常信息比数组访问更早、更易读。
public static int getElement(int[] arr, int index) {
Objects.checkIndex(index, arr.length);
return arr[index];
}
对于需要动态增删元素的场景，裸数组并不是最佳选择。ArrayList等集合类不仅提供了自动扩容能力，还提供了contains、indexOf、get等语义更丰富的API。使用List时仍然可能因为get非法下标而抛出IndexOutOfBoundsException，但配合size方法可以更直观地进行范围控制。集合框架还支持迭代器和Stream API，这些工具通常可以避免手动索引操作。
List<String> list = new ArrayList<>();
if (index >= 0 && index < list.size()) {
System.out.println(list.get(index));
}
五、数组越界与集合的差异
ArrayList底层本身就是一个数组，因此它的get方法在索引非法时同样会抛出IndexOutOfBoundsException。不过集合类相比裸数组具有更好的封装性。数组的length是固定字段，一旦创建就无法改变；ArrayList的size会随着元素增删动态变化，因此越界条件也会动态改变。在多线程环境下，如果没有正确同步，size可能在使用过程中发生变化，从而引发新的边界问题。
为了降低越界风险，推荐优先使用不可变集合、迭代器或forEach遍历。Stream API的map、filter、reduce等操作将索引管理隐藏在框架内部，开发者可以将注意力放在数据处理逻辑上。即使必须使用数组，也应尽量把数组访问集中到少数几个方法中，并在这些方法内统一执行边界检查。这样既能避免代码中到处散落下标判断，也能让越界问题更容易定位和修复。
Java数组越界ArrayIndexOutOfBoundsException数组越界解决方案修改时间：2026-08-23 17:12:15