Quando o número de repetições é conhecido antecipadamente

Quando o objetivo é retornar imediatamente da função atual

Quando um bloco deve ser executado uma vez mesmo que sua condição comece como falsa

Quando a repetição nunca deve depender de uma condição