Do-while文
C言語および類似の言語では以下のような構文である。
このループの実行は、次のような手順となる。
「文」を実行する。
「条件」を評価する。
「条件」が真ならば、手順の最初に戻る。「条件」が偽ならば、ループを終了する。
「条件」がはじめから偽の場合も、「文」は一度実行される。
ループ本体が複数の文からなる場合、ブロック(複文)を使う。
C言語のプログラム例:
この例では、最初に x += 1 を実行し x == 1 となる。次に条件の x < 3 をチェックする。条件は真であり、コードブロックを再度実行する。変数 x がループ脱出条件に合致する(x >= 3 になる)まで、コードの実行と条件のチェックを繰り返す。
C言語に似ていない言語では、異なった構文で同様の機能を持つものもある(while文の記事も参照)。例えばPascalでは、"repeat-until" 文である。ただし、制御式として継続条件ではなく終了条件(真のときループを終了)を記述する。
なお、Fortran (Fortran 90以降) にもdo-while文はあるが、これはC言語のwhile文と同等であり、制御式を前置する。以下の例では、ループ本体は一度も実行されない。