Estructuras de control de flujo
Los programas usan sentencias de control de flujo para ejecutar sentencias condicionalmente, repetir sentencias o saltar a otra parte del programa.
¿Qué es una estructura de control de flujo?
Cuando se escribe un programa, se están escribiendo sentencias (¡Para recordar! que son instrucciones o declaraciones) en un archivo. Sin estructuras de control de flujo, el programa se ejecuta en el orden en que aparecen escritas las sentencias en el programa, de izquierda a derecha y de arriba a abajo.
Para alterar este comportamiento de manera condicional (esto es a partir de validar o no una condición específica) se deben incluir estructuras de control de flujo.
Estas estructuras permiten que el flujo del programa ejecute o no ejecute determinadas sentencias, o que ejecute repetidamente una o más sentencias agrupadas en un bloque, o que pueda cambiar su secuencia normal saltando a otra parte del programa de manera no secuencial, es decir, saltando a otra sentencia en otra ubicación no consecutiva a la sentencia que se encuentra en ejecución.
Por ejemplo, en el siguiente fragmento de código, la instrucción si ejecuta condicionalmente la salida por pantalla de un mensaje según el resultado que devuelva la expresión que evalúa si el dato almacenado en una variable se encuentra en mayúsculas:
char letra # Variable que almacena un carácter
⋮
letra = ingresar una letra por teclado: # Se solicita al usuario que ingrese una letra
si la letra está en mayusculas entonces
imprimir "la letra " + letra + " está en mayúsculas."
fin si
⋮
Estructuras de control de flujo
¡Hablemos con propiedad!
Si bien hablamos de sentencias de control de flujo, lo correcto es llamarlas estructuras de control de flujo puesto que si bien son sentencias, en realidad, estas sentencias se encuentran estructuradas, agrupadas, con cierta coherencia para que se comporten de determinada manera a lo largo de la ejecución del programa.
Definición
Las estructuras de control de flujo modifican la ejecución secuencial de las sentencias que forman un programa.