java - 为什么 Java 构造函数不能同步？

Question

根据the Java Language Specification ，构造函数不能被标记为同步，因为其他线程在创建它的线程完成之前无法看到正在创建的对象。这似乎有点奇怪，因为我确实可以让另一个线程在构建对象时查看它:

public class Test {
    public Test() {
       final Test me = this;
       new Thread() {
           @Override
           public void run() {
               // ... Reference 'me,' the object being constructed
           }
       }.start();
    }
}

我知道这是一个非常人为的例子，但从理论上讲，似乎有人可以提出一个更现实的案例，将构造函数标记为同步是合法的，以防止像这样的线程竞争。

我的问题是:Java 是否有理由明确禁止构造函数上的同步修饰符？也许我上面的例子有缺陷，或者真的没有理由，这是一个任意的设计决定。无论哪种情况，我都很好奇，很想知道答案。

Answer 1

如果您确实需要将构造函数的其余部分与无论如何获取对您尚未完全构造的对象的引用的任何线程进行同步，您可以使用同步块(synchronized block):

public class Test {
    public Test() {
       final Test me = this;
       synchronized(this) {
          new Thread() {
             @Override
             public void run() {
                // ... Reference 'me,' the object being constructed
                synchronized(me) {
                   // do something dangerous with 'me'.
                }
             }
          }.start();
          // do something dangerous with this
       }
    }
}

通常，像这样“放弃”尚未构造的对象被认为是不好的风格，因此不需要同步构造函数。

---

在某些极端情况下，同步构造函数会很有用。这是一个更现实的例子，来自对 Bozho 答案的讨论:

public abstract class SuperClass {

   public SuperClass() {
       new Thread("evil") { public void run() {
          doSomethingDangerous();
       }}).start();
       try {
          Thread.sleep(5000);
       }
       catch(InterruptedException ex) { /* ignore */ }
   }

   public abstract void doSomethingDangerous();

}

public class SubClass extends SuperClass {
    int number;
    public SubClass () {
        super();
        number = 2;
    }

    public synchronized void doSomethingDangerous() {
        if(number == 2) {
            System.out.println("everything OK");
        }
        else {
            System.out.println("we have a problem.");
        }
    }

}

我们希望 doSomethingDangerous() 方法仅在 SubClass 对象的构造完成后调用，例如我们只想要“一切正常”的输出。但是在这种情况下，当您只能编辑您的子类时，您就没有机会实现这一点。如果构造函数可以同步，那问题就解决了。

所以，我们从中了解到:如果您的类不是最终类，切勿像我在父类(super class)构造函数中所做的那样 - 并且不要从您的构造函数中调用您自己类的任何非 final方法。