Его синтаксис:
do { S1;S2;...Sn } while (B);
где B- логическое выражение;
S1;S2;...Sn – любые операторы языка;
do (делать), while(пока ) – служебные слова.
Схематически оператор цикла с предусловием можно изобразить таким образом:
true
false
В такой конструкции цикла проверка условия производится в его конце (постусловие), что обеспечивает выполнение операторов S1,...Sn хотя бы один раз. Тело цикла выполняется в операторе do…while до тех пор, пока условие истино. Выход из цикла осуществляется при ложности логического выражения B.
Оператор цикла с предусловием обычно используется чаще оператора do…while, т.к. проверка на окончание цикла в нем производится до выполнения и есть возможность при необходимости цикл пропустить вообще.
Важно помнить, что перед каждым (и первым в том числе) выполнением цикла, условие его окончания должно быть определено. Кроме того, тело цикла должно содержать хотя бы один оператор, влияющий на условие В, иначе произойдет зацикливание. Условие окончания цикла должно быть, в конце концов, удовлетворено.