Réponse.

L'opérateur de saut goto est l'un des sujets les plus débattus dans la programmation en C.

Contexte

L'opérateur goto est apparu dans les premiers langages de programmation pour simplifier l'écriture de branches et de boucles, lorsque d'autres mécanismes n'existaient pas encore. En C, il a été conservé pour la compatibilité et pour certains cas relativement rares où les constructions normales ne conviennent pas.

Problème

Le goto simplifie la mise en œuvre de certains algorithmes bas niveau (par exemple, le traitement complexe des erreurs), mais il transforme très facilement le code en « spaghetti » avec un flux de contrôle confus. Une mauvaise utilisation complique le test, la compréhension et la maintenance du code.

Solution

L'utilisation de goto est acceptable pour contrôler la sortie de boucles imbriquées ou pour le nettoyage centralisé des ressources — par exemple, en cas d'erreurs dans une fonction où plusieurs ressources doivent être libérées séquentiellement, allouées à différentes étapes.

Exemple de code :

#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;
}

Caractéristiques clés :

• Permet de gérer de manière centralisée les erreurs et la libération des ressources
• Peut facilement transformer le code en un code confus et difficile à maintenir
• Standardisé et compatible avec C dans toutes les implémentations, mais à éviter s'il existe des alternatives

Questions pièges.

Le goto peut-il sauter à une autre fonction ou sortir d'une fonction ?

Non, l'opérateur goto ne peut sauter que dans la même fonction — vers une étiquette dans cette même fonction. Essayer de sauter entre des fonctions entraînerait une erreur de compilation.

Peut-on utiliser goto pour entrer dans un bloc de déclaration de variables ?

Strictement interdit ! L'entrée par goto dans un bloc où des variables sont déclarées avec une initialisation automatique conduit à un comportement indéfini.

Exemple de code :

void bad() {
    goto label;
    int x = 5;
label:
    printf("%d\n", x); // comportement indéfini
}

Les opérateurs continue et break sont-ils des goto ?

Non. Les opérateurs break et continue sont spécialisés pour contrôler les boucles et ne ressemblent à goto que superficiellement en raison de l'idée de saut, mais ils ne fonctionnent, au niveau du langage, qu'avec les boucles externes les plus proches, tandis que goto fonctionne avec une étiquette déclarée dans la fonction.

Erreurs typiques et anti-patterns

Avantages: Permet de traiter les erreurs et de libérer les ressources de manière compactée; parfois simplifie la sortie des structures imbriquées.

Inconvénients: Crée facilement un "spaghetti code"; complique la maintenance; enfreint la programmation structurée.

Exemple de la vie réelle

Cas négatif : Dans un projet, il y a presque 50 sauts par goto, certains remontant presque) dans le texte. En conséquence, il est extrêmement difficile de comprendre la logique, d'accroître le nombre d'erreurs, de s'embrouiller et d'avoir un coût de maintenance élevé. Avantages : rapide à écrire, inconvénients : presque impossible à comprendre et à modifier.

Cas positif : Dans une fonction d'initialisation d'un grand objet, goto est utilisé uniquement pour le nettoyage centralisé des ressources en cas d'erreur. Le code est concis, facile à maintenir et à étendre avec de nouvelles ressources. Avantages : lisibilité, prévention des fuites de mémoire; inconvénients : certains considèrent le goto comme un anti-pattern — il nécessite prudence dans son utilisation.