逃逸分析是JVM启用栈上分配和标量替换的前置条件，仅当对象不逃逸且满足结构、编译等多重约束时，优化才生效；需通过日志和指标验证实际效果。
逃逸分析是JVM决定能否启用栈上分配和标量替换的前置开关——它不直接做内存分配，而是通过静态推断对象引用的传播范围，为后续优化提供依据。只有分析结果为“不逃逸”，JIT编译器（C2）才可能触发这两种优化。
逃逸分析如何决定是否允许栈上分配
栈上分配要求对象生命周期严格限定在当前方法内，且引用不会泄露到外部作用域。逃逸分析会检查：
- 对象是否被赋值给静态字段、实例字段或数组元素
- 是否作为参数传入非私有、非final方法（可能被子类重写或跨线程访问）
- 是否作为synchronized锁对象使用（需堆上地址保证锁一致性）
- 是否通过return语句返回，或被加入集合、队列等容器中
只要其中任一条件成立，对象就被标记为“逃逸”，栈上分配立即失效。即使对象很小、创建频繁，也无法绕过这一判断。
逃逸分析如何影响标量替换的可行性
标量替换比栈上分配更苛刻：它不仅要求对象不逃逸，还要求对象结构可完全拆解。逃逸分析在此基础上进一步验证：
立即学习“Java免费学习笔记（深入）”；
- 对象类是否为final，字段是否均为基本类型或不可变的标量对象（如仅含int字段的Point）
- 字段是否被反射访问、是否调用getClass()、hashCode()、toString()等会暴露对象身份的方法
- 代码中是否只访问字段（如obj.x），而从未以整体形式参与运算或传递（如传参、放入List、作为锁）
一旦发现任何破坏“纯字段访问”的行为，标量替换就会中止，退回到栈上分配甚至堆分配。
逃逸分析的局限性与实际表现
逃逸分析本身不是万能的，它的结论高度依赖JIT编译时机和上下文：
- 方法未被C2充分编译（如启动初期或冷路径），逃逸分析不会执行，优化自然不生效
- 方法内联未发生时，跨方法调用会中断引用追踪，导致误判为逃逸
- 动态代理增强的类（如Spring CGLIB生成的子类）会被JIT视为不可信，直接禁用标量替换
- 即使分析通过，JVM仍可能因栈帧过大或线程栈空间紧张而放弃栈上分配
因此，逃逸分析开启（默认已开）≠优化一定发生；真正起效需要“不逃逸 + 编译到位 + 结构干净 + 运行稳定”四者同时满足。
验证逃逸分析是否真正起作用
不能只看参数是否开启，要观察JIT实际决策：
- 加参数-XX:+PrintEscapeAnalysis，查看日志中是否出现point not escaped或scalar replaced
- 配合-XX:+UnlockDiagnosticVMOptions -XX:+PrintOptoAssembly，确认汇编层面是否消除了new指令
- 用JMH压测对比-XX:+EliminateAllocations开启/关闭时的gc.alloc.rate.norm指标变化
日志里出现scalar replaced才是标量替换成功的明确信号；而allocated on stack极少打印，多数时候优化已隐式完成，无需显式分配动作。
