将数组变量的值分配给自身？

Question

我有这段简单的代码。

class A {
    static volatile String[] a = new String[9];

    public static void main(String[] args) {
        new Thread() {
            public void run() {
                for (int i = 0; i < a.length; i++) {
                    while (a[i] == null);
                    System.out.println(a[i]);
                }
            }
        }.start();

        a[0] = "The";
        zzz();
        a[1] = "quick";
        zzz();
        a[2] = "brown​";
        zzz();
        a[3] = "fox";
        zzz();
        a[4] = "jumped";
        zzz();
        a[5] = "over";
        zzz();
        a[6] = "the";
        zzz();
        a[7] = "lazy";
        zzz();
        a[8] = "cat";
        zzz();
    }

    public static void zzz() {
        try {
            Thread.sleep(300);
        } catch (Exception e) {}
        a=a;
    }
}

它输出我所期望的：

$ javac A.java && java A
The
quick
brown​
fox
jumped
over
the
lazy
cat

奇怪的是zzz() 中的a=a。当我拿出它时，它似乎没有任何改变。为什么会在那里？

Answer 1

我能想到的唯一原因是编写该代码的人明白只有数组是易失性的，而不是其内容，并添加了a = a 以强制对数组项执行的写入可见。

当我拿出它时，它似乎没有任何改变。

它仍然可以在装有 JVM 的机器上运行这一事实并不意味着它可以在具有不同 JVM 的另一台机器上运行。从理论上讲，删除a = a; 语句可能会导致一个永无止境的while 循环。

---

旁注

我原以为 Java 内存模型 (JMM) 可以允许 JVM 忽略该语句，就像可以忽略 synchronized(new Object()) 一样。

不过似乎it is not the case*:

您可能已经注意到，我确实提供了一种仅使用数组来获取上述 volatile 写入的方法：通过写出自引用。

_{*Jeremy Manson 是 JMM 的作者之一。}