O laço infinito: o vilão que congela programas

Preso na porta giratória

Lembra da terceira exigência do algoritmo, lá do módulo 1? Fim garantido. O laço infinito é exatamente a quebra dessa promessa. A imagem é a de uma porta giratória com o sensor quebrado: a pessoa entra esperando sair do outro lado, mas a porta nunca abre a passagem e ela roda, roda, roda. O computador preso num laço assim não reclama nem desiste, porque a máquina é literal: cada teste da condição responde verdadeiro, e verdadeiro manda dar mais uma volta. Para ela, está tudo certo. Para quem espera a resposta, o programa congelou.

Os sintomas do lado de fora você provavelmente já viu: a janela que fica branca com o aviso “não está respondendo”, a aba do navegador que congela, a ventoinha do notebook acelerando como turbina. Por dentro, o processador está executando o bloco do laço milhões de vezes por segundo, ocupado demais para atender qualquer outra coisa. Nada explodiu e nada vai explodir: fechando o programa (ou a aba), a prisão desmonta. Mas o mau funcionamento é real, e a boa notícia é que ele é 100% evitável com os hábitos desta aula.

Como nasce um laço infinito

O laço saudável tem um motor de saída: alguma instrução do bloco altera a variável da condição, volta após volta, até o teste responder falso. O laço infinito nasce quando esse motor falha, e são três as falhas clássicas. A primeira: a atualização não existe (você esqueceu o contador <- contador + 1). A segunda: a atualização existe, mas anda na direção errada ou devolve a variável ao ponto de partida, e a condição nunca se aproxima do falso. A terceira: a condição foi escrita de um jeito que nenhum valor torna falso, como esperar que um contador crescente fique menor que o início.

Repare no tamanho da causa: uma linha, quase idêntica à correta. É assim que os laços infinitos aparecem no mundo real, não como erros gritantes, mas como deslizes de digitação e de raciocínio que passam batido na leitura corrida. Por isso o hábito que resolve não é “prestar mais atenção”, promessa que ninguém cumpre, e sim um ritual mecânico de conferência antes de executar. Esse ritual são os antídotos da próxima seção.

Os antídotos: quatro perguntas antes de rodar

1. Antídoto 1, a atualização existe? Aponte a variável usada na condição e confirme que alguma linha DENTRO do bloco a altera.
2. Antídoto 2, a direção está certa? A alteração deve aproximar a condição do falso: se o teste é contador <= 5, o contador precisa CRESCER.
3. Antídoto 3, teste de mesa curto: simule 2 ou 3 voltas no papel anotando o valor da variável. Se ele não se mexer rumo à saída, você achou o vilão sem travar nada.
4. Antídoto 4, limite de segurança: em programas que dependem de fatores externos (a resposta certa do usuário, por exemplo), acrescente um teto de tentativas na condição, como o cartão que bloqueia após 3 senhas erradas.

Para fechar, uma distinção que evita confusão: existe repetição sem fim DE PROPÓSITO, e ela não é vilã. O semáforo do módulo 1 alterna as cores para sempre; o servidor que entrega este site atende pedidos num laço eterno; o seu celular verifica toques na tela num ciclo que só termina quando o aparelho desliga. A diferença está no projeto: esses laços foram desenhados para durar, com pausas e saídas planejadas, e não prendem ninguém que espera resposta. O laço infinito problema é o ACIDENTAL: aquele que deveria terminar e não termina. Os antídotos existem para ele.