Принцип работы цикла с постусловием в современных языках программирования заключается в том, что условие проверяется после выполнения тела цикла. 2 Отсюда следует, что тело всегда выполняется хотя бы один раз. 2

В большинстве языков программирования циклы с постусловием пишутся с помощью слов do…while. 1 В начале выполняется оператор, представляющий собой тело цикла. 4 Затем вычисляется условие. 4 Если оно истинно (не равно нулю), оператор тела цикла выполняется ещё раз. 4 В противном случае цикл завершается, и управление передаётся оператору, следующему за циклом. 4

Таким образом, цикл с постусловием всегда будет выполнен хотя бы один раз, в отличие от цикла с предусловием, который может не выполниться ни разу. 4