java数组字面量（如int[] arr = {1, 2, 3}）是编译期确定的静态初始化，直接决定数组长度、类型和初始内容，生成对应字节码并参与类加载；其内存布局为栈中存引用、堆中连续存储对象头、length字段及元素数据；与new int[]{...}和分离声明赋值语义等价但使用场景不同，字符串字面量数组还享常量池优化。
Java 数组字面量（如 int[] arr = {1, 2, 3};）看起来简洁，但它背后不是“语法糖”那么简单——它在编译期就决定了数组长度、类型和初始内容，并直接参与 JVM 的类加载与内存分配过程。
数组字面量是编译期确定的静态初始化
当你写 String[] names = {"Alice", "Bob", "Charlie"};，编译器会：
- 立即推断出数组长度为 3，无需运行时计算；
- 检查每个元素是否与声明类型兼容（比如不能混入
Integer或null以外的非 String 类型）； - 把整个初始化列表转为字节码中的
iconst_3+anewarray+ 多次astore指令序列，或更优地，使用ldc加载字符串常量池引用后批量填充。
这和动态初始化（new String[3] 后再逐个赋值）不同：后者在运行时才分配堆空间，且元素初始为 null，而字面量初始化的数组对象从诞生起就持有完整数据。
字面量数组在内存中如何布局
Java 中所有数组都是对象，哪怕装的是基本类型。以 int[] nums = {10, 20, 30}; 为例：
- 栈中仅存一个引用变量
nums（通常占 4 或 8 字节，取决于 JVM 指针压缩）； - 堆中分配一块连续内存：头部是对象头（含类元信息、锁状态、GC 分代标记等），紧接着是数组长度字段（
length，int 类型，固定 4 字节），最后是 3 个int元素（各占 4 字节，共 12 字节）； - 整个对象大小 = 对象头（约 12 字节）+ length 字段（4 字节）+ 数据区（3 × 4 = 12 字节）≈ 28 字节（具体因 JVM 实现略有差异）。
注意：这个结构在字面量初始化和 new int[]{...} 初始化中完全一致——区别只在“谁来填数据”以及“何时决定长度”。
字面量 vs new T[]{...} vs 分离声明+赋值
这三种写法语义等价，但适用场景不同：
-
int[] a = {1,2,3};—— 仅限**变量声明时使用**，不可用于方法返回、参数传递或后续重新赋值； -
int[] b = new int[]{1,2,3};—— 可出现在任意表达式位置（如return new int[]{1,2,3};或method(new String[]{"x","y"});）； -
int[] c; c = new int[]{1,2,3};—— 先声明后初始化，适用于条件分支中差异化初始化（如if (flag) c = new int[]{1}; else c = new int[]{2,3};）。
三者生成的字节码几乎相同，JVM 不区分它们的“来源”，只关心最终数组对象的状态。
字符串字面量数组的特殊优化
当数组元素全是字符串字面量时，JVM 会进一步优化：
- 每个字符串（如
"hello"）本身已在字符串常量池中存在，数组只存储对这些池中对象的引用； - 若多个数组包含相同字面量（如
{"a","b"}和{"a","c"}），它们共享同一个"a"引用，节省堆内存； - 这种共享在编译期完成，无需运行时去重逻辑。
这也是为什么 String[] s1 = {"x"}; String[] s2 = {"x"}; 中，s1[0] == s2[0] 为 true —— 它们指向常量池中同一个对象。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
