Basic Pascal Tutorial/Chapter 3/WHILE..DO/fr

Tutoriel de Pascal Objet : Structures de contrôle / Boucles / Tant que

La boucle pré-test a le format suivant :

while BooleanExpression do
  Instruction;

La boucle continue à s'exécuter jusqu'à ce que l'expression devienne FALSE. Dans le corps de la boucle, vous devez en quelque sorte affecter une des variables qui sont utilisées dedans. Sinon, vous aurez une boucle infinie :

a := 5;
while a < 6 do
  writeln (a);

Il faut remédier à cette situation en changeant la valeur de la variable :

a := 5;
while a < 6 do
begin
  writeln (a);
  a := a + 1
end;

La boucle WHILE ... DO est appelée boucle pré-test parce que le test est réalisé avant que le corps de la boucle ne soit exécuté. Donc, si la condition n'est pas vérifiée (=FALSE) au départ, le corps de la boucle ne sera pas jamais exécuté. La condition est appelée invariant de boucle.

From the Free Pascal wiki, page "Basic Pascal Tutorial/Chapter 3/WHILE..DO/fr", as it stood on 2022-08-20 after a change by Kai Burghardt, out of the wiki's dump of 2024-05-26. Copyright stays with the author who wrote it, according to the old wiki's Licensing page. If you have concerns about this material, message the admin.