El uso maestro de for: las tres formas de iteración en Go

En Go, no encontrarás las palabras clave while ni do-while. En su lugar, el lenguaje utiliza exclusivamente for para gestionar cualquier tipo de iteración. Esta decisión de diseño no es una omisión, sino una aplicación de la filosofía de simplicidad de Go: tener una sola forma de hacer las cosas reduce la carga cognitiva y mantiene el lenguaje limpio.

Básicamente, for es un bloque altamente versátil que puede comportarse de tres maneras distintas según cómo se le pase la sintaxis. Es la herramienta que usarás siempre que necesites repetir una acción, ya sea con un contador, basándote en una condición lógica o de forma indefinida. Si aplicas mal la lógica de salida en un bucle infinito, podrías causar un bloqueo (deadlock) o un consumo descontrolado de CPU, por lo que entender cómo romper el ciclo es crítico.

package main

import (
	"fmt"
)

func main() {
	// 1. Estilo C: Con inicialización, condición y post-incremento.
	// Se usa para iteraciones basadas en contadores.
	fmt.Println("--- Procesando lote de IDs ---")
	for i := 1; i <= 3; i++ {
		fmt.Printf("ID de proceso: %d\n", i)
	}

	// 2. Estilo 'while': Solo con una condición lógica.
	// Se usa cuando la iteración depende de un estado externo o variable.
	fmt.Println("\n--- Esperando conexión a base de datos ---")
	conectado := false
	intentos := 0
	for !conectado { // Esto funciona exactamente como un 'while !conectado'
		intentos++
		fmt.Printf("Intentando conexión (intento %d)...\n", intentos)
		if intentos >= 3 {
			conectado = true
		}
	}

	// 3. Bucle infinito con Labels (etiquetas).
	// Usamos un bucle infinito para el monitor y un break con label 
	// para salir de los bucles anidados cuando ocurre algo crítico.
	fmt.Println("\n--- Monitor de sensores (Simulación) ---")
	
	SensorMonitor: // Definición de la etiqueta (label)
	for { // Bucle infinito (equivalente a 'while(true)')
		for sensorID := 1; sensorID <= 5; sensorID++ {
			fmt.Printf("  Leído sensor %d\n", sensorID)

			// Simulamos una lectura crítica que requiere detener todo el sistema
			if sensorID == 4 {
				fmt.Println("  [CRITICAL] Falla detectada en sensor 4. Abortando monitor.")
				break SensorMonitor // Rompe el bucle externo, no solo el interno
			}
		}
		// Este punto solo se alcanza si el bucle interno termina normalmente
		fmt.Println("  Ciclo de escaneo completado.")
	}

	fmt.Println("\nMonitor detenido por seguridad.")
}

En el código anterior, hemos cubierto los tres patrones fundamentales. El primer bloque utiliza la sintaxis clásica de for i := 1; i <= 3; i++ para controlar un contador; aquí, el compilador inicializa i, evalúa si i <= 3 antes de cada iteración y ejecuta el incremento i++ al final de cada ciclo.

En la sección de “espera de conexión”, aplicamos el estilo while. Al no incluir la sección de post-incremento ni inicialización en la línea del for, el bucle simplemente evalúa si la variable conectado es falsa. El flujo de control depende enteramente de que la condición cambie dentro del cuerpo del bucle.

Finalmente, para el monitor de sensores, implementamos un bucle infinito mediante for { ... }. Para gestionar la complejidad de tener un bucle dentro de otro, utilizamos un label llamado SensorMonitor. Fíjate que cuando el sensorID llega a 4, ejecutamos break SensorMonitor. Sin esa etiqueta, el break solo saldría del bucle interno (el de los sensores), dejando el bucle principal infinito y procesando el sensor 5 sin control. El label permite que el break salte directamente al final del scope marcado, permitiendo una salida limpia de estructuras anidadas.

Aunque Go tiene la palabra clave goto, su uso es extremadamente raro y se reserva casi exclusivamente para casos muy específicos en optimización de parsers o máquinas de estado complejas, donde saltar a una posición específica de una etiqueta sea más eficiente que anidar múltiples condicionales.

El error frecuente

Un error común al trabajar con bucles anidados es olvidar el uso de etiquetas cuando se desea romper el bucle exterior.

// ERROR: El break no detiene el bucle externo
for i := 0; i < 3; i++ {
    for j := 0; j < 3; j++ {
        if i == 1 && j == 1 {
            break // Solo sale del bucle 'j', el bucle 'i' continúa.
        }
        fmt.Printf("%d,%d ", i, j)
    }
}
// Resultado: 0,0 0,1 0,2 1,0 1,2 2,0 2,1 2,2 
// (El elemento 1,1 se saltó, pero el ciclo externo siguió)

Si tu intención es detener todo el proceso de procesamiento al detectar una condición de error en un nivel profundo, debes definir un label antes del bucle principal y usar break LabelNombre.

N° 35