Algoritmos y Programación en Pascal

6.3. Instrucciones de iteración 99
termina cuando la condición se hace verdadera, en cuyo caso se pasa a la siguiente
instrucción externa al bucle.
Como ejemplo de utilización del bucle repeat, se incluye otra versión de la
suma de los n primeros números naturales.
ReadLn(n); {Supuesto que n >= 1}
suma:= 0;
contador:= 0;
repeat
contador:= contador + 1;
suma:= suma + contador
until contador = n
Obsérvese que la condición n >= 1 es imprescindible para que el resultado
final sea el esperado. En general, siempre es conveniente comprobar el comportamiento
del bucle en valores extremos; en este ejemplo, para n = 0 se generaría
un bucle infinito, lo cual se evitaría sustituyendo la condición contador = n por
contador >= n. En este caso, dada la característica de postprobado del bucle
repeat, las instrucciones interiores se ejecutarán al menos una vez, por lo que
la suma valdrá al menos 1 y el resultado arrojado sería incorrecto para n 0
donde si alguno de los datos introducidos no es positivo entonces la condición
resultará ser falsa, con lo cual se repite la petición de los datos.
Podemos mejorar el ejemplo de aplicación a la gestión de una biblioteca
mostrado en el apartado 6.2.2 usando la instrucción repeat para controlar el
momento en el que se desea terminar la ejecución.
Mostrar el menú
{Elegir una acción según la opción elegida:}
WriteLn(’Elija su opción: ’);
ReadLn(opcion);
repeat
case opcion of
B: Búsqueda.
P: Petición Préstamo.
D: Devolución Préstamo.