O laço ENQUANTO: repita até a condição dizer chega

A anatomia do ENQUANTO

A frase do varal, “estenda a roupa até o cesto esvaziar”, vira pseudocódigo quase sem tradução. O comando abre com a palavra enquanto, seguida da condição que mantém a repetição viva, e da palavra faça. Nas linhas seguintes fica o bloco que se repete. A palavra fim fecha o pacote e marca até onde vai a repetição, exatamente como o fim do SE marcava o território da decisão no módulo 8. Tudo que está entre o faça e o fim se repete; o que vem depois do fim só executa quando o laço terminar.

enquanto houver roupa no cesto faça
  pegue uma peça
  prenda no varal com dois pregadores
fim
escreva("Cesto vazio, varal cheio!")

A estrutura completa: condição, bloco que se repete e a vida que continua depois do fim.

Compare o desenho com a bifurcação do SE. No SE, a condição escolhe um caminho e o programa segue em frente, sem volta. No ENQUANTO, o caminho do verdadeiro faz uma curva e retorna ao teste. É essa seta de retorno que transforma decisão em repetição: o mesmo losango de pergunta, agora ligado em circuito. Guarde essa imagem, porque ela responde quase toda dúvida sobre laços: para saber o que um ENQUANTO faz, siga o circuito com o dedo, uma volta de cada vez.

O teste vem antes de cada volta

O detalhe que separa quem entende o ENQUANTO de quem decora: a condição é testada ANTES de cada execução do bloco, inclusive a primeira. O computador chega no enquanto, faz a pergunta, e só entra no bloco se a resposta for verdadeira. Ao terminar o bloco, volta para a pergunta e repete o ritual. A saída do laço, portanto, só acontece no momento do teste. Mesmo que a condição vire falsa no meio do bloco, a volta atual termina inteira; o laço só encerra quando o teste do topo confirmar o não.

energia <- 3
enquanto energia > 0 faça
  escreva("Passo dado")
  energia <- energia - 1
fim
escreva("Cansei")

Repare no método usado para resolver o jogo: seguir as voltas uma a uma, anotando o valor de energia a cada passagem pelo teste. Esse acompanhamento manual tem nome, teste de mesa, e ganha um módulo inteiro mais adiante (o 13). Com laços, ele é especialmente valioso: a intuição costuma chutar “umas 3 ou 4 voltas”, e a diferença entre 3 e 4 é justamente onde moram os bugs. Conte no dedo sem vergonha; profissional experiente faz isso todo dia.

O laço que não executa nenhuma vez

E se a condição já nascer falsa? O cesto de roupa chega vazio, a pia já está sem louça, a energia do robô começa em zero. O ENQUANTO faz o primeiro teste, recebe um não e pula direto para depois do fim, sem executar o bloco nenhuma vez. Isso não é erro: é o comportamento correto e, na maioria das vezes, exatamente o que você quer. Um programa que mostra “cada compra do extrato” num mês sem compras deve mostrar nada, e não inventar uma compra para justificar a volta.