Java数组下标越界问题详解

Java数组下标检查看似简单，实则暗藏运行时崩溃风险：即使代码顺利通过编译，一旦访问超出[0, length-1]范围的索引（如对长度为5的数组访问索引5），JVM便会立即抛出ArrayIndexOutOfBoundsException导致程序中断；本文深入剖析这一机制背后的原理，并直击开发者最常踩的三大越界陷阱，用真实代码片段揭示那些“看似合理却必崩”的写法，助你避开隐蔽而致命的运行时雷区。

Java数组下标越界时到底发生了什么

当你写 arr[5] 却访问一个长度为 5 的数组时，JVM 不会“帮你算一下”，而是直接抛出 ArrayIndexOutOfBoundsException —— 因为索引 5 已超出合法范围 [0, 4]。这不是编译错误，是运行时才爆的雷，意味着代码能编译通过，但一执行就挂。

最常踩的三个坑（附真实代码片段）

以下写法看着合理，却全都会触发 ArrayIndexOutOfBoundsException：

• for (int i = 0; i —— 错在用了 ，i 最大会到 arr.length，而最大合法索引是 arr.length - 1
• arr[-1] 或 arr[arr.length] —— 负索引和等于长度的索引都非法，哪怕只是“试试”也不行
• int[] arr = new int[3]; arr[3] = 10; —— 数组创建后长度固定，arr[3] 永远不存在，不是“还没赋值”，是“根本没这个位置”

怎么安全访问数组元素（不靠 try-catch 硬扛）

捕获异常不是预防手段，而是兜底。真正靠谱的做法是在访问前做边界判断：

• 检查索引是否 index >= 0 && index ，缺一不可（负数和超长都要拦）
• 遍历数组优先用增强 for 循环：for (int x : arr)，彻底绕过索引计算
• 如果必须用下标（比如要操作相邻元素、反向遍历），就把 arr.length 当成“铁律”，别硬写数字如 5 或 arr.length - 1 再减一

多维数组的下标检查容易被忽略

二维数组不是“两个一维数组拼起来”，而是“数组的数组”，每一维都要单独检查：

• matrix[i][j] 安全的前提是：先确认 i ，再确认 j
• 别假设所有子数组等长 —— int[][] ragged = {{1}, {2, 3, 4}}; 中，ragged[0].length 是 1，ragged[1].length 是 3
• 用 Objects.checkIndex(i, arr.length)（Java 19+）可简化单维校验，但多维仍需手动分层判断

边界检查不是“多此一举”，而是把运行时崩溃变成编译期/逻辑期可推演的行为。尤其在处理外部输入（比如用户传来的索引、解析 JSON 后的数组）、或算法中动态计算下标时，少一次 && 判断，就多一分不可控。

今天关于《Java数组下标越界问题详解》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！