boucle

Anglais : loop

Le langage C comporte 3 types d'instructions d'itération.

Les deux premières while ... do et do ... while sont regroupées dans la même entrée du glossaire (instruction while).

La troisième est l'instruction for.

Syntaxe

Instruction-d-itération ::=

while (expression) instruction ;

do instruction while (expression) ;

for (expressionopt ; expressionopt ; expressionopt ) instruction

Pour bien programmer avec des boucles, il est conseillé d'utiliser la notion d'invariant de boucle, voire de fonction variante.

  • Un invariant de boucle est une propriété portant sur le programme et ses variables qui doit être vraie avant l'exécution de la boucle et après chaque itération. L'invariant aide  souvent à comprendre le fonctionnement  d'un algorithme (algorithmes de tri, ...)
  • Une fonction variante aide à prouver ou à se convaincre que l'itération se termine dans tous les cas (pas de boucle infinie).

» Glossaire du langage C