编辑“︁逃逸分析（Escape Analysis）”︁（章节）

== 优化类型 ==
=== 1. 栈上分配（Stack Allocation） ===
当对象未逃逸时，JVM可能直接在栈帧中分配内存（而非堆），随方法调用结束自动销毁。

'''示例代码'''：
<syntaxhighlight lang="java">
public class StackAllocation {
    static class User {
        int id;
        String name;
    }

    void createUser() {
        User user = new User();  // 未逃逸对象
        user.id = 1;
        user.name = "test";
    }
}
</syntaxhighlight>

=== 2. 标量替换（Scalar Replacement） ===
将聚合对象拆解为基本类型（标量），直接使用局部变量代替对象访问。

'''优化对比'''：
{| class="wikitable"
! 优化前 !! 优化后
|-
| <syntaxhighlight lang="java">
Point p = new Point();
p.x = 10;
p.y = 20;
return p.x + p.y;
</syntaxhighlight> || <syntaxhighlight lang="java">
int x = 10;
int y = 20;
return x + y;
</syntaxhighlight>
|}

=== 3. 同步消除（Lock Elision） ===
当对象不会线程逃逸时，移除不必要的同步操作。

'''示例'''：
<syntaxhighlight lang="java">
public void safeMethod() {
    Object lock = new Object();  // 无线程逃逸
    synchronized(lock) {         // 会被消除
        System.out.println("操作");
    }
}
</syntaxhighlight>