Почему цикл do-while всегда выполняется хотя бы один раз?

Цикл do-while всегда выполняется хотя бы один раз, потому что сначала выполняется тело цикла, а затем проверяется условие продолжения цикла. cppstudio.com alexeyos.github.io

Из-за такой особенности do-while называют циклом с постусловием. cppstudio.com