Sentencias de Iteración While & Do-While & For

En C y en todos los lenguajes de programación modernos, las sentencias de iteración (también denominadas bucles) permiten que un conjunto de instrucciones sea ejecutado hasta que se alcance una cierta condición. Esta condición pude estar predefinida (como en el bucle for) o no haber final determinado (while y do-while). 

En C, un ciclo es la ejecución repetida de una o varias instrucciones y estas estructuras permiten la repetición de una o varias sentencias hasta que se cumpla cierta condición.. 

El bucle While

La forma general del bucle while es la siguiente: 

while (condición) sentencia: 

donde sentencia es una sentencia vacia, simple o un bloque de sentencias que se repiten. La condición puede ser cualquier expresión y cualquier valor distinto de cero es cierto. El bucle itera mientras la condición sea cierta. Cuando la condición se hace falsa, el control del programa pasa a la linea siguiente, al código del bucle. 

El bucle while comprueba la condición al principio, lo que supone que el código del bucle no se ejecute. 

El bucle Do-While

A diferencia del bucle while, que analiza la condición del bucle al principio del mismo, el bucle do-while analiza la condición al final del bucle. Esto significa que el bucle do-while siempre se ejecuta al menos una vez. La forma general del bucle do-while es la siguiente: 

do 

{ 

sentencia

}

while (condición); 

Aunque las llaves no son necesarias cuando sólo hay una sentencia, se utilizan normalmente para evitar confusiones (al lector, no al compilador) con el while. El bucle do-while itera hasta que la condición se hace falsa. 

Quizá el uso mas común del bucle do-while es en rutinas de selección por menú. Cuando el usuario introduce una respuesta valida, la devuelve como el valor de la función, una respuesta no válida hace que se muestre de nuevo el menú. 

Para este tipo de programas, el bucle do-while es una buena opción, ya que una función de menú se debe ejecutar siempre al menos una vez. Después de mostrar las opciones, el programa itera hasta que se selecciona una opción válida 

El bucle For

El formato general del bucle for proporciona una potencia y flexibilidad sorprendentes. Su estructura general para la sentencia for es: 

    

      for (inicialización; condición; incremento) sentencia; 

El bucle for permite muchas variantes, sin embargo, la inicialización normalmente es una sentencia de asignación que se utiliza para iniciar la variable de control del bucle. El incremento define cómo cambia la variable de control cada vez que se repite el bucle. Estas tres condiciones principales deben estar separadas por un punto y coma. El bucle for continúa ejecutándose mientras la condición sea cierta. Una vez que la condición se hace falsa, la ejecución del programa sigue por la sentencia siguiente al for. 

En los bucles for la prueba de la condición se hace siempre al principio del bucle. Esto supone que el código dentro del bucle puede o no ejecutarse si la condición es falsa al inicio