¿Qué es la variable de bucle después de un bucle for en Delphi?

Question

En Delphi, considere

var 
    i: integer; 

begin 

    for i := 0 to N do 
    begin 
    { Code } 
    end; 

Uno podría pensar que i = N después del bucle for, pero sí la garantía compilador de Delphi esto? ¿Se puede suponer que la variable de bucle es igual a su último valor dentro del bucle, después de un bucle Delphi if?

actualización

Después de probar unos bucles simples, sospecho que i es en realidad igual a uno más el último valor de i dentro del bucle después del bucle ... ¿Pero se puede confiar en esta ?

Answer 1

No, Delphi no garantiza ningún valor. Fuera del ciclo, la variable no está definida, y IIRC, la Guía de idiomas lo establece explícitamente, eso significa que las nuevas implementaciones del compilador son libres de cambiar cualquier valor que la variable pueda tener fuera del ciclo debido a la implementación real.

Answer 2

Yo sugeriría que el uso de un bucle while es más clara si necesita utilizar el índice de bucle después del bucle:

i := 0; 
while i <= N 
begin 
    { Code } 
    i := i + 1; 
end; 

Después termina ese bucle, que sabe que i habrá N + 1 (o mayor , si N podría haber sido menor que cero).

Answer 3

El compilador realmente emite una advertencia si usa la variable de bucle después del bucle, por lo que debería considerarlo indefinido.

Answer 4

Es incluso documented que la variable de bucle de un for bucle no está definida fuera del bucle.

En la práctica: Lo que obtienes de la variable varía según la configuración del compilador y la complejidad del código. He visto cambios en el código que empujan al compilador hacia una ruta de optimización diferente y, por lo tanto, modifican el valor de esta variable indefinida.

--jeroen

Answer 5

Como muchas personas afirmaron, se supone que la variable que no está definido después del bucle. En el uso del mundo real, se definirá con el último valor que tenía antes de "romper", o con N + 1 si el ciclo se ejecuta a término. Sin embargo, no se puede confiar en ese comportamiento, ya que está claramente especificado que no debe funcionar.

Además, a veces, I ni siquiera serán asignados. Encontré este comportamiento principalmente con la optimización activada.

Para código como este

I := 1234; 
For I := 0 to List.Count - 1 do 
begin 
    //some code 
end; 
//Here, I = 1234 if List.Count = 0 

Entonces ... Si quieres saber el valor de I después del bucle, es mejor práctica para asignarlo a otra variable antes de salir del bucle.

Answer 6

NUNCA SIEMPRE confíe en el valor de la variable para, después del ciclo.

Compruebe la salida de su compilador. El compilador Delphi te advierte sobre eso. Confía en tu compilador.

1. NUNCA oculte los consejos y advertencias de su compilador con {$ Warnings off}!
2. ¡Aprenda a tratar la información como advertencias y advertencias como errores!
3. Optimice su código hasta que tenga CERO sugerencias y advertencias (sin violar la regla 1).