什么是“未完全构造的对象”？

Question

Goetz的Java Concurrency in
Practice
，第41页，提到了this在构造过程中如何逃避引用。“请勿执行此操作”示例：

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

这this是通过doSomething(e)引用封闭ThisEscape实例的事实进行的“转义”
。可以通过使用静态工厂方法（首先构造普通对象，然后注册侦听器）而不是公共构造函数（完成所有工作）来解决这种情况。这本书继续说：

从其构造函数中发布对象可能会发布不完整构造的对象。这是真实的 ，即使是公布在构造函数中的最后一条语句。
如果this参考在构造过程中逃逸，则认为该对象 构造不正确。

我不太明白。如果发布是构造函数中的最后一条语句，那么在此之前是否已完成所有构造工作？怎么会是this由当时不是有效？显然在那之后还有一些伏都教，但是呢？

Answer 1

就最终字段而言，就并发而言，构造函数的末尾是一个特殊的地方。从Java语言规范的17.5节开始：

对象的构造函数完成后，就认为该对象已完全初始化。保证只有在对象完全初始化之后才能看到对对象的引用的线程才能确保看到该对象的最终字段的正确初始化值。

最终字段的使用模型很简单。在该对象的构造函数中设置该对象的最终字段。不要在对象的构造函数完成之前，在另一个线程可以看到它的地方编写对正在构造的对象的引用。如果执行此操作，则当另一个线程看到该对象时，该线程将始终看到该对象的最终字段的正确构造版本。它还将查看那些最终字段引用的任何对象或数组的版本，这些版本至少与最终字段一样。

换句话说，如果侦听器检查另一个线程中的对象，则最终可能会看到带有默认值的最终字段。如果在构造函数完成之后进行了侦听器注册，则不会发生这种情况。

就正在发生的事情而言，我怀疑构造函数的末尾存在隐式的内存屏障，以确保所有线程都“看到”新数据。如果没有应用该内存屏障，则可能会出现问题。