不可变volatile数组上的javaforeach循环是线程安全的吗?

例子:

class MyClass
{ 
  volatile String[] m_array = new String[0];

  public synchronized void add(String n)
  { m_array = ArrayUtils.add(m_array, n); // atomic replace
  }

  public void iterate() // not synchronized!
  { // Do something with each element
    for (String s : m_array)
      System.out.println(s);
  }
}

我为什么问这个问题?

通常,Java中的foreach循环扩展为 Iterator :

Iterator<String> i = m_array.iterator();
while(i.hasNext())
  ...

在这种情况下 只有一个通道

但是如果未来的Java实现 优化 (见 foreach vs. for performance )

for (int i = 0; i < m_array.length; i++)
{ String s = m_array[i];
  ...

这不再是线程安全的,因为对 m_array . 在本例中,临时变量的快照为 m\ U阵列 字段易变时需要。

上面的优化保证不会以这种方式发生吗?我的代码示例保证是安全的吗?