Java数组下标访问详解

Java数组下标严格从0开始，有效访问范围为0到array.length-1，任何越界操作（如负数或等于及大于长度的索引）都会在运行时触发ArrayIndexOutOfBoundsException异常——这种编译器不检查却极易在循环、边界判断等场景中悄然发生的错误，正成为无数开发者调试路上的“隐形陷阱”，掌握其原理与规避技巧，是写出健壮数组代码的第一道关键防线。

Java数组下标从0开始，越界会抛出ArrayIndexOutOfBoundsException

Java中数组是固定长度的引用类型，所有元素按连续内存布局存储，访问必须通过非负整数下标。下标有效范围是 0 到 array.length - 1（含）。一旦超出——比如用 -1 或 array.length 及以上值访问——JVM立即抛出 ArrayIndexOutOfBoundsException，这是运行时异常，编译器不检查。

常见错误场景包括：

• 循环条件写成 i （应为 ）
• 对空数组（array.length == 0）直接访问 array[0]
• 用用户输入、配置值或计算结果作下标，未做边界校验

一维数组访问：用array[i]语法，i必须是int或可自动转为int的类型

Java不支持负数下标、浮点下标或字符串下标。下标表达式会被强制转换为 int（如 long、short、byte 均可，但 double 或 float 会编译报错）。

示例：

int[] nums = {10, 20, 30};
System.out.println(nums[0]);     // ✅ 输出 10
System.out.println(nums[2]);     // ✅ 输出 30
System.out.println(nums[3]);     // ❌ 运行时报 ArrayIndexOutOfBoundsException
System.out.println(nums[(int)1.9]); // ✅ 自动截断为 1，输出 20
// System.out.println(nums[1.5]); // ❌ 编译错误：possible loss of precision

多维数组本质是“数组的数组”，访问需逐级解引用

Java没有真正的多维数组，int[][] matrix 是一个一维数组，每个元素是 int[] 类型的引用。因此 matrix[i][j] 实际分两步：先取 matrix[i]（得到某一行的引用），再取该行的第 j 个元素。

这意味着每行长度可以不同（锯齿数组），也意味着两级下标都要独立检查边界：

• i 必须满足 0
• j 必须满足 0 （注意不是 matrix[0].length）
• 若 matrix[i] 为 null，访问 matrix[i][j] 会抛 NullPointerException

典型陷阱：遍历时假设所有行等长，或忽略某行为 null 的可能。

访问前是否需要手动判空或校验？取决于上下文可靠性

在工具方法、API入口、用户输入驱动的场景中，必须显式校验：

public static int safeGet(int[] arr, int index) {
    if (arr == null || index = arr.length) {
        return -1; // 或抛 IllegalArgumentException
    }
    return arr[index];
}

但在内部逻辑明确可控的循环里（如 for (int i = 0; i ），额外校验反而冗余。重点在于：**下标来源越不可信，越要提前防御；越靠近数据源头（如刚 new 出来、长度已知），越可信任**。

容易被忽略的一点：泛型集合（如 ArrayList）的 get(int) 方法也遵循同样下标规则，且同样抛 IndexOutOfBoundsException——它和数组共享同一套边界语义，只是异常类型略有不同。

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