Cuando el número de repeticiones se conoce de antemano

Cuando el objetivo es regresar inmediatamente de la función actual

Cuando un bloque debe ejecutarse una vez aunque su condición comience siendo falsa

Cuando la repetición nunca debe depender de una condición