Java数组是引用类型，变量存于栈中指向堆中的数组对象；堆中对象含对象头、length字段和元素区；多维数组为数组嵌套，各维独立分配堆内存；赋值仅复制引用。
Java中声明引用类型数组，本质是创建一个“存放对象地址”的容器，它本身在栈上存引用，而数组元素指向的对象在堆上分配。关键不在“怎么写”，而在“内存里发生了什么”。
引用类型数组的声明写法（含推荐顺序）
声明引用类型数组时，类型必须明确，且推荐把[]放在类型后，这是Java主流风格，语义更清晰：
- 推荐写法：String[] names;、List<String>[] lists;
- 不推荐写法：String names[];（C风格，易混淆，尤其在多维或泛型场景）
- 注意：不能写成 String[] names = new List[5]; —— 类型必须匹配，左边是String[]，右边也得是String[]
内存分配三步走：声明 → new数组 → 创建元素对象
引用类型数组分两层内存分配，容易漏掉第二层：
- 第一步（数组本体）：new String[3] 在堆上分配连续3个引用槽位，每个槽初始值为 null
- 第二步（元素对象）：每个槽需单独 new 对象，如 names[0] = new String("Alice"); 否则访问 names[0].length() 会抛 NullPointerException
- 典型错误：String[] arr = new String[2]; System.out.println(arr[0].isEmpty()); —— 运行时报空指针，因为 arr[0] 是 null，还没赋值对象
静态初始化与动态初始化的实际区别
两种初始化方式影响的是元素对象是否“立刻诞生”：
立即学习“Java免费学习笔记（深入）”；
- 静态初始化：String[] cities = {"北京", "上海", "广州"}; —— 编译器自动为每个字符串字面量创建 String 对象（常量池或堆），数组每个槽直接指向它们
- 动态初始化：String[] cities = new String[3]; —— 只分配了3个 null 槽；后续必须显式赋值，比如 cities[1] = "深圳";
- 补充：String[] arr = new String[]{"a", "b"}; 和 String[] arr = {"a", "b"}; 效果等价，但后者更简洁，仅限声明时使用
常见陷阱与安全建议
引用类型数组最容易栽在“null 引用”和“类型擦除”上：
- 遍历前先判空：if (arr != null) for (String s : arr) { ... }，避免数组本身为 null
- 访问元素前检查：if (arr[i] != null) doSomething(arr[i]); 特别是手动 new 后未完全赋值的情况
- 泛型数组限制：不能直接 new ArrayList<String>[5]（编译报错），因泛型擦除，JVM无法确定运行时类型；可用 @SuppressWarnings("unchecked") 强转，或改用 List<ArrayList<String>>
- 数组长度不可变：String[] arr = new String[3]; 之后无法变成长度4，需新建数组并复制
