Из-за особенностей структуры цикла while его тело будет полностью пропущено, если при проверке условного выражения в первый раз его результатом не является значение true. Оператор do_while гарантирует, что тело цикла будет выполнено, по крайней мере один раз с минимальными затратами. Синтаксис оператора do_while напоминает перевернутый синтаксис оператора while:

do

{

блокКода

} while(условноеВыражение)

описание цикла начинается с ключевого слова do, за которым следует блок блокКода тела цикла. При первом прохождении цикла do_while блок блокКода выполняется даже до проверки результата выражения условноеВыражение. Если после завершения блока блокКода результатом выражения условноеВыражение является значение true, то цикл начинается заново и блок блокКода выполняется снова. Цикл выполняется до тех пор, пока выражение условноеВыражение не примет значение false.