do { do_something(); // ループ脱出条件にかかわる何らかの演算 // (ただしこのループ脱出後に、ここでの演算結果を用いることは // ないものとする。)} while (!success);言うまでもなく、これは後判定である。これを前判定に書き換えることは難しい。do_s…