La sentencia switch es una estructura de control de flujo que permite ejecutar diferentes bloques de código basándose en el valor de una expresión. A diferencia de una cadena de if/else que evalúa condiciones una por una, el switch está diseñado para comparar una única variable contra múltiples valores constantes de forma más directa.
Para que esto funcione, la expresión dentro del switch debe resultar en un tipo entero (como int, char o un enum [disponible desde C89]). El compilador toma este valor y busca una etiqueta case que coincida. Si no encuentra ninguna, el flujo salta al bloque default, que es opcional pero fundamental para manejar cualquier valor inesperado que no hayamos previsto.
Este mecanismo es especialmente útil cuando necesitas comparar una única variable contra varios valores constantes (como los estados de un proceso o las opciones de un menú). Sin embargo, si intentas usar una expresión que no sea un entero, como una cadena de texto o un número de punto flotante, el compilador lanzará un error de sintaxis.
El detalle más crítico para un programador es el concepto de “fallthrough” o caída. Si un bloque case no termina con la palabra clave break, el programa no salta fuera del switch, sino que continúa ejecutando el código del siguiente case sin volver a evaluar la condición. Esto es un error muy común si se olvida el break, pero es una técnica válida si se hace de forma deliberada para agrupar comportamientos, siempre que se documente claramente para que otros desarrolladores (y el compilador) sepan que no es un error.
#include <stdio.h>
// Un enum define un conjunto de constantes enteras con nombre.
typedef enum {
ESTADO_INICIO,
ESTADO_PROCESANDO,
ESTADO_FINALIZADO,
ESTADO_ERROR
} estado_t;
void ejecutar_logica(estado_t estado) {
printf("Estado actual: ");
switch (estado) {
case ESTADO_INICIO:
printf("Iniciando sistema...\n");
/*
* Fallthrough deliberado: queremos que el inicio
* también ejecute la lógica de procesamiento.
* En C23 se usaría el atributo [[fallthrough]];
*/
case ESTADO_PROCESANDO:
printf("Ejecutando tareas...\n");
break; // El break detiene el flujo y sale del switch.
case ESTADO_FINALIZADO:
printf("Limpiando recursos...\n");
break;
case ESTADO_ERROR:
printf("¡Error crítico detectado!\n");
break;
default:
// El default atrapa cualquier valor que no coincida con los casos anteriores.
printf("Estado desconocido.\n");
break;
}
}
int main(void) {
// Probamos el flujo normal
ejecutar_logica(ESTADO_INICIO);
ejecutar_logica(ESTADO_PROCESANDO);
ejecutar_logica(ESTADO_FINALIZADO);
ejecutar_logica(ESTADO_ERROR);
// Probamos un valor que no existe en nuestro enum
ejecutar_logica((estado_t)99);
return 0;
}
Análisis del código
En la función ejecutar_logica, el switch evalúa la variable estado.
Cuando llamamos a ejecutar_logica(ESTADO_INICIO), el programa entra en case ESTADO_INICIO. Como no hay una instrucción break inmediatamente después del printf, ocurre el “fallthrough”: el flujo de ejecución cae directamente al bloque de case ESTADO_PROCESANDO. Por eso, verás en la consola tanto el mensaje de inicio como el de ejecución de tareas.
Para el caso ESTADO_PROCESANDO, la instrucción break es crucial; su función es interrumpir el flujo de ejecución y saltar directamente a la llave de cierre del switch, evitando que el programa ejecute el código de los siguientes casos.
El bloque default actúa como una red de seguridad. En main, al pasar un valor arbitrario (99), el switch no encuentra una coincidencia en los case definidos y salta directamente al default, garantizando que el programa siempre tenga un comportamiento definido ante datos inesperados.
El error frecuente
El error más común es el “fallthrough accidental”. Ocurre cuando un programador olvida incluir un break al final de un bloque case, provocando que se ejecute código de un caso que no correspondía a la variable original.
int nivel = 1;
switch (nivel) {
case 1:
printf("Nivel 1\n");
// ERROR: Falta el break.
case 2:
printf("Nivel 2\n");
break;
}
Si nivel es 1, la consola imprimirá “Nivel 1” y “Nivel 2”, lo cual suele ser un bug lógico difícil de rastrear. Para detectar esto, es recomendable compilar con la bandera -Wimplicit-fallthrough en GCC o Clang, o utilizar herramientas de análisis dinámico como Valgrind.
Un switch bien estructurado con break y un default robusto es significativamente más eficiente que una cadena de if/else if cuando se trabaja con múltiples valores enteros.
N° 32