数组初始化在字节码层面是多阶段过程：动态初始化用newarray/anewarray隐含零初始化或null填充，静态初始化通过常量池和anewarray/multianewarray显式赋值，成员变量初始化在/中执行，局部变量每次调用都重新分配。
数组变量初始化在字节码层面并非简单“分配+填值”，而是由类型、初始化方式（静态/动态）、作用域（局部/成员）共同决定的多阶段过程。关键差异体现在指令选择、执行时机和内存操作路径上。
动态初始化：newarray 与 astore 配合完成堆分配
当写 int[] arr = new int[10];，编译后核心字节码为：
- bipush 10：将长度10压入操作数栈
- newarray int：根据栈顶长度，在堆中分配连续 int 空间，生成数组对象引用，结果压栈
- astore_1：将该引用存入局部变量表 slot 1（对应变量 arr）
注意：此时所有元素已由 JVM 自动设为 0（基础类型默认值），不生成单独赋值指令；newarray 指令本身隐含零初始化语义。
静态初始化：直接生成常量池项 + multianewarray 或 anewarray
对于 int[] arr = {1, 2, 3};，编译器会把元素值作为常量嵌入 class 文件：
- 常量池中生成
int常量 1、2、3 - 字节码使用 iconst_1、iconst_2、iconst_3 逐个压栈
- 执行 iconst_3 后接 multianewarray（一维数组实际用 anewarray + dup + 元素填充）
区别在于：值由代码显式提供，JVM 不再做零填充；整个过程在方法调用时一次性完成，无循环或重复指令。
成员变量 vs 局部变量：初始化位置决定指令归属
类中声明 private int[] data = new int[5]; 会被收集进 <clinit></clinit>（静态字段）或 <init></init>（实例字段）方法，字节码出现在类初始化逻辑中；而方法内声明则始终在对应方法的 Code 属性里。
- 成员数组：初始化指令随类加载/对象创建触发，可能被 JIT 提前优化或合并
- 局部数组：每次方法调用都执行完整 newarray 流程，生命周期严格绑定栈帧
这意味着相同代码写在不同位置，字节码虽相似，但执行上下文、GC 可达性、逃逸分析结果完全不同。
引用类型数组：anewarray 替代 newarray，元素初始为 null
String[] strs = new String[3]; 对应：
- bipush 3
-
anewarray java/lang/String：分配引用类型数组，每个槽位自动设为
null - 后续若执行
strs[0] = "hello";，则需 ldc 加载字符串常量 + aastore 存储
与基础类型不同，anewarray 不涉及元素类型的具体初始化逻辑，只负责数组结构和 null 填充；真正对象创建（如 new String）是独立指令，不在数组初始化流程内。
