Cláusula de guarda e tabela de decisão

Resolva o impossível primeiro e saia

Lembra do aninhamento profundo, o código flecha da aula passada? A cláusula de guarda é o jeito elegante de evitá-lo. A ideia é inverter a lógica: em vez de embrulhar todo o programa dentro de um grande SE deu tudo certo, você trata os casos que dão errado logo na entrada e sai imediatamente de cada um. Quando o programa passa por todas as guardas, você tem a garantia de que tudo que precisava estar certo está, e o resto do código roda reto, sem um único nível de indentação extra. É como um segurança na porta da balada: quem não tem idade, quem não está na lista, quem está sem documento, cada um é barrado na entrada; lá dentro, todo mundo que passou está apto, sem precisar reconferir.

função sacar(conta, valor)
  se conta não existe então
    escreva("Conta inválida")
    retorne
  fim
  se valor <= 0 então
    escreva("Valor inválido")
    retorne
  fim
  se valor > conta.saldo então
    escreva("Saldo insuficiente")
    retorne
  fim
  // daqui para baixo, tudo está garantido:
  conta.saldo <- conta.saldo - valor
  escreva("Saque realizado")
fim

Três guardas tratam os problemas na entrada. O saque, o caso principal, fica reto no nível de fora.

A cláusula de guarda na prática

Repare no ganho do exemplo do saque. Depois das três guardas, quando o programa chega na linha que de fato subtrai o valor do saldo, você não precisa mais lembrar de nada: a conta existe, o valor é positivo e há saldo suficiente. Tudo isso já foi garantido acima. O caso principal, aquele que realmente interessa, fica limpo e no nível de fora, fácil de achar e de entender. Comparado com três SE aninhados terminando lá no fundo da indentação, a versão com guardas se lê como uma lista de pré-condições seguida da ação. Essa clareza é ouro quando outra pessoa (ou você mesmo daqui a seis meses) precisa mexer no código.

A tabela de decisão: a grade que não esquece nenhum caso

Quando a decisão depende de duas ou três condições que se cruzam, segurar todas as combinações de cabeça fica arriscado. É fácil escrever o código para três dos quatro casos e esquecer o quarto, aquele que só acontece de vez em quando e some dos testes. A tabela de decisão resolve isso no papel, antes de programar: você lista cada condição numa coluna, cada linha vira uma combinação de sim e não, e ao lado escreve a ação. Com duas condições, são quatro linhas; com três, oito. A tabela vira um checklist visual: se toda linha tem uma ação definida, nenhum caso ficou órfão.