为什么java 8 lambdas允许访问非最终类变量？[重复]

Question

我理解为什么编译器不接受以下内容：

class Foo {
    public Supplier<String> makeSupplier() {
        String str = "hello";
        Supplier<String> supp = () -> return str;

        // gives the expected compile error because
        // str is not effectively final
        // (str is a local variable, compile-time error
        //  as per JLS 15.27.2.)
        str = "world";

        return supp;
    }
}

令我困惑的是编译器接受以下内容，并且单元测试通过了：

class Bar {
    private String str = "hello";

    public void setStr(String str) {
        this.str = str;
    }

    public Supplier<String> makeSupplier() {
        Supplier<String> supp = () -> { return str; };
        return supp;
    }

    @Test 
    public void Unit_lambdaCapture() {    
        Supplier<String> supp = makeSupplier();
        Assert.assertEquals(supp.get(), "hello");
        setStr("foo");
        Assert.assertEquals(supp.get(), "foo");
    }
}

为什么上面的是有效的，工作正常？欢迎提供JLS相关章节的链接(第15.27.2节。只谈局部变量)。

Answer 1

它没有。它允许有效地访问最终类变量。

一个变量或参数的值在初始化后从未改变，它实际上是最终的。

资料来源：http://docs.oracle.com/javase/tutorial/java/javaOO/localclasses.html

Answer 2

我们都同意第一个示例不起作用，因为局部变量或参数必须是最终的或有效的最终的，才能在 lambda 表达式体内使用。

但是您的第二个示例不涉及局部变量或参数，因为 str 是一个实例字段。Lambda 表达式可以像访问实例方法一样访问实例字段：

15.27.2.λ体

lambda主体要么是单个表达式，要么是一个块（第14.2节）。与方法主体一样，lambda主体描述了在调用发生时将执行的代码。

实际上，Java 编译器从 lambda 表达式中创建了一个私有方法 lambda$0，该方法仅访问实例字段 str：

private java.lang.String lambda$0() {
    0 aload_0;                /* this */
    1 getfield 14;            /* .str */
    4 areturn;
}

另一种观点：您还可以使用普通的旧匿名内部类实现供应商：

public Supplier<String> makeSupplier() {
    return new Supplier<String>() {
        public String get() { return str; }
    };
}

从内部类访问实例字段是非常常见的，而不是Java 8的特长。