Точно ли определен порядок итераций в Java для каждого примитива?

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] в указанном порядке? Я твердо верю, что ответ - да, но эта страница , кажется, не однозначно устанавливает порядок.

Есть надежная ссылка?

Answer 1

Согласно JLS, расширенный оператор for , ваш цикл for эквивалентен

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

"где array и index - это идентификаторы, сгенерированные компилятором, которые отличаются от любых других идентификаторов (генерируемых компилятором или иным образом), которые находятся в области действия в точке, где происходит расширенный оператор for. (немного перефразируя имена переменных здесь).

Так что да: заказ абсолютно гарантирован.

Answer 2

См. раздел 14.14.2 Спецификации языка Java, 3-е издание .

Если тип выражения является подтипом из Iterable, тогда позвольте мне быть типом выражение Expression.iterator (). Расширенный для утверждения эквивалентно основному для утверждения форма:

for (I #i = Expression.iterator(); #i.hasNext(); ) {
        VariableModifiersopt Type Identifier = #i.next();
   Statement
}

Где #i генерируется компилятором идентификатор, отличный от любого другие идентификаторы (генерируемые компилятором или иным образом), которые находятся в сфере действия (§6.3) в точке, где улучшено для заявление происходит.

Answer 3

В JLS указывается, что:

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 4

На странице, на которую вы ссылаетесь, я не нашел ничего, что указывало бы на итерацию не по порядку. Можете ли вы опубликовать конкретную цитату?

В любом случае, я считаю, что этот код:

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);
        }
    }

Конечно, это не то же самое, что гарантия, но по крайней мере неупорядоченная итерация по массиву была бы очень странной и, казалось бы, противоречила очевидной реализации здравого смысла.