在构造函数中使用同步块有什么用？

Question

我们不能使构造函数同步，但可以在构造函数内部编写同步。在什么情况下会有这样的要求？我很开心。

package com.simple;
public class Test {
    public Test() {
        synchronized (this) {
            System.out.println("I am called ...");
        }
    }

    public static void main(String[] args) {
        Test test=new Test();   
        System.out.println(""+test);
    }

    @Override
    public String toString() {
        return "Test []";
    }
}

Answer 1

它可以用来确保构造函数中非最终字段的安全发布。

public class Test {
    int a;
    public Test() {
        synchronized (this) {
            a = 5;
        }
    }

如果另一个线程接收到一个类型为Test的对象，并且它也在该Test实例上同步，那么这将在构造函数中的同步的块的结尾和的开头之间创建一个发生前关系另一个线程中同步的块：

public class InOneThread {
    public void run() {
        InAnotherThread.test = new Test();
    }
}

public class InAnotherThread {
     public static Test test;

     public void run() {
         if (test == null) {
             // Because assignment to `test` wasn't safely published, the
             // field could be null even if it was assigned "earlier" in real
             // time.
             return;
         }
         synchronized(test) {
             System.out.println(test.a); 
             // If no more modifications were made to 'a', this prints 5
             // (guaranteed). Without the synchronized blocks, this could 
             // print 0 (zero) or 5.
         }
     }
}

然而在实践中，这几乎从来没有用过，因为需要同步机制来安全地将Test的实例从一个线程传递到另一个线程，并且同步机制本身几乎肯定已经在线程之间引入了发生前关系。

尽管如此，它还是可以在一些高度特定的并发组件中使用。

Answer 2

在this上同步将是一种不良做法的迹象，因为这意味着你正在从构造函数中泄漏this：这是在同一个对象上同步其他代码的唯一方法。

然而，在其他一些公共锁上进行同步可能是合法的：我的构造函数确实涉及调用一些需要这种同步的代码。

Answer 3

您可以在构造函数中启动一个新线程。这将是非常不寻常的——当然在你提供的代码中这将是毫无意义的——但它可能会发生。

语言通常不会试图找到你能做的每一件毫无意义的事情——这会导致一个非常复杂的语言规范。语言使用者也必须有一定程度的思考。。。