Rastreando variáveis: o filme do programa, quadro a quadro

O estado é a fotografia do instante

No módulo 3 você guardou valores em caixas; no módulo 9, viu contadores e acumuladores crescerem dentro de laços. O rastreio junta as duas ideias numa imagem só: o programa é um filme, e o estado é a fotografia de todas as caixas em um instante. A linha “soma <- soma + valor” não é uma frase, é um corte no filme: antes dela a caixa soma tinha um valor, depois dela tem outro. Bugs são quadros fora do roteiro, e a única forma de flagrar um quadro é olhar o filme devagar, quadro a quadro, em vez de assistir ao trailer.

Na prática, você não precisa fotografar todas as variáveis do programa: rastreie as que MUDAM no trecho que interessa. Num laço que soma compras da padaria, os personagens são o contador de voltas e o acumulador da soma; o preço do pão, que não muda, pode ficar fora da tabela. Essa escolha de personagens é metade da habilidade: com o tempo, você bate o olho num algoritmo e já sabe quais duas ou três caixas contam a história inteira.

contador <- 0
soma <- 0
enquanto contador < 3 faça
  contador <- contador + 1
  soma <- soma + contador
fim
escreva(soma)
// saída esperada: 6 (1 + 2 + 3)

Um laço com contador e acumulador: o alvo perfeito para um rastreio volta a volta.

Flagrando o quadro errado

O rastreio vira arma de caça quando o resultado sai errado. Suponha que o programa da soma acima mostrasse 3 em vez de 6. Sem rastreio, você reescreveria o algoritmo no chute. Com rastreio, você percorre a tabela e encontra a PRIMEIRA linha em que o valor anotado foge do esperado: a soma que deveria acumular e não acumula, o contador que pula um número, a condição que sai uma volta antes. A partir dessa linha, o suspeito está cercado: o erro é a própria instrução daquela linha ou alguma anterior que preparou o valor errado.

Esse bug do acumulador que esquece é um clássico absoluto: quase todo programador cai nele uma vez, porque “soma <- valor” e “soma <- soma + valor” parecem irmãs à primeira leitura. Repare como o rastreio o denuncia sem esforço: na primeira volta, as duas versões produzem o mesmo estado (soma igual ao primeiro valor), e é por isso que testes preguiçosos com um valor só não pegam nada. Na segunda volta, os filmes divergem. Moral da história: rastreie pelo menos duas voltas de qualquer laço.

Do papel para as ferramentas de verdade

O que você faz no papel tem versão profissional: as linguagens reais oferecem depuradores, ferramentas que pausam o programa em qualquer linha (o ponto de parada) e mostram o estado de todas as variáveis naquele instante, como a sua tabela, só que automática. Existe também o truque universal do “escreva de espionagem”: espalhar comandos escreva temporários no meio do código para o programa narrar o próprio estado enquanto roda. As ferramentas mudam; a pergunta é sempre a mesma que a sua tabela responde: “quanto vale cada caixa NESTE ponto?”. Quem domina o rastreio no papel aprende qualquer depurador em uma tarde.