调用父类final方法为何触发Java 21的this-escape警告？

Java 21新增了this-escape警告，用于防范构造器中调用可被子类重写的方法的场景——这类情况里，重写方法可能依赖未初始化的子类字段，存在风险。但实际使用中发现，当子类调用父类声明的final方法时，该警告也会触发，示例代码如下：

package org.example;

public class A {
    public final int getNumber() {
        return 10;
    }
}

public class B extends A {
    public B(){
        getNumber(); // 编译器警告：[this-escape] 可能在子类完全初始化前发生'this'逃逸
    }
}

针对这个场景，有以下疑问：

• 是否存在B被继承后引发问题的可能？
• 若getNumber()非final，子类可能出问题，但这里看不出风险；假设父类方法未调用其他非final方法，是否仍存在错误场景？
• 这到底是误报还是未理解的罕见问题？

解答 #

这个警告属于编译器的保守性检查，并非严格意义上的误报，但在你给出的场景里确实不存在实际风险，以下分点说明：

为什么会触发警告？ #

Java编译器的this-escape检查逻辑是：只要在构造器中通过this调用了实例方法（无论方法是否为final），都会触发警告。这是因为编译器无法提前预判所有后续可能的继承扩展场景，只能做最严格的防护，避免潜在的初始化风险。

是否存在B被继承后出问题的可能？ #

不存在。因为A中的getNumber()是final方法，任何子类（包括继承B的类C）都无法重写它。当构造C对象时，B的构造器调用的getNumber()永远是A中实现的版本，该方法不依赖任何子类字段，完全不会出现未初始化字段的问题。

假设父类final方法未调用其他非final方法，是否存在错误场景？ #

如果父类的final方法完全不涉及子类状态（比如示例中只是返回常量10），且不调用任何非final方法，那确实不存在风险。但如果父类final方法内部调用了非final方法，就可能出现问题，比如：

class A {
    public final int getNumber() {
        return getAnotherNumber(); // 调用非final方法
    }
    public int getAnotherNumber() {
        return 10;
    }
}
class B extends A {
    private int num = 20;
    public B() {
        getNumber(); // 触发警告
    }
    @Override
    public int getAnotherNumber() {
        return num;
    }
}

此时B的构造器调用getNumber()，会间接调用B中重写的getAnotherNumber()，而Java的初始化顺序是先执行父类构造，再初始化子类字段，最后执行子类构造——所以调用时num还未完成初始化，会返回默认值0，引发逻辑错误。但你的示例中不存在这种嵌套调用非final方法的情况。

总结 #

这个警告是编译器的过度防护，针对的是“未来可能出现的风险”，而非当前代码的实际问题。如果你确定当前及未来的继承场景中，该final方法不会引入子类未初始化的风险，可以忽略警告，或者通过@SuppressWarnings("this-escape")注解压制。

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