java如何理解隐式地使this引用逸出

Question

这是《Java并发编程实战》3.2发布与逸出一节中的示例代码。我无法理解，this是怎么逸出的。

//隐式地使this引用逸出（不要这么做）
public class ThisEscape {
    public ThisEscape(EventSource source){
        source.registerListener(new EventListener() {
            public void onEvent(Event e){
                doSomething(e);
            }
        });
    }
}

书上说，当ThisEscape发布EventListener时，也隐含地发布了ThisEscape实例本身，因为在这个内部类的实例中包含了对ThisEscape实例的隐含引用。

Answer 1

最近在看《Java 并发编程实战》，个人的理解：
首先，看里面的 doSomething(e) 方法，这个方法应该是在 ThisEscape 中，不然就无法解释。也就是说，通过 doSomething(e) 方法可以修改 ThisEscape 中的属性或者调用 ThisEscape 中的其他方法。
例子中的代码，在多线程环境下，会出现这样一种情况：
线程 A 和线程 B 同时访问 ThisEscape 构造方法，这时线程 A 访问构造方法还为完成(可以理解为 ThisEscape 为初始化完全)，此时由于 this 逸出，导致 this 在 A 和 B 中都具有可见性，线程 B 就可以通过 this 访问 doSomething(e) 方法，导致修改 ThisEscape 的属性。也就是在 ThisEscape 还为初始化完成，就被其他线程读取，导致出现一些奇怪的现象。
这也就是 this 逸出。
通过 《Java 并发编程实战》 官网的书本 example 源码包，也证实了 doSomething 的确是 ThisEscape 中的方法。

package net.jcip.examples;

/**
 * ThisEscape
 * <p/>
 * Implicitly allowing the this reference to escape
 *
 * @author Brian Goetz and Tim Peierls
 */
public class ThisEscape {
    public ThisEscape(EventSource source) {
        source.registerListener(new EventListener() {
            public void onEvent(Event e) {
                doSomething(e);
            }
        });
    }

    void doSomething(Event e) {
    }


    interface EventSource {
        void registerListener(EventListener e);
    }

    interface EventListener {
        void onEvent(Event e);
    }

    interface Event {
    }
}

Java Concurrency in Practice

Answer 2

实话实说多线程、逸出我不是很懂，但是我懂内部类，所以可以来强答一下，内部类、匿名内部类都可以访问外部类的对象的域，为什么会这样，实际上是因为内部类构造的时候，会把外部类的对象this隐式的作为一个参数传递给内部类的构造方法，这个工作是编译器做的，他会给你内部类所有的构造方法添加这个参数，所以你例子里的匿名内部类在你构造ThisEscape时就把ThisEscape创建的对象隐式的传给匿名内部类了。至于这样会出什么问题我并不明白，貌似是怕onEvent会操作外部类的私有域？这部分需要你来教我了

Answer 3

读了楼上的答案，特别是2楼的答案就想明白了。接2楼，匿名内部类持有外部类的this引用后可能会调用外部类的实例方法（非私有方法，也不是final方法），这个时候当然是通过this引用调用的啦（代码中没有写this.doSomething(e)，这是一种简写）。这个使用this引用指向的对象在还没有完全构造完就调用其实例方法改变属性，可能出现问题。比如外部类初始化的时候对一个int类型的参数赋值，然后doSomething(e)方法对该参数进行加1操作。如果onEvent()方法触发在外部类完成初始化之前怎么办？就会很尴尬。因为this引用提前被EventListener实例对象拿到。这个提前的拿到就是this引用的逸出。
所以书上最后总结说，在构造函数中调用可以可改写的实例方法（不是私有方法，也不是final方法），同样会导致this引用在构造过程中逸出。还有构造函数中不能启动线程也是一样，即在没完成初始化时私自调用对象的方法，改变其状态，会存在隐患。
并且书中又说，解决方法是，在构造函数中注册一个事件监听器或者启动线程，可以使用一个私有的构造函数和一个公共的工厂方法（Factory Method），从而避免不正确的构造过程。如图

这样就使得注册监听在构造之后执行，保证onEvent()方法被调用在SafeListener的构造之后，对象正确初始化后再调用this引用指向的对象的方法修改属性就不是逸出，而是发布。

Answer 4

按照楼上大佬们的说法，写了2个例子。
例1：

import java.util.function.Function;

public class Test {
    
    public static Function<String, String> task;
    private String c = "default_value";
    
    public Test() {
        task = (a) -> {return a + c;}; // this在这里逸出了。也就是this还没初始化完成，构造函数还没退出，外部就可以访问了
        try {
            Thread.sleep(200);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        this.c = "init_value";
    }
    
    public static void main(String[] args) {
        new Thread(() -> {
            try {
                Thread.sleep(100);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println(Test.task.apply("Test.c = "));
        }).start();
        new Test();
        System.out.println(Test.task.apply("Test.c = "));
        // output:
        // Test.c = default_value         （错误值）
        // Test.c = init_value            （正确值）
    }
}

例2:

public class Test2 {
    
    public static Function<String, String> task;
    private String c = "default_value";
    
    public Test2() {
        task = (a) -> {return a + c;};
        // 在构造函数里开其他线程
        new Thread(() -> {
            System.out.println(Test2.task.apply("Test.c = "));
        }).start();
        try {
            Thread.sleep(200);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        this.c = "init_value";
    }
    
    public static void main(String[] args) {
        new Test2();
        System.out.println(Test2.task.apply("Test.c = "));
        // output:
        // Test.c = default_value         （错误值）
        // Test.c = init_value            （正确值）
    }
}