Java 在构造函数中创建内部类实例

我正在阅读这本书，在第3.2节中，它给出了下面的代码示例来说明隐式地允许

this

引用转义（不要这样做，尤其是在构造函数中）：

然后书上说：

当

thisecape

发布

EventListener

时，它隐式地 也发布封闭的

thisecape

实例，因为内部 类实例包含对封闭实例的隐藏引用

我从Java的角度理解了上面的单词，但我无法给出一个示例，上面代码的

EventListener

转义封闭引用

this

怎么会有害？以什么方式

例如，如果我创建了一个新的

thisecape

实例：

ThisEscape myEscape = new Escape(mySource);

那么，什么？现在它有什么害处？在哪方面它是有害的

有人可以用上面的代码作为基础，并向我解释它是如何有害的吗

=======更多======

这本书试图说一些东西，比如匿名

EventListener

持有对包含类实例的隐藏引用，该类实例尚未完全构造。我想知道在这个示例中，这个未完全构造的引用怎么会被误用，我更喜欢看一个关于这一点的代码示例

这本书给出了一种正确的方法，即使用静态工厂方法，如下所示：

public static SafeListener newInstance(EventSource source) { 
       SafeListener safe = new SafeListener(); 
       source.registerListener (safe.listener);
       return safe;
}

我只是不明白整件事的重点

问题1：在非完全构造的对象上操作 考虑这个稍加修改的示例：

public class ThisEscape {
    private String prefixText = null;

    private void doSomething(Event e) {
        System.out.println(prefixText.toUpperCase() + e.toString());
    }

    public ThisEscape(EventSource source) {
       source.registerListener( 
             new EventListener() {
                 public void onEvent(Event e) {
                     doSomething(e); // hidden reference to `ThisEscape` is used
                 }
             }
       );

       // What if an event is fired at this point from another thread? 
       // prefixText is not yet assigned, 
       // and doSomething() relies on it being not-null

       prefixText = "Received event: ";
    }
}

这将引入一个微妙且很难发现的bug，例如在多线程应用程序中

假设事件源在

source.registerListener（…）

完成后触发，但在分配

prefixText

之前触发事件。这可能发生在不同的线程中

在这种情况下，

doSomething（）

将访问尚未初始化的

prefixText

字段，这将导致

NullPointerException

。在其他场景中，结果可能是无效行为或错误的计算结果，这比异常更糟糕。这种错误在实际应用中很难发现，主要是因为

问题2：垃圾收集 在某些情况下，对封闭实例的隐藏引用会妨碍垃圾收集器清理“封闭实例”

如果程序逻辑不再需要封闭实例，但仍然需要它生成的内部类的实例，则会发生这种情况

如果“封闭实例”反过来持有对程序逻辑不需要的许多其他对象的引用，那么它将导致大量内存泄漏

---

一个代码示例。 给出一个稍加修改的

ThisEscape

类形式的问题：

public class ThisEscape {

    private long[] aVeryBigArray = new long[4711 * 815];

    public ThisEscape(EventSource source) {
       source.registerListener( 
             new EventListener() {
                 public void onEvent(Event e) {
                     doSomething(e);
                 }
                 private void doSomething(Event e) {
                     System.out.println(e.toString());
                 }
             }
       );
    } 
}

请注意，内部匿名类（扩展/实现

EventListener

）是非静态的，因此包含对包含类（

thisecape

）实例的隐藏引用

还要注意的是，匿名类实际上没有使用这个隐藏引用：在匿名类中没有使用包含类的非静态方法或字段

现在这可能是一种可能的用法：

// Register an event listener to print the event to System.out
new ThisEscape(myEventSource); 

通过这段代码，我们希望在

myEventSource

中注册一个事件。我们不再需要

thisecape

的实例

但是假设

EventSource.registerListener（EventListener）

方法存储对在

thisecape

中创建的事件侦听器的引用，并且匿名事件侦听器保存对包含类实例的隐藏引用，此Escape的实例不能被垃圾收集。

---

我特意将一个大的非静态

long

数组放入

thisecape

，以证明

thisecape

类实例实际上可以（直接或间接）保存大量数据，因此内存泄漏可能非常严重

在多线程上下文中，在构造中期发布对象的问题是，该对象可能在构造完成之前（或在构造函数引发异常之后）使用

即使发布是构造函数中最后一个显式步骤，也要记住三件事：

• 线程中副作用的顺序并不决定这些副作用对其他线程可见的顺序。因此，即使构造函数的编写方式是在发布对对象的引用之前完全填充对象，也不能保证其他线程在读取引用时会看到完全填充的对象

• final

  字段通常具有特殊的并发属性，但这些属性取决于在对象对其他线程可见之前到达构造函数的末尾。如果其他线程在对象完全构造之前就感知到它，那么它们甚至可能看不到

  final

  字段的正确值

• 在子类中发生任何初始化之前调用超类构造函数。因此，例如，如果子类包含字段

  String foo=“foo”

  ，那么在超类构造函数期间，该字段仍然是

  null

  ，这将影响使用它的虚拟方法的结果。因此，如果在超类构造函数期间发布了对对象的引用，那么其他线程可以在对象处于不完整（和奇怪）状态时对其进行操作

---

谢谢，我明白你的意思了。但是这本书试图说，匿名事件监听器持有对包含类实例的隐藏引用，该类实例尚未完全构造

// Register an event listener to print the event to System.out
new ThisEscape(myEventSource);