jvm 不进行栈上分配，而是通过标量替换消除对象，仅保留其标量字段作为局部变量或寄存器值；前提是对象完全不逃逸且结构可静态分解，需通过逃逸分析日志和反汇编验证。
JVM 并不会把一个对象“整体”分配到栈上，所谓“拆散在栈”，本质是标量替换（Scalar Replacement）——它不是移动对象，而是彻底消除对象本身，只保留其字段作为独立的局部变量，存于栈帧或寄存器中。
标量替换不是栈上分配，而是对象消除
HotSpot JVM 从不真正做“栈上分配”（Stack Allocation）。你写的 new Point(x, y)，如果满足条件，JIT 编译后可能连 new 指令都不执行。取而代之的是：
-
x和y被当作两个int类型的局部变量； - 它们直接存入当前方法栈帧的局部变量表，或更优地——直接分配到 CPU 寄存器（如
%r11,%r12）； - 对象头、对齐填充、GC 标记位等全部消失，访问时无需解引用、无缓存行跳转。
触发标量替换的硬性前提
-
对象必须被逃逸分析判定为 完全不逃逸：
- 不能赋值给
this.field、static字段、数组、集合（哪怕ArrayList local = new ArrayList(); local.add(p);也不行）； - 不能传给任何非
final方法（包括System.out.println(p)、Objects.toString(p)、logger.info(p)）； - 不能在 lambda 中捕获（
stream.map(i -> i.x)中的i当前 HotSpot 版本一律视为逃逸）； - 不能调用
getClass()、identityHashCode()、synchronized(p)，也不能重写finalize()。
- 不能赋值给
-
对象结构必须 可静态分解：
- 所有字段必须是标量（
int/long/boolean/double等）或可递归标量化的嵌套对象； - 不能含
String、List、Object[]等引用类型字段（哪怕该引用本身没逃逸，也会中断整条链）； - 推荐用
record Point(int x, int y)—— 不可变、无逻辑、无虚方法，逃逸分析友好度最高。
- 所有字段必须是标量（
验证它是否真发生了
光看代码没用，得靠运行时证据：
启动参数加：
-XX:+UnlockDiagnosticVMOptions -XX:+PrintEscapeAnalysis -XX:+PrintEliminateAllocations -XX:+PrintCompilation-
关键日志线索：
-
*** object is not escaping（逃逸分析通过）； -
*** scalar replaceable或EliminateAllocations: true； - 编译日志中出现
@ 0x... compiled method后带scalar replaced； - GC 日志显示同一逻辑下堆分配字节数明显下降（比如循环中每轮少分配 24 字节）。
-
进阶确认（需 hsdis）：
加-XX:+PrintOptoAssembly，搜索反汇编输出中是否还有new Point相关指令 —— 如果没有，且看到类似mov %r11, 123这样的寄存器直赋，就说明已拆解。
不复杂但容易忽略
