构建不可变Outer类实例的静态内部Builder类逃逸分析相关问询

嘿，这个问题问到点子上了，咱们一步步拆解你的疑问：

1. 静态内部Builder类能否参与逃逸分析？ #

当然可以！逃逸分析的核心是判断一个对象的生命周期是否完全局限在当前方法内部，和它是不是静态内部类没有直接关系。只要你的Builder实例没有“逃逸”出方法（比如没有被返回给调用者、没有被赋值给外部类的成员变量、也没有被传递到其他会保存它的方法里），JVM的逃逸分析就能识别到它的作用范围，进而对它进行优化。

举个典型的合理使用场景：

public Outer createOuter() {
    return new Outer.Builder()
        .setParamA(1)
        .setParamB("test")
        .build();
}

这里的Builder实例从头到尾都只在createOuter方法里存在，没有逃出这个方法的边界，完全可以被逃逸分析盯上。

2. Builder类的实例是否会分配在栈上？ #

这得看两个关键条件：

• 首先，你的JVM要开启逃逸分析（现代JDK版本默认是开启的，对应参数-XX:+DoEscapeAnalysis）；
• 其次，Builder实例确实没有发生逃逸。

如果满足这两个条件，JVM不仅可能把Builder实例分配在栈上，甚至可能直接做标量替换——也就是根本不创建Builder对象，直接把Builder里的配置字段（比如paramA、paramB）拆解到栈帧的局部变量中，用这些变量直接构建Outer实例，连Builder的内存分配步骤都省了。

但如果Builder实例发生了逃逸（比如你把它赋值给了一个类的成员变量，或者传递给了其他方法保存），那它肯定还是会被分配在堆上。

3. 每次调用builder.build()是否都会创建Builder和Outer两个实例且仅分配在堆上？ #

你的这个理解不完全正确，得分场景看：

• 对于Builder实例：如果它没逃逸，JVM可能通过标量替换优化掉它的实例创建，根本不会在堆上分配；就算没做标量替换，也可能分配在栈上，方法执行完就直接销毁，不用GC处理。
• 对于Outer实例：如果Outer实例最后被返回给了方法外部（也就是发生了逃逸），那它肯定会被分配在堆上；但如果Outer实例也完全局限在方法内部（比如创建后只在方法里做一些本地计算，没有返回或传递出去），那它也可能被栈上分配或者标量替换。

只有当Builder和Outer都发生了逃逸的极端场景下，才会每次都在堆上创建两个实例——但这不符合Builder模式的常规使用方式，大部分合理场景里，Builder都是不会逃逸的。

总结 #

你的核心误解在于默认认为所有对象都会在堆上分配，但现代JVM的逃逸分析和相关优化（栈上分配、标量替换）会打破这个认知。只要Builder实例没有逃逸，它就可能被JVM优化，不一定会在堆上创建实例；Outer实例的分配位置则取决于它自己是否逃逸。

内容的提问来源于stack exchange，提问作者Laxmikant