new负责内存分配并压入未初始化引用，invokespecial消耗该引用调用完成字段初始化；变量映射依赖字段偏移量与对象引用协同访问堆中fields数组。
Java中new和invokespecial指令共同完成对象创建与初始化，但它们职责分明：前者负责内存分配与对象实例生成，后者只负责调用构造器完成字段赋值与逻辑初始化。变量映射并非由这两条指令直接建立，而是通过操作数栈、局部变量表及对象字段偏移量协同实现。
new 指令：分配空间，返回未初始化引用
new指令在字节码中接收一个常量池索引，指向目标类的CONSTANT_Class_info项。JVM执行时：
- 检查该类是否已加载、解析、初始化；未加载则触发类加载全过程
- 在堆中为对象分配内存（使用指针碰撞或空闲列表策略，线程安全依赖TLAB）
- 将分配的内存初始化为零值（不包括对象头），确保字段有默认值（如
int→0、Object→null） - 设置对象头信息（类型指针、GC年龄、哈希码等）
- 将该对象的引用压入操作数栈——此时对象尚未调用构造器，属于“未初始化状态”
invokespecial 指令：消耗引用，执行构造逻辑
invokespecial用于调用构造方法（<init></init>）、私有实例方法或父类方法。它不参与内存分配，仅完成初始化阶段：
- 从操作数栈弹出对象引用（必须是
new产生的未初始化引用）和所有构造参数 - 根据符号引用定位到具体构造器字节码，开始执行其指令流
- 构造器内部对
this字段的赋值（如this.name = name;），本质是通过putfield指令按字段偏移量写入obj->fields数组 - 执行完毕后，不额外压入新引用——原对象引用已在栈中被消耗，需靠
dup或astore保留
变量如何映射到对象内存布局
Java源码中的实例变量，在运行时并不直接对应栈上某个“变量名”，而是映射为对象实例数据区的固定偏移位置：
立即学习“Java免费学习笔记（深入）”；
- 每个类在准备阶段确定字段布局，JVM计算每个字段相对于
obj->fields起始地址的偏移量（例如GET_FIELD_OFFSET(index) = index ） -
putfield和getfield指令通过常量池中CONSTANT_Fieldref_info获取字段索引，再结合对象引用计算实际内存地址 - 局部变量表（如方法参数、
this）只保存引用或基本类型值，不保存对象字段本身；字段始终属于堆中对象结构体的一部分 - 因此，“变量映射”实质是编译期绑定字段索引 + 运行期基于对象引用+偏移量访问内存
为什么不能跳过 new 直接 invokespecial
invokespecial要求栈顶必须是一个合法的、未初始化的对象引用（由new产生），否则JVM会抛出VerifyError。这是因为：
- 构造器语义强制关联一个真实分配的内存块，不能凭空初始化
- JVM验证器会检查调用
invokespecial前的栈帧状态，确保引用来自new且未被其他指令修改 - 绕过
new意味着缺失对象头、零值初始化、类型指针等关键元信息，破坏JVM内存模型安全性
