Java一维数组是堆中连续存储的引用类型对象，栈存引用、堆存数据，支持O(1)随机访问；初始化分动态（指定长度，默认值）、静态（直接赋值）和简写三种方式，长度固定不可变。
一维数组初始化与内存布局
一维数组在Java中是引用类型，声明时只在栈中创建一个引用变量，真正数据存在堆内存里。比如 int[] arr = new int[5];，栈里存的是指向堆中某块连续内存（如地址0x100）的引用；堆中分配5个连续的int单元，每个占4字节，下标0对应首地址偏移0，下标4对应偏移16字节。数组长度由 length 字段固定，不可修改。
初始化分三种常见方式：
- 动态初始化：指定长度，元素自动赋默认值（int为0，boolean为false，引用类型为null）
- 静态初始化（简化写法）：int[] arr = {1, 2, 3}; —— 编译器推导长度为3，直接完成创建和赋值
- 标准静态初始化：int[] arr = new int[]{10, 20, 30}; —— 显式调用new，适用于需传参或赋值逻辑较复杂场景
注意：声明时不许带长度，int[] arr[5]; 是非法语法；也不能先声明后用 new int[5]{...} 初始化——长度和初始化列表不能同时出现。
二维数组初始化与内存本质
二维数组不是“表格”，而是“一维数组的数组”。int[][] matrix = new int[3][4]; 表示堆中先分配3个元素的一维数组（每个元素是int[]类型），再为每个一维数组分别分配4个int空间。内存结构是不规则的：外层数组是连续的3个引用，每个引用指向不同位置的独立一维数组块。
立即学习“Java免费学习笔记（深入）”；
两种主流初始化方式：
- 规则二维数组（矩形）：int[][] a = new int[2][3]; 或 int[][] b = {{1,2},{3,4},{5,6}};
- 不规则二维数组（锯齿形）：int[][] c = new int[3][]; 后续逐行赋值：c[0] = new int[2]; c[1] = new int[5]; c[2] = new int[1];
访问元素必须双重校验：matrix[i][j] 要求 i < matrix.length 且 j < matrix[i].length。漏掉第二层检查，哪怕i合法，也可能因某行未初始化或长度不足而抛出 NullPointerException 或 ArrayIndexOutOfBoundsException。
数组越界的核心原因与排查方法
越界不是写错数字那么简单，本质是JVM拒绝访问不属于当前数组对象的堆内存区域。例如 arr[5] 访问长度为5的数组，实际是在找下标5对应的偏移量（超出合法范围0~4），触发 ArrayIndexOutOfBoundsException。
高频越界场景和应对建议：
- 循环边界写成 <= arr.length：应始终用 < arr.length，因为最大合法下标是 length−1
- 增强for遍历时误改索引：foreach不暴露下标，若需索引参与逻辑（如跳过首项、配对相邻元素），改用普通for
- 二维数组只判外层长度：访问前务必确认 matrix[i] != null && j < matrix[i].length
- 数组未初始化就访问：声明后未new，直接使用会报 NullPointerException，不是越界异常，但常被混淆
调试时可在关键访问前加日志：System.out.printf("accessing [%d][%d], matrix len=%d, row len=%d%n", i, j, matrix.length, matrix[i].length); 快速定位哪一维越界。
实用初始化技巧与避坑提醒
日常开发中，选对初始化方式能减少错误：
- 已知全部初始值 → 用简化静态初始化 {1,2,3}，简洁安全
- 仅知容量，后续填值 → 动态初始化 new int[n]，避免空指针
- 构造匿名临时数组（如方法参数）→ new int[]{1,2,3}，无需命名
- 复制数组 → 不要用 =（只是引用复制），改用 Arrays.copyOf() 或 clone()
最后提醒：数组一旦创建，length 就不可变。需要动态增删请转向 ArrayList；所有初始化都发生在堆，栈中只有引用——理解这点，越界、空指针、共享修改等问题就不再模糊。
