Respuesta.

El operador de salto goto es uno de los temas más discutidos en la programación en C.

Historia

El operador goto apareció en los primeros lenguajes de programación para simplificar la escritura de ramificaciones y ciclos, cuando no había otros mecanismos disponibles. En C se mantuvo por compatibilidad y en casos relativamente raros donde las construcciones normales no son adecuadas.

Problema

goto simplifica la implementación de algunos algoritmos de bajo nivel (por ejemplo, el manejo complejo de errores), pero puede fácilmente convertir el código en «espagueti» con un flujo de control confuso. El uso incorrecto complica las pruebas, la comprensión y el mantenimiento del código.

Solución

El uso de goto es aceptable para controlar la salida de ciclos anidados o para la limpieza centralizada de recursos, por ejemplo, en caso de errores en una función, donde hay que liberar secuencialmente varios recursos asignados en diferentes etapas.

Ejemplo de código:

#include <stdio.h>
#include <stdlib.h>

int process() {
    int *a = malloc(10 * sizeof(int));
    if (!a) return -1;
    int *b = malloc(20 * sizeof(int));
    if (!b) goto cleanup_a;
    // ...
    free(b);
cleanup_a:
    free(a);
    return 0;
}

Características clave:

• Permite manejar errores y liberaciones de recursos de manera centralizada
• Fácilmente convierte el código en algo confuso y de difícil mantenimiento
• Estandarizado y compatible con C en todas las implementaciones, pero se evita cuando hay alternativas

Preguntas trampa.

¿Puede goto saltar a otra función o salir de una función?

No, el operador goto solo puede saltar dentro de una misma función — a una etiqueta dentro de esa función. Intentar saltar entre funciones resultará en un error de compilación.

¿Se puede usar goto para entrar en un bloque de declaración de variables?

¡Está estrictamente prohibido! Entrar mediante goto en un bloque donde se declaran variables con inicialización automática conduce a un comportamiento indefinido.

Ejemplo de código:

void bad() {
    goto label;
    int x = 5;
label:
    printf("%d\n", x); // comportamiento indefinido
}

¿Los operadores continue y break son goto?

No. Los operadores break y continue están especializados para controlar ciclos y solo externamente se asemejan a goto en la idea de transición, pero en el nivel del lenguaje solo funcionan con los ciclos externos más cercanos, mientras que goto funciona con una etiqueta declarada en la función.

Errores comunes y anti-patrones

Pros: Permite manejar errores y liberar recursos de manera compacta; a veces facilita la salida de estructuras anidadas

Contras: Fácilmente crea "código espagueti"; complica el mantenimiento; viola la programación estructurada

Ejemplo de la vida real

Caso negativo: En el proyecto hay casi 50 saltos mediante goto, algunos de ellos hacia arriba en el texto. Como resultado, es extremadamente difícil entender la lógica, aumento de errores, confusión y alto costo de mantenimiento. Pros: rápido de escribir, contras: casi imposible de entender y modificar.

Caso positivo: En la función de inicialización de un gran objeto se utilizan goto únicamente para la liberación centralizada de recursos en caso de error. El código es conciso, fácil de mantener y agregar nuevos recursos. Pros: legibilidad, prevención de fugas de memoria; contras: algunos consideran que goto es un anti-patrón — requiere un uso cuidadoso.