java – 构造函数中的同步使其发生在之前

我已经阅读了很多内容,说在构造函数中编写同步作用域没有意义,但为什么不呢？是的,确实只要构造中的对象不在线程之间共享(它不应该是这样),除了构造对象之外的任何线程都不能到达任何synchronized(this){…},所以不需要在构造函数中创建该范围以排除它们.但同步范围不仅仅是排除;它们也用于创造先发生过的关系. JLS.17.4

这是一个示例代码,使我的观点清楚.

public class Counter{

    private int count;

    public Counter(int init_value){
        //synchronized(this){
            this.count = init_value;
        //}
    }

    public synchronized int getValue(){
        return count;
    }

    public synchronized void addValue(){
        count++;
    }
}

考虑一下线程t0创建Counter对象而另一个线程t1使用它的情况.如果构造函数中有synchronized语句,那么显然可以保证它是线程安全的. (因为同步作用域中的所有操作都具有相互之间发生的关系.)但如果不是,即没有同步语句,Java内存模型是否仍然保证t1可以看到t0的初始化写入计数？我想不是.就像fy在JLS.17.5中的示例代码17.5-1中看到0一样.与JSL.17.5-1的情况不同,现在第二个线程仅从同步方法访问该字段,但我认为同步语句在这个情况. (他们不会在t0之前创建任何与任何动作发生的关系.)有人说在构造函数结束时关于发生前的边缘的规则保证了它,但规则似乎只是说构造函数发生了 – 在finalize()之前.

那么我应该在构造函数中编写synchronized语句以使对象线程安全吗？或者是否有一些关于我错过的Java内存模型的规则或逻辑,实际上不需要它？如果我是真的,即使是openjdk的Hashtable(虽然我知道它已经过时)似乎不是线程安全的.

或者我是错误的关于线程安全的定义和并发策略？如果我通过线程安全的方式将Counter对象从t0传输到t1,例如通过一个易变的变量,似乎没有问题. (在这种情况下,t0的构造发生在易失性写入之前,这发生在t1的易失性读取之前,发生在t1所做的一切之前.)我应该总是传递线程安全对象(但不是永久不变的)通过一种导致之前发生关系的方式在线程中？