Test si

Le test si est la forme d'alternative la plus simple : si Test est vérifié, on exécute Instruction 1 puis Instruction 2 ; si Test n'est pas vérifié, on exécute directement Instruction 2

Pseudo code :

SI Test
     Instruction 1
FIN SI
Instruction 2

Exemples de mise en œuvre :

• BASIC et Pascal : IF condition THEN instruction
• C : if (condition) instruction
• Python : if condition : instruction
• Forth : condition IF instruction THEN

Le mot-clef if correspond à si en anglais ; le mot-clef then correspond à alors.

Test si sinon

SI Test
   Instruction 1
SINON
   Instruction 2
FIN SI
Instruction 3

Si Test est vérifié, on exécute Instruction 1 puis Instruction 3 ; sinon on exécute Instruction 2 puis Instruction 3.

Exemples de mise en œuvre :

• Pascal : if condition then instruction else instruction
• C  : if (condition) instruction else instruction

Le mot-clef else correspond à sinon en anglais. Historiquement, on rencontre un premier if then else dans Algol 60.

Test sinon si

SI Test 1
   Instruction 1
SINONSI Test 2
   Instruction 2
FIN SI
Instruction 3

Si Test 1 est vérifié, on exécute Instruction 1 puis Instruction 3 ; sinon, si Test 2 est vérifié on exécute Instruction 2 puis Instruction 3 ; sinon on exécute directement Instruction 3.

On peut enchaîner autant d'instructions sinon si que désiré : seule la première dont la condition sera vérifiée sera exécutée. On peut généralement associer une clause sinon qui ne sera exécutée que si aucune clause sinon si n'a été vérifiée.

Dans les langages où la définition des blocs d'instruction est indépendante des structures de contrôle, cette instruction est redondante puisqu'elle revient à enchaîner un si après un sinon. Par exemple en langage C on écrira :

if ( test1 )
        Instruction1
else if ( test2 )
        Instruction2
Instruction3

Certains de ces langages définissent tout de même une instruction sinon si (par exemple elseif en PHP), pour des raisons de performance par exemple.

Test selon

Le test selon est une spécialisation de l'instruction sinon si, qui permet de sélectionner le bloc à exécuter en fonction de la valeur d'une variable. Il est utilisé lorsqu'un aiguillage offre plusieurs sorties, et que l'on doit tester une condition plusieurs fois, en utilisant toujours la même variable.

SELON Variable 1
CAS Valeur 1:
        Instruction 1
CAS Valeur 2:
        Instruction 2
FIN SELON
Instruction 3

Structurellement, c'est équivalent à une succession de sinon si, mais le fait de savoir que la valeur de la variable testée ne changera pas lors de l'évaluation des conditions permet au compilateur de faire quelques optimisations.

Suivant les langages, l'expression qui suit le mot-clef cas peut être une simple valeur pour un test d'égalité, une collection, un intervalle, ou une expression rationnelle par exemple.

Le switch case du langage C s'écarte sensiblement du modèle ci-dessus. Son comportement fall through (passage à travers) des case non terminé par le mot-clef break, le rapproche plus d'une structure à étiquette.

Le switch case apparaît dans Algol 68.

Boucle « tant que » à précondition

TANTQUE Test
     Instruction 1
FIN TANTQUE
Instruction 2

Si Test est vérifié, on exécute Instruction 1, puis arrivé à la fin du bloc on évalue à nouveau Test et on recommence. Quand Test renvoie un résultat faux, on quitte la boucle en sautant à instruction 2. Le Test est en général appelé « condition de continuation » puisque le flot d'exécution continue avec Instruction 1 lorsque le Test est vrai.

Exemples de mise en œuvre :

• C : while (condition_de_continuation) instruction
• Pascal : while condition_de_continuation do instruction

Le mot-clef while en anglais correspond à tant que en français.

Boucle « jusqu’à ce que » à postcondition

REPETE
     Instruction 1
JUSQUACEQUE Condition 1
Instruction 2

Cette boucle permet de réitérer une instruction ou un ensemble d'instructions jusqu'à ce qu'une condition de sortie soit vérifiée. La série d'instructions est exécutée au moins une fois, quelle que soit la condition.

Exemples de mise en œuvre :

• Pascal : repeat instruction until condition_d_arret
• Perl : do { instruction } until (condition_d_arret);

Le mot-clef until correspond au français jusqu'à ce que, repeat à répète, do à fait.

Commandes de sortie de boucle

Ces commandes s'utilisent au milieu d'une boucle pour réaliser une sortie anticipée de la boucle, généralement quand une certaine condition est vérifiée.

Ce sont des instructions comme le break du langage C.

En Ada la commande exit, qui est équivalente au break, accepte un identificateur, ce qui permet de l'utiliser dans des boucles imbriquées. Ce langage définit aussi une instruction exit when qui permet d'associer une condition.

Le langage C définit aussi une instruction continue qui force le pointeur de commande à sauter à la fin de la boucle. Si la condition d'arrêt de la boucle n'est pas encore vérifiée, la boucle entreprend une nouvelle itération, sinon le programme sort de la boucle et passe à la ligne qui la suit.

Les implémentations actuelles du langage Pascal comportent les procédures Break et Continue[1].

Toutes ces commandes sont une forme de saut inconditionnel : si elles n'utilisent pas d'étiquettes formelles, elles permettent en effet de modifier la valeur du pointeur ordinal pour adresser un endroit spécifique du programme.

Le langage Python ou Ruby permet d'associer une clause else à une boucle, pour effectuer un traitement personnalisé en cas de sortie normale d'une boucle.

Certains langages permettent de casser plusieurs boucles en une seule instruction, ou de nommer les boucles pour pouvoir choisir jusqu'à quelle boucle le programmeur veut sortir des boucles imbriquées. L'absence d'une telle possibilité est souvent contournée par l'utilisation d'une procédure et d'un "return" au milieu des boucles imbriquées (Ruby et Python ne savent pas sortir de plusieurs boucles en une seule instruction, sauf au moyen de "return").