Java foreach 对原语的迭代顺序是否精确定义？

Question

示例代码：

int a[] = new int[]{0, 1, 2, 3};
int result = 0;
for (int i : a)
    result += i;

循环是否保证迭代 a[0]、a[1]、a[2]、a [3] 按这个顺序？ 我坚信答案是肯定的，但是此页面< /a> 似乎没有明确说明顺序。

有可靠的参考吗？

Answer 1

它在 JLS< /a> 那：

for ( VariableModifiersopt Type Identifier: Expression) Statement

相当于

T[] a = Expression;
L1: L2: ... Lm:
for (int i = 0; i < a.length; i++) {
        VariableModifiersopt Type Identifier = a[i];
        Statement
}

Answer 2

我在您引用的页面中没有找到任何暗示无序迭代的内容。 可以贴一下具体报价吗？

无论如何，我发现这段代码：

public static void main( String args[] ) {
    double a[] = new double[] { 0, 1, 2, 3 };
    int result = 0;
    for ( double i : a ) {
        result += i;
    }

反编译为旧式循环：

 public static void main(String args[])
    {
        double a[] = {
            0.0D, 1.0D, 2D, 3D
        };
        int result = 0;
        double ad[];
        int k = (ad = a).length;
        for(int j = 0; j < k; j++)
        {
            double i = ad[j];
            result = (int)((double)result + i);
        }
    }

当然，这与保证不同，但至少对数组进行无序迭代会非常奇怪，并且似乎违背明显的常识性实施。

Answer 3

根据JLS，增强的for 语句，你的 for 循环相当于

int[] array = a;
for (int index = 0; index < a.length; index++) {
    int i = array[index];
    result += i;
}

“其中 array 和 index 是编译器生成的标识符，它们与任何其他标识符不同（编译器生成的或其他）在增强 for 语句发生处的范围内。” （这里稍微解释一下变量名）。

所以是的：订单绝对有保证。

Answer 4

请参阅 Java 语言规范第三版的 第 14.14.2 节。

如果表达式的类型是子类型
的 Iterable，那么让 I 成为以下类型
表达式Expression.iterator()。
增强的 for 语句是
相当于基本的 for 语句
形式：

for (I #i = Expression.iterator(); #i.hasNext(); ) { 
          VariableModifiersopt 类型标识符 = #i.next(); 
     陈述 
  } 
  

其中#i是编译器生成的
不同于任何的标识符
其他标识符（编译器生成的
或其他）在范围（§6.3）内
在增强的点
语句发生。