Algoritmos y Programación en Pascal

6.3. Instrucciones de iteración 101
for
Identif.
:= Expresi—n Expresi—n
to
downto
Figura 6.6. Diagrama de flujo de las instrucciones for.
do
Instrucci—n
el cual se especifica una tarea repetitiva (la inspección) que ha de realizarse
exactamente en 11 ocasiones (para los bloques A,. . . , K ).
La sentencia for admite dos variantes: la for-to-do (instrucción for ascendente)
y la for-downto-do (instrucción for descendente). El diagrama sintáctico
de estas sentencias aparece en la figura 6.6. De otro modo:
for variable:= expresi«on ordinal (to|downto) expresi«on ordinal do instrucci«on
donde se acostumbra a llamar variable de control o índice del bucle a la variable
variable.
El funcionamiento del bucle for es el siguiente: primero se comprueba si el
índice rebasa el límite final, con lo que es posible que el cuerpo del bucle no
llegue a ejecutarse ninguna vez, en caso positivo se le asigna el valor inicial a la
variable de controlvble, se ejecuta la instrucción interior una vez y se incrementa
(o decrementa, según se trate de to o downto respectivamente) una unidad el
valor devble, si este nuevo valor está comprendido entre el valor inicial y el valor
final, entonces se vuelve a ejecutar la instrucción interior, y así sucesivamente
hasta que vble alcanza el valor final.
En particular, si en una instrucción for-to-do el valor inicial de la variable
es posterior al valor final entonces no se ejecutan las instrucciones interiores y se
sale del bucle. La instrucción for-downto-do tiene un comportamiento análogo
cuando el valor inicial de la variable es anterior al valor final.
❡❡
En teoría, nada impide que en el cuerpo de un bucle for se modifique
el valor de la variable de control o las expresiones inicial y final del bucle;
sin embargo, debe ponerse el mayor cuidado en evitar que esto ocurra.
En particular, conviene recordar que la variable de control se actualiza
automáticamente. El siguiente fragmento de código es un ejemplo
sintácticamente correcto
for i:= 1 to 5 do begin
Write(i);
i:= i - 1
end {for}