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

  • Z时代
  • 2024-01-10
  • 分类：IT

这是《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实例的隐含引用。

回答：

最近在看《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

回答：

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

回答：

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

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

以上是 java如何理解隐式地使this引用逸出 的全部内容， 来源链接： utcz.com/p/181939.html

回到顶部