Java虚拟机通过逃逸分析在对象创建前决定是否栈分配或标量替换，而非将已分配对象从堆挪到栈；满足不逃逸、大小限制、无finalizer等条件时，直接跳过堆分配，提升性能并避免GC。

Java虚拟机并不会“主动把已分配在堆上的对象挪到栈上”，而是通过逃逸分析在对象创建前就决定：这个对象压根儿不用进堆。

逃逸分析先判断，再决策分配位置

JVM在JIT编译热点代码时，会对方法内的对象创建做动态作用域分析。它追踪对象引用的去向，重点看三点：

• 是否作为返回值被传出方法
• 是否被赋值给静态变量、实例变量或传入其他方法（尤其是public方法）
• 是否被发布到其他线程（如放进ThreadLocal、线程池任务、并发容器）

只要全部否决，就标记为不逃逸（No Escape）——这是栈分配的前提。

满足条件后，JVM直接跳过堆分配流程

一旦判定不逃逸，JIT编译器生成的本地代码会绕开堆内存管理机制，改用两种更轻量的方式处理：

Java Maven Common

Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。

下载

立即学习“Java免费学习笔记（深入）”；

• 栈上分配：在当前方法的栈帧中预留连续空间，用指针碰撞方式快速布局整个对象结构
• 标量替换：如果对象字段全是基本类型或不可变引用（如Point类的x/y），JVM干脆不构造对象实体，直接把字段拆成独立局部变量（如int px, py），存入栈帧的局部变量表

这两种方式都不产生堆对象，自然没有GC压力。

栈帧销毁即释放，全程无GC介入

方法执行结束，对应栈帧弹出，其中分配的内存随栈指针回退而自动归还。这比堆上GC的标记-清除-整理快一个数量级，也彻底规避了内存碎片问题。

这些优化默认开启，但有硬性约束

不是所有不逃逸对象都能栈分配，还需满足：

• 对象大小不能超过JVM预设阈值（通常几百字节内，由-XX:MaxStackAllocationSize控制）
• 类不能有finalizer（因为栈对象无法触发finalize逻辑）
• 必须运行在服务端模式（-server，默认启用逃逸分析）且未显式关闭（-XX:-DoEscapeAnalysis）