Pourquoi "goto" est déconseillé ?

Messieurs, Dames Bonjour !
Il y a 4 ans un de mes profs me disait en TD de ne jamais utiliser l'instruction goto dans mes codes quelque soit le langage de prog que j'utiliserai.
Seulement, voilà, comme je n'écoutais jamais ce gars, je ne me souviens plus pourquoi il donnait ce conseil.

Dernièrement, en l'espace de 6 mois j'ai lu dans trois boucains de programmation différents cette même interdiction.

Alors quelqu'un pourrait-il me dire pourquoi goto est interdit par certains informaticiens alors qu'il existe bien dans pas mal de langages de programmation.
Merci d'avance.

Un peu de prog en utilisant goto, et on comprend vite ...

L'ideal en programmation est d'avoir un code clair, bien structure, bien delimite entre les differnetes perties, boucles, fonctions ... Histoire que quand on se trouve a une ligne donnee, on sache exactement comment on est arrive la.
Or avec goto, on se balade un peu partout dans le programme, et on a vite fait de ne plus s'y retrouver. Tandis qu'avec des for des while et des fonctions/methodes, on garde toujours l'enchainement.
Si on le trouve encore dans la plupart des langages, c'est parce que c'est une des premieres instructions qui aient existe, et c'est par souci de compatibilite.

Cela dit, on peut trouver des cas (rares, il est vrai) ou un petit goto bien place permet de se sortir d'une construction un peu alambiquee.

A+

Merci pour ta réponse Kangourou,
Je commençais à désespérer vu que personne ne répondait.
Cela dit, si certains ont des compléments de réponse, allez-y déchainez-vous !!
@+

en informatique le terme "déconseiller" est préférable à celui "interdire"

une petite anectode, pour montrer les conséquences des interdictions
prises au pied de la lettre

Un médecin a interdit à son patient cardiaque de monter chez lui par
les escaliers.

Un mois plus tard, le médecin est rappelé au chevet de son malade agonisant.
l'explication est que comme l'ascenseur était en panne et que le
médecin avait interdit les escalier, le patient montait chez lui par la
gouttière.
--------------------------------
on remarquera que c# langage récent, censé concurrencer java a remis "goto" en selle

Ahhh, bah je vais arrêter de faire c**er mon syndic qui ne voulait ni faire installer un ascenseur ni renforcer les goutières !

Ce n'est pas la taverne ici

Je sais... mais je n'ai pas pu m'en empêcher :hihi:

A propos des "goto/label", ce qu'il faut ne pas oublier c'est que derrière ça marche toujours avec des "goto/label" ! Un langage n'est qu'une surcouche à l'assembleur qui les utilise...

Le pauvre, il doit en avoir mal à la tête
Ok, je

en effet, l'instruction goto on l'utilise souvent (peut-être sans le savoir), seulement, les langages évolués implémentent des goto "propres".
Exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
While&#40;condition=0; condition<10; condition++&#41;
&#123;
    instructions;
&#125;

équivaut à peu près à ça:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
condition=0;
While
if&#40;condition<10&#41;
&#123;
    instructions;
    condition++;
    goto&#58; While;
&#125;

la première version est plus claire et intuitive, quoique dans ce cas ci la seconde demeure lisible, imagine lorsque tu as plusieurs boucles imbriquées...

Je dirai même plus :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
instructions0;
for&#40;condition=0; condition<10; ++condition&#41; &#123;
  instructions1;
&#125;
instructions2;

équivaut exactement à ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
      instructions0
      condition=0
label:While
      if !&#40;condition<10&#41;
      goto endWhile
      instructions1
      condition=condition+1
      goto While
label&#58;endWhile
      instructions2

Envoyé par Kimael

Je dirai même plus :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
instructions0;
for&#40;condition=0; condition<10; ++condition&#41; &#123;
  instructions1;
&#125;
instructions2;

équivaut exactement à ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
      instructions0
      condition=0
label:While
      if !&#40;condition<10&#41;
      goto endWhile
      instructions1
      condition=condition+1
      goto While
label&#58;endWhile
      instructions2

attention, si tu fais ++condition, il doit être incrémenté avant, donc:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
      instructions0
      condition=0
label:While
      condition=condition+1
      if !&#40;condition<10&#41;
      goto endWhile
      instructions1
      goto While
label&#58;endWhile
      instructions2

Envoyé par sarasvati

attention, si tu fais ++condition, il doit être incrémenté avant, donc:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
      instructions0
      condition=0
label:While
      condition=condition+1
      if !&#40;condition<10&#41;
      goto endWhile
      instructions1
      goto While
label&#58;endWhile
      instructions2

Eh non !
Bien tenté, mais c'est faux.
Mon "exactement" n'est pas absolu, mais quand même...

argg, désolé
petite confusion de ma part...
je fais joujou avec les effets de bords ces temps-ci alors...

Envoyé par sarasvati

argg, désolé
petite confusion de ma part...
je fais joujou avec les effets de bords ces temps-ci alors...

Hihi, moi je dis : VIVEMENT qu'on puisse faire joujou avec les effets de bords... de mer ! ARf
Bon, allez, je , de toutes façon c'est mon heure de fin de boulot !
A+

Le Goto est utile, il ne faut pas le stigmatiser.
Si c'est pour coder comme une merde, économiser une fonction ou une bouccle trop conditionnée et complexe à écrire, la évidemment, ce n'est pas justifié.
Mais par exemple pour la détection d'un lecteur, un on error goto c'est drolement pratique.
D'autre part, il m'est arrivé d'utilidser le goto car aucun autre moyen de créer des entités de tris sur des répertoires.
Voilou, voilou

Remarque : si le langage implémente les exceptions, plus besoin de on error goto

Je crois que l'utilisation GOTO simplifie aussi l'écriture des générateurs de code. Un tel code n'est généralement pas destiné à être lu, et encore moins à être modifié, donc ce n'est pas grave qu'il soit totalement incompréhensible. Le code génèré par LEX ou YACC (me souvient plus lequel sert à quoi) en contient à outrance ...

Le goto c'est comme un couteau de cuisine: il faut savoir s'en servir pour ne pas se couper les doigts. Etant donné le genre de langages que je développe je devrais être farouchement anti-goto. Eh bien ce n'est pas le cas. Mon dernier compilateur en est truffé. Mais bien entendu, chaque utilisation repose sur une sémantique claire et mathématiquement sûre. En fait tout cela relève d'un débat plus général me semble-t-il, à savoir la répartition des responsabilités entre le programmeur et son compîlateur. Et ça ne concerne pas que le goto.

je suis dans le même cas que toi Melchisedec.
professeur qui déconseille fortement (juste pour ne pas dire qu'il l'interdit).

j'essaie d'éviter quand je peux, mais parfois, il vaut mieux un goto bien placé qu'une boucle imbriquée avec condition qui ne ressemble plus à rien.

il est présent dans les languages, pourquoi ne pas s'en servir si on sait le faire correctement

Bonjour

Goto n'est pas méchant en soi .. mais il est vrai que dans certains langages il peut générer un code pas propre du tout à la compilation. Un exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
...
pour i allant de 0 à 50 faire {
   octetslus = lireunoctet();
   si (octetslus == 0) goto erreur;
}
...
// fin du programme

erreur:
// traitement de l'erreur
...

Si le compilateur gère les boucles "pour" en utilisant la pile, et bien le goto va laisser des données dessus inutilement, ce qui est très moche

Bonjour,

Envoyé par Juju_41

Goto n'est pas méchant en soi .. mais il est vrai que dans certains langages il peut générer un code pas propre du tout à la compilation. Un exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
...
pour i allant de 0 à 50 faire {
   octetslus = lireunoctet();
   si (octetslus == 0) goto erreur;
}
...
// fin du programme

erreur:
// traitement de l'erreur
...

Si le compilateur gère les boucles "pour" en utilisant la pile, et bien le goto va laisser des données dessus inutilement, ce qui est très moche

Un compilateur raisonnablement intelligent sait qu'il est dans une (voir plusieurs) boucle(s) et qu'il la(les) gère par la pile quand il compile ce type de code.

Il sait donc qu'il faut compiler le goto sous la forme d'une série de POP de la pile (nombre variable selon le nombre de boucles séparant le goto de son label) avant de faire le JMP.

Un langage supportant les goto doit :
- soit les gérer correctement (ce que font la plupart)
- soit les interdire explicitement hors de la portée de la boucle ou de la fonction en cours, parce que sinon, le programme a toutes les chances de finir par planter, vu l'incohérence de la pile au bout de quelques appels/boucles/sauts.