理解为什么在Java内存模型方面在构造函数内启动线程是不安全的[重复]

Question

根据Java Concurrency in Practice，在类构造函数中启动一个线程是危险的。原因是this在完全构造对象之前，这会将指针暴露给另一个线程。尽管在之前的许多StackOverflow问题中都讨论过这个主题，但我仍然难以理解为什么会出现这种问题。让我举一个具体的例子说明我想做的事情。（此段代码的所需输出是将数字20打印到控制台。）private static class ValueHolder {     private int value;     private Thread thread;     ValueHolder() {         this.value = 10;         thread = new Thread(new DoublingTask(this)); // exposing "this" pointer!!!         thread.start();   // starting thread inside constructor!!!     }     int getValue() {         return value;     }     void awaitTermination() {         try {             thread.join();         } catch (InterruptedException ex) {}     }}private static class DoublingTask implements Runnable {     private ValueHolder valueHolder;     DoublingTask(ValueHolder valueHolder) {         this.valueHolder = valueHolder;     }     public void run() {         System.out.println(Thread.currentThread().getName());         System.out.println(valueHolder.getValue() * 2);   // I expect this to print out 20...     }}public static void main(String[] args) {     ValueHolder myValueHolder = new ValueHolder();     myValueHolder.awaitTermination();}是的，我知道线程是在我们从构造函数返回之前启动的。是的，我知道this指针暴露给线程。然而，我确信代码是正确的 - 我相信它总会将数字20打印到控制台。任务this.value = 10 发生在之前 thread.start()。（这是因为在执行顺序this.value = 10之前thread.start()。）thread.start()主线程中的调用发生.run()在新创建的线程中方法开始之前。在开始.run()的方法之前发生的System.out.println(valueHolder.getValue() * 2);print语句。（再次，按执行顺序。）因此，通过Java Memory Model，print语句应该读取正确初始化的值valueHolder.value（即10）。尽管忽略了Java Concurrency in Practice的建议，但我的代码应该可以正常工作。我弄错了吗？我错过了什么？

Answer 1

假设我是你的类的子类。它可能没有在需要时初始化其字段。

class BetterValueHolder extends ValueHolder{
    private int betterValue;

    BetterValueHolder(final int betterValue)
    {
        // not actually required, it's added implicitly anyway.
        // just to demonstrate where your constructor is called from
        super();

        try
        {
            Thread.sleep(1000); // just to demonstrate the race condition more clearly
        }
        catch (InterruptedException e) {}

        this.betterValue = betterValue;
    }

    @Override
    public int getValue()
    {
        return betterValue;
    }}

这将打印为零，无论给予构造函数的值是什么BetterValueHolder。

Answer 2

原因是在完全构造对象之前，这会将this指针暴露给另一个线程。

在您的代码中，对象已经构造得足够（value已设置为10），因此它将按预期运行。