Java 8 Supplier中final变量未初始化行为的官方说明咨询

这个问题里的行为完全符合**Java语言规范（JLS）**的要求，而且有明确的官方文档依据，我来给你拆解清楚：

1. 直接引用为啥会编译报错？ #

当你在Supplier里直接写value（不带this.）引用未初始化的final实例字段时，编译器会直接报错。原因在于：

• 按照JLS §8.3.1.2（final字段章节）的规定，空白final实例字段必须在类的每个构造函数执行完毕前完成明确赋值，否则编译不通过。
• 而Supplier作为函数式接口，实例化它本质是创建匿名内部类。如果直接引用外部类的final字段，编译器会把这个字段当作被捕获的变量，要求捕获它的时候必须已经完成赋值——但此时构造函数还没给value赋值，所以直接触发编译错误。

2. 加了this.为啥就能编译了？ #

当你改成this.value时，本质是直接访问当前实例的字段，而不是捕获变量：

• JLS的明确赋值规则（§16章节）里规定，只要final字段能保证在构造函数结束前被赋值，编译器就允许在构造过程中通过this引用它，哪怕此时字段还没被赋值。
• 这时候编译器不会在编译期检查你调用Supplier的时机，而是把这个检查交给运行时：字段在被赋值前的默认值是null（引用类型），所以这时候调用Supplier就会抛出NullPointerException；等你给value赋值后再调用，自然就能拿到正确的结果了。

3. 官方文档的具体依据 #

相关的规范章节可以参考这些：

• JLS §8.3.1.2 final Fields：明确了空白final字段必须在构造函数结束前完成赋值的编译时要求。
• JLS §16.9 明确赋值与匿名类：说明了匿名类（包括函数式接口实例）对外部类字段的引用规则——直接引用捕获的变量需要已明确赋值，而通过this访问实例字段则遵循实例初始化的赋值规则。
• JLS §8.3.3.2 初始化期间字段使用的限制：规定了实例初始化过程中访问字段的限制，允许通过this引用尚未初始化的字段，但运行时会使用默认初始值。

给你贴个示例代码更直观：

public class TestSupplierFinal {
    private final String myValue;

    public TestSupplierFinal() {
        // 下面这行直接写myValue会编译报错：Variable 'myValue' might not have been initialized
        // Supplier<String> badSupplier = () -> myValue;

        // 加this.后编译通过
        Supplier<String> goodSupplier = () -> this.myValue;

        // 此时调用会抛NPE，因为myValue还没赋值
        // System.out.println(goodSupplier.get());

        // 给final字段赋值
        myValue = "Stack Overflow Rocks";

        // 赋值后调用正常输出
        System.out.println(goodSupplier.get());
    }

    public static void main(String[] args) {
        new TestSupplierFinal();
    }
}

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