Em nenhuma situação precisamos realmente do do ... while
a não ser para deixar o código mais elegante e expressar melhor a intenção de que a execução do bloco deve ocorrer pelo menos uma vez antes de decidir se ele se repetirá ou não.
Sempre é possível fazer o mesmo só com o while
. Claro que o código poderá ter que ser um pouco maior e menos elegante, ter que fazer algo artificial para garantir que a primeira execução da condição seja verdadeira.
Nem sempre isto pode ser tão fácil de fazer porque pode envolver a verificação de algo que possui efeitos colaterais, em alguns casos até ter algo semelhante ao paradoxo do Gato de Schrödinger, onde para acessar um valor, você muda o valor. Pode dar resultados diferentes dependendo do momento. Dá para resolver isto, mas tem que saber fazer, lembrar de fazer e aumenta o código. Em geral a solução é uma flag ou um valor em cache, que pode ficar complexo quando o acesso muda o valor (ainda que isto não deveria acontecer em bons códigos).
Claro que pode ajudar a não cometer erros também. Pode ser que se engane para garantir que a primeira passada dê verdadeiro e em algum caso fora do comum dê falso, ou pode mudar algo no código que acabe mudando a situação de garantia de verdadeiro sem que o programador perceba.
Ele dá mais legibilidade e manutenibilidade como toda construção que ajuda dar mais semântica ao intuito.
Coloquei no GitHub para referência futura.
Do...While
é chamado deDo...Until
:)