WHILE..DO/fr

From Lazarus wiki

български (bg) English (en) français (fr) 日本語 (ja) 中文(中国大陆)‎ (zh_CN)

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.

Sommaire