Instruction « while»
Si l'on traite le même problème avec l'équivalent d'une boucle « tant_que faire » en C, on obtient :
instruction_avant
i=0 ;
while (i<3)
{
printf("\n i=%4d",i);
i++;
}
instruction_après
La syntaxe « while (i<3) » correspond au diagramme de Conway suivant :
La paire de parenthèses autour de la condition logique (expression) est obligatoire en C.
Examinons maintenant le code :
instruction_avant
i=0 ;
while (i<3)
{
i++;
printf("\n i=%4d",i);
}
instruction_après
L'exécution de ce code affichera 1, 2, 3 et non pas 0, 1 et 2.
Et i vaut 3 en sortie de boucle.
Dans le cas d'une boucle tant_que (while), il est de la responsabilité du programmeur de décider des emplacements des instructions qui font évoluer les valeurs des variables impliquées dans la condition d'arrêt (le test d'arrêt) au sein du bloc d'instructions effectuées à chaque itération.
Examinons le code suivant :
instruction_avant i=-1 ;
while (i<2)
{
i++;
printf("\n i=%4d",i);
}
instruction_après
L'exécution de ce code affichera 0, 1, 2 mais i vaut 2 en sortie de boucle.
Les valeurs initiales des variables utilisées dans la boucle a un impact sur son fonctionnement.
