Его структура имеет вид:
while (B) S;
где B – логическое (булево) выражение;
S - любой оператор языка (тело цикла);
while (пока) – служебные слова.
Схематически оператор цикла с предусловием можно изобразить таким образом:
false
true
Такая конструкция цикла организует выполнение оператора S до тех пор, пока логическое выражение B – истинно. Если условие, которое вычисляется и анализируется перед каждым выполнением цикла, - ложно, то выполняется оператор, следующий за while. Заметим, что если первоначальное значение логического выражения B ложно, то оператор S не будет выполняться ни разу. Другая крайность, которую следует избегать,- логическое условие всегда истинно. В этом случае оператор S будет повторяться бесконечное число раз. Произойдет, так называемое, «зацикливание» и тогда потребуются принудительные меры выхода из него,- перезагрузка компьютера.