Os três tipos de erro

Três jeitos de dar errado

Errar faz parte de programar, e a boa notícia é que os erros se dividem em três tipos bem distintos, cada um com sua cara e seu jeito de ser caçado. O primeiro é o erro de sintaxe: você escreveu o código de um jeito que quebra as regras da linguagem, como uma frase sem verbo. Esqueceu de fechar um parêntese, digitou uma palavra-chave errada, faltou um sinal. O computador nem tenta rodar; ele avisa de cara que não entendeu e aponta mais ou menos onde. É o erro mais amigável, porque aparece antes de o programa executar e costuma vir com uma mensagem indicando o lugar.

O segundo é o erro de execução: o código está bem escrito e começa a rodar, mas em algum momento topa com uma situação que não consegue tratar e quebra no meio. É o programa que estava funcionando e de repente para com uma mensagem de erro. As causas clássicas você já encontrou pelo curso: dividir por zero, acessar uma posição que não existe na lista, buscar uma chave ausente no dicionário, tentar abrir um arquivo que não está lá. O código está correto na forma, mas os dados ou o ambiente pregaram uma peça. O terceiro tipo é o mais perigoso de todos, e merece atenção especial.

O erro de lógica, o mais traiçoeiro

O erro de lógica é o vilão silencioso. Nele, o código está perfeitamente escrito, roda do começo ao fim sem quebrar, e entrega uma resposta. O problema é que a resposta está errada, e nada avisa. O computador fez exatamente o que você mandou; só que o que você mandou não era o que você queria. Lembra do acumulador inicializado dentro do laço, que dá o preço do último item em vez da soma? Ou da ordem trocada dos argumentos, que calcula certo a conta errada? São erros de lógica. Eles não geram mensagem nenhuma, e é por isso que assustam: o programa parece funcionar, o cliente confia no número, e o prejuízo só aparece quando alguém percebe que a conta nunca fechou. Caçar erro de lógica é o trabalho mais fino do programador, e a ferramenta principal é o teste de mesa que você aprendeu no curso básico, mais os testes automatizados que conferem se a resposta bate com a esperada.

Por que classificar o erro ajuda a resolver

Saber de qual tipo é o erro muda a estratégia de conserto. Se é de sintaxe, você lê a mensagem do computador, vai até o lugar apontado e corrige a escrita; costuma ser rápido. Se é de execução, você olha a mensagem, que geralmente diz o que aconteceu (divisão por zero, índice fora da lista), e descobre qual situação inesperada o código não tratou, o que leva direto à validação e ao tratamento de exceções das próximas aulas. Se é de lógica, não há mensagem para ler: você precisa comparar o que o programa faz com o que deveria fazer, usando exemplos, teste de mesa e testes automatizados, até achar onde o raciocínio escorregou. Diante de um erro, a primeira pergunta útil é: o programa nem rodou, rodou e quebrou, ou rodou e mentiu? A resposta aponta o caminho.