El ciclo for es una estructura de control de flujo repetitiva, que se caracteriza por ser un ciclo controlado por contador. Los ciclos for (o ciclos para) son estructuras de control cíclicas que nos permiten ejecutar una o varias líneas de código de forma iterativa (o repetitiva), pero teniendo cierto control y conocimiento sobre las iteraciones. Este ciclo es muy sencillo, ya que se conoce con exactitud cuántas veces se va a llevar a cabo la misma tarea. En este artículo explicaremos su funcionamiento, los elementos que lo componen y los errores comunes en su uso.
En español, la palabra for suele ser traducida como “para“, pero considero que, por su funcionamiento, y para usarlo dentro de un seudocódigo, la traducción más adecuada es “desde“. Y esto debido a que precisamente el comportamiento del ciclo se puede describir así: repetir n acciones desde que la variable de control tome el valor inicial hasta el valor final. El ciclo for está disponible en casi todos los lenguajes de programación imperativa, pero con diferencias sustanciales en su sintaxis.
Historia y Evolución del Ciclo For
El ciclo for tradicional, cuya sintaxis se puede observar en lenguajes de programación como Pascal, ALGOL, BASIC, Modula y Ada, entre otros, se considera la esencia del ciclo for. Dado que uno de los primeros lenguajes de programación en incluir la estructura cíclica for fue ALGOL, su sintaxis tradicional se limita a indicar únicamente los valores de inicio y de fin de la variable de control, y simplemente especificar si la variable se incrementará o decrementará.
La sintaxis de la estructura cíclica for en lenguajes como Java o C++ no obedece a la sintaxis tradicional. De hecho, utiliza la sintaxis del lenguaje C, teniendo un encabezado más complejo, pero que también ofrece más posibilidades que el tradicional.
Componentes del Ciclo For
Como todo ciclo, esta estructura de control cuenta con dos componentes principales: el encabezado y el cuerpo del ciclo. El encabezado de un ciclo for, especialmente en lenguajes como Java o C++, presenta una composición interesante que se divide en tres partes:
Lea también: El ciclo contable: una visión general
- Inicialización: En esta sección, se le debe asignar a la variable de control el valor inicial. También puede declararse la variable de control aquí mismo. La sintaxis es simple; por ejemplo, tenemos una variable de control llamada i que es de tipo entero (int). La variable se puede llamar como nosotros lo deseemos y puede ser del tipo que queramos, sin embargo, en la mayoría de los casos se usa la "i" como nombre y el entero como tipo, pero somos libres de modificar esto a nuestro gusto. Esta variable se le asigna un valor inicial que puede ser cualquier número correspondiente al tipo de dato asignado.
- Condición: En esta parte, se establece el valor final de la variable de control, es decir, hasta dónde llegará el ciclo. Cada uno de estos componentes es separado por un punto y coma ";". Es importante saber que la condición final puede ser cualquier cosa (mayor, menor, mayor o igual, menor o igual).
- Incremento/Decremento: En la última parte se establece la forma en la que la variable de control cambiará su valor dentro del ciclo. Esto puede hacerse incrementando o decrementando el valor inicial. La forma en cómo se mueve la variable de control determina también el operador relacional usado en la condición final.
Posteriormente a la declaración del encabezado, en la siguiente línea se encuentra una llave abriendo "{" lo cual indica que allí comienza el bloque de instrucciones que se ejecutarán cada vez que el ciclo dé un "giro".
Declaración de Variables en el Encabezado del Ciclo For
Uno de los aspectos más importantes y útiles del ciclo for moderno es la posibilidad de declarar la variable de control directamente dentro de su encabezado. Esta característica tiene implicaciones significativas en el ámbito y la gestión de la memoria:
- Ámbito Local: Debido a que en muchas ocasiones la variable de control sólo se utiliza para llevar la cuenta de las repeticiones que se deben realizar, puede ser descartable después de que el ciclo termina. Si se declara como variable local o global, estaría ocupando espacio de memoria, aun cuando ya no se utilice. Este problema se resuelve si la variable de control se declara dentro del encabezado del ciclo. De este modo, sólo existirá mientras la condición del ciclo sea verdadera. Cuando ésta se vuelva falsa, la variable de control dejará de existir.
- Error de Sintaxis al Intentar Usar Fuera del Ciclo: Es crucial recordar que cualquier intento de utilizar la variable declarada en el encabezado fuera del cuerpo del ciclo te generará un error de sintaxis, pues la variable es desconocida fuera del for (porque de hecho no está declarada en ese ámbito exterior). El estándar de C++ indica que una variable declarada en un for bucle quedará fuera del ámbito después de que finalice el for bucle. Este comportamiento imita más estrechamente el comportamiento estándar de una variable declarada en un for bucle, que requiere que las variables declaradas en un for bucle salgan del ámbito después de que se realice el bucle. Cuando una variable se declara en un for bucle, el compilador lo promueve internamente a una variable local en el ámbito envolvente del bucle.
Funcionamiento del Ciclo For
El ciclo for funciona de la siguiente forma:
- El encabezado del ciclo configura el valor inicial de la variable de control y compara este valor para saber si la condición de fin es verdadera.
- Si la condición de fin es verdadera, permite el ingreso al cuerpo del ciclo, y por lo tanto se ejecutarán las acciones que se encuentran dentro de éste.
- Una vez que se han ejecutado las acciones del cuerpo del ciclo, la variable de control se incrementa o decrementa automáticamente según lo establecido en el encabezado del ciclo.
- Se evalúa si el nuevo valor de la variable de control aún sigue haciendo verdadera la condición de fin.
- Si la condición de fin aún es verdadera, se vuelve a ejecutar las acciones del cuerpo del ciclo.
- Si la condición de fin es falsa, ya no se puede entrar al cuerpo del ciclo y éste termina, de forma que el flujo de ejecución del programa continúa con las acciones que se encuentren fuera del cuerpo del ciclo, si es que existen.
Para comprender mejor, supongamos que queremos mostrar los números pares entre el 500 y el 1000. Tenemos un valor inicial que sería el 500, un valor final (1000) y un tamaño de paso que es 2 (los números pares). Con esta información inmediatamente podemos determinar que por medio de un ciclo debemos mostrar una serie de números como la siguiente: 500, 502, 504, 506, ..., 1000.
Reglas y Observaciones Cruciales
La siguiente lista es una serie de observaciones que te ayudarán a utilizar de la forma adecuada la estructura for:
Lea también: Empresa Comercial: Ciclo Contable
- Tipos de Datos de la Variable de Control: La variable de control puede ser de cualquier tipo de dato numérico. Aunque el ciclo for tradicional sólo era capaz de utilizar contadores enteros (y Pascal también soportaba char), el ciclo for moderno, heredado de C, admite cualquier tipo de dato numérico como float y double, además de int.
- Incrementos o Decrementos Diferentes de 1: A la variable de control se le puede asignar incrementos o decrementos diferentes de 1. Típicamente, en el encabezado del ciclo for, para cambiar el valor de la variable de control, se utilizan los operadores de incremento ++ y decremento --. Esto puede llevar a pensar -erróneamente- que los incrementos/decrementos sólo deberán ser enteros, pero no es así. Sólo recuerda que, en caso de no querer usar los operadores mencionados, debes utilizar los operadores abreviados de asignación: +=, -=, *= o /=. El uso del operador de asignación simple (=) rompe la estructura del encabezado y genera un error de sintaxis.
- Límites del Ciclo: Los límites superior e inferior pueden ser una constante numérica o simbólica, o una variable. Puedes utilizar un valor numérico, como 10, 20 o 100, para definir cualquiera de los dos límites del ciclo. A los valores numéricos los llamamos constantes numéricas. O puedes utilizar constantes simbólicas, letras que representan un valor numérico que no puede cambiarse durante la ejecución del programa. También es posible utilizar el valor actual de una variable para inicializar o definir el límite del contador.
- No Modificar la Variable de Control Dentro del Cuerpo: La variable de control no debe modificarse dentro del cuerpo del ciclo, pues esto ocasionaría una alteración en el número de iteraciones. Dado que el encabezado del ciclo ya tiene incluida la modificación de la variable de control (a diferencia del ciclo while), no debemos modificarla dentro del cuerpo del ciclo. Esto causaría una alteración del número de repeticiones que se desean, y puede pasar que el ciclo se repita menos veces de las que se necesita, o incluso, que entre en condición de ciclo infinito.
- No Terminar el Encabezado con Punto y Coma: Al igual que con el ciclo while, terminar el encabezado del ciclo for con ; impedirá que entre al cuerpo del ciclo. Como ya se ha comentado, el ; se utiliza para indicar que la instrucción ha terminado. Sin embargo, a diferencia del while, este error no genera un ciclo infinito, sino tan sólo un ciclo que no hace nada. Como puedes apreciar, lo peor que puede suceder es que no se ejecuten las acciones del cuerpo del ciclo las veces requeridas. Pero a veces este problema puede generar errores de lógica más complicados de resolver.
Ejemplos y Aplicaciones Adicionales
Para este ejemplo haremos algo un poco más complejo. El ejemplo consiste en contar al interior de un ciclo for, cuántos números entre el 0 y el 10.000 son múltiplos del 20. Para este caso el valor inicial será 0 y el valor final será 10000. Adicional, el tamaño de paso será de 1 (este es el caso más común). El operador de módulo (%) obtiene el residuo de una división, por tanto cuando el residuo es cero implica que la división es exacta y el dividendo es un múltiplo del divisor.
En efecto los ciclos for, son bastante útiles, sin embargo, desde el punto de vista de la eficiencia, es recomendable evitarlos en la medida de lo posible. Siempre que vayas a usar un ciclo for, deberías preguntarte primero si es totalmente necesario o si existe una manera más efectiva de hacerlo. Evidentemente habrá situaciones en las que será casi que imprescindible usar el ciclo for, pues por algo existen.
Así como las sentencias if/else y while se pueden anidar, lo mismo ocurre con las sentencias for. El ciclo for anidado permite ejecutar un bucle dentro de otro. Por ejemplo, un bucle principal (con una variable i) puede ejecutar un ciclo y en cada iteración añadir un salto de línea, mientras que dentro de cada ciclo de i, se ejecuta un ciclo for (con una variable j) el cual escribe una serie de caracteres, tomando como base el valor actual de i.
Lea también: Transacciones y Contabilidad