¿Se define con precisión el orden de iteración de Java foreach sobre primitivas?

Código de ejemplo: 

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

Es el bucle garantizado para iterar a través a[0], a[1], a[2], a[3] ¿en ese orden? Creo firmemente que la respuesta es sí, pero esta página no parece establecer un orden inequívoco.

¿Tienes una referencia sólida?

Author: Paul Bellora, 2009-03-19
Source

4 answers

De acuerdo con el JLS, La instrucción mejorada for , su bucle for es equivalente a

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

"donde array y index son identificadores generados por el compilador que son distintos de cualquier otro identificador (generado por el compilador o de otro modo) que están en el ámbito en el punto donde se produce la instrucción mejorada for."(parafraseando ligeramente los nombres de las variables aquí).

Así que sí: el pedido está absolutamente garantizado.

 46
Author: Joachim Sauer,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2009-03-18 21:42:11

Ver sección 14.14.2 de la Especificación del Lenguaje Java, 3a edición.

Si el tipo de expresión es un subtipo de Iterable, a continuación, dejar que yo sea el tipo de la expresión Expresión.iterator(). La instrucción enhanced for es equivalente a un básico para la declaración de la forma:

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

Donde #i es un compilador generado identificador que es distinto de cualquier otros identificadores (generados por el compilador o de otra manera) que están en el alcance (§6.3) en el punto donde el mejorado para la declaración ocurre.

 7
Author: vladr,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2009-03-18 21:14:23

Establece en el JLS que:

for ( VariableModifiersopt Type Identifier: Expression) Statement

Es equivalente a 

T[] a = Expression;
L1: L2: ... Lm:
for (int i = 0; i < a.length; i++) {
        VariableModifiersopt Type Identifier = a[i];
        Statement
}
 5
Author: Peter Lawrey,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2013-11-13 19:22:33

No encontré nada en la página a la que has hecho referencia que implicara iteración fuera de orden. ¿Puedes publicar la cita específica?

En cualquier caso, me parece que este código:

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

Descompila a looping de estilo antiguo: 

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

Por supuesto, eso no es lo mismo que una garantía, pero al menos la iteración fuera de orden sobre una matriz sería muy extraña y parecería ir en contra de la implementación obvia de sentido común.

 1
Author: Steve B.,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2009-03-18 21:12:25