La structure itérative qui commence par le mot-clé while permet la répétition de l'exécution d'une portion de code.

int i = 0;
while (i < 100) {
  printf("x");
  i = i + 10;
}

Immédiatement après le mot-clé while, on trouve entre parenthèses la condition de la boucle, puis (de préférence après un saut de ligne) le corps de la boucle, qui est formé d'une seule instruction (souvent un bloc).

Lors de l'éxécution, cette structure passe par les étapes suivantes :

1. la condition est évaluée.
2. si le résultat est faux, on quitte la boucle ; sinon on passe à l'étape 3.
3. le corps est exécuté.
4. on saute à l'étape 1.

Remarque Il est possible (et parfois souhaitable) que le corps ne soit pas exécuté du tout.

Le compilateur ne peut pas détecter une boucle infinie, c'est à dire un code qui à l'exécution ne sortira jamais de la structure itérative. Vous devez donc concevoir soigneusement vos boucles pour éviter cette situation.

Remarque Depuis la console, il est possible d'envoyer à votre programme un signal d'arrêt en appuyant sur Contrôle C. Vous pourrez ainsi mettre fin à vos erreurs embarrassantes.

Cette variante de la boucle précédente présente un comportement parfois utile.

int i = 0;
do {
  printf("x");
  i = i + 10;
} while (i < 100);

Lors de l'exécution, cette structure passe par les étapes suivantes :

1. le corps est exécuté.
2. la condition est évaluée.
3. si le résultat est faux, on quitte la boucle ; sinon on saute à l'étape 1.

L'intérêt majeur est que le corps sera exécuté au moins une fois dans tous les cas.

Le fait que cette forme de boucle soit légèrement plus rapide que les autres ne rentre généralement pas en ligne de compte quand on doit choisir entre les trois, car la lisibilité est le facteur le plus important.

La dernière forme de boucle est la plus détaillée (ce qui est très appréciable).

int i;
for(i = 0; i < 100; i = i + 10) {
  printf("x");
}

En plus du corps et de la condition, la boucle for nécessite deux autres instructions : l'initialisation et l'évolution.

Lors de l'éxécution, cette structure passe par les étapes suivantes :

1. l'initialisation est exécutée.
2. la condition est évaluée.
3. si le résultat est faux, on quitte la boucle ; sinon on passe à l'étape 4.
4. le corps est exécuté.
5. l'évolution est exécutée.
6. on saute à l'étape 2.

La présence des deux éléments supplémentaires diminue les chances de boucle infinie en obligeant le développeur à expliciter la situation initiale ainsi que son évolution à chaque tour de boucle. Vous remarquerez que dans les exemples des deux autres sortes de boucles, ces informations devaient tout de même être fournies pour que le programme marche.