A declaração do... while cria um laço que executa uma declaração até que o teste da condição for falsa (false). A condição é avaliada depois que o bloco de código é executado, resultando que uma declaração seja executada pelo menos uma vez.

O do... while se inicia no do, ou seja, mesmo que a condição seja falsa, o bloco do do será impresso pelo menos uma vez.

Sintaxe do Do... while

do {
    declaração

} while(condição)

• declaração --> a declaração é executada pelo menos uma vez e re-executada cada vez que a condição (condição) for avaliada como verdadeira (true). Para executar múltiplas declarações dentro do laço, use um block declaração ({ ... }) ao grupo dessas declarações.
• condição --> uma expressão é validade depois de cada passagem pelo laço. Se a condição é avaliada como verdadeira (true) o bloco de código é executado novamente. Quando a condição é avaliada como falsa (false), o controle passa para a instrução seguinte ao laço do...while.