A estrutura de repetição que possui a condição de repetição no final e garante que suas instruções sejam executadas pelo menos uma vez é o "do while". Nela, o bloco de código é executado primeiro e, em seguida, a condição é verificada. Se a condição for verdadeira, o loop continua; caso contrário, ele termina.