在构造函数中使用 lambda 时的“this”引用转义

Question

参考这个问题-

How does `this` reference to an outer class escape through publishing inner class instance?

如果我们用 lambda 或方法引用替换匿名类，这段代码为什么以及如何表现？

public class ThisEscape {
    public ThisEscape(EventSource source) {
         source.registerListener(e -> doSomething(e));
    }
}

Answer 1

从技术上讲，创建匿名内部类或使用 lambda 并没有太大区别。 Lambda 不仅仅是语法糖，它使 Java 一直能够做的事情更加突出、易于访问和不易出错。那就是您的代码受the question you referred to 及其答案中描述的相同竞争条件的约束。

使用给定的代码构造，您无法保证在调用 doSomething 之前正确创建了 ThisEscape 的实例。

阅读this answer 中链接的 javaspecialists.eu 时事通讯，了解在什么情况下可能会出现问题。

Answer 2

在原始问题中的代码

public class ThisEscape {
    public ThisEscape(EventSource source) {
        source.registerListener(
            new EventListener() {
                public void onEvent(Event e) {
                    doSomething(e);
                }
            });
    }
}

是有问题的，因为该对象已在构造函数中注册，然后可能在未完全构造的情况下被事件管理系统使用。事实上，只有当doSomething 访问ThisEscape 实例外部的东西时，这才是危险的。

这与您的 lambda“等效”相同

public class ThisEscape {
    public ThisEscape(EventSource source) {
         source.registerListener(e -> doSomething(e));
    }
}

但不要上当，匿名内部类并不严格等同于 lambda...this 在匿名内部类的情况下指的是当前实例，但指的是 lambda 的封闭实例（this 是在 lambda 的闭包中）：

interface doable {
    public void doIt();
}
public class Outer {
    public Outer() {
        doable d1 = new doable() {
            public void doIt() {
                System.out.println(this);
            }
        };
        d1.doIt();

        doable d2 = ()->System.out.println(this);
        d2.doIt();
    }
    public static void main(String []argv) {
        new Outer();
    }
}

产生类似的东西：

Outer$1@3764951d
Outer@3cd1a2f1

第二行清楚地表明 lambda 不是任何类的实例，也不是对象。