Java数组下标从0开始，有效范围为0到array.length-1；越界（如-1或≥array.length）时JVM抛出ArrayIndexOutOfBoundsException运行时异常。
Java数组下标从0开始，越界会抛出ArrayIndexOutOfBoundsException
Java中数组是固定长度的引用类型，所有元素按连续内存布局存储，访问必须通过非负整数下标。下标有效范围是 0 到 array.length - 1（含）。一旦超出——比如用 -1 或 array.length 及以上值访问——JVM立即抛出 ArrayIndexOutOfBoundsException，这是运行时异常，编译器不检查。
常见错误场景包括：
- 循环条件写成
i （应为 <code>） - 对空数组（
array.length == 0）直接访问array[0] - 用用户输入、配置值或计算结果作下标，未做边界校验
一维数组访问：用array[i]语法，i必须是int或可自动转为int的类型
Java不支持负数下标、浮点下标或字符串下标。下标表达式会被强制转换为 int（如 long、short、byte 均可，但 double 或 float 会编译报错）。
示例：
立即学习“Java免费学习笔记（深入）”；
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 （注意不是 <code>matrix[0].length） - 若
matrix[i]为null，访问matrix[i][j]会抛NullPointerException
典型陷阱：遍历时假设所有行等长，或忽略某行为 null 的可能。
访问前是否需要手动判空或校验？取决于上下文可靠性
在工具方法、API入口、用户输入驱动的场景中，必须显式校验：
public static int safeGet(int[] arr, int index) {
if (arr == null || index < 0 || index >= arr.length) {
return -1; // 或抛 IllegalArgumentException
}
return arr[index];
}但在内部逻辑明确可控的循环里（如 for (int i = 0; i ），额外校验反而冗余。重点在于：**下标来源越不可信，越要提前防御；越靠近数据源头（如刚 new 出来、长度已知），越可信任**。
容易被忽略的一点：泛型集合（如 ArrayList）的 get(int) 方法也遵循同样下标规则，且同样抛 IndexOutOfBoundsException——它和数组共享同一套边界语义，只是异常类型略有不同。
