SENÃO: o plano B de toda decisão

O plano B da decisão

Na aula passada, o porteiro da festa deixava entrar quem estava na lista e simplesmente ignorava quem não estava. Funciona, mas a vida real costuma exigir uma resposta para os dois casos. O caixa eletrônico não fica mudo quando falta saldo: mostra “saldo insuficiente”. O site não finge que nada aconteceu quando a senha está errada: avisa e pede de novo. Esse segundo comportamento, o que fazer quando a condição dá F, é o território do SENÃO. Ele completa a bifurcação: um caminho para o V, outro para o F.

O detalhe mais importante do SENÃO é o que ele NÃO tem: condição própria. Você não escreve “senão saldo < valor”; escreve apenas senão. Ele herda automaticamente o contrário exato da condição do SE, como o verso de uma moeda. É uma garantia poderosa: não existe valor de entrada que escape dos dois blocos, nem valor que caia nos dois ao mesmo tempo. Em lógica, dizemos que os caminhos são exaustivos (cobrem tudo) e exclusivos (não se sobrepõem).

Um caminho ou outro, nunca os dois

leia(precoTotal)
leia(valorPago)
se valorPago >= precoTotal então
  troco <- valorPago - precoTotal
  escreva("Troco: ", troco)
senão
  falta <- precoTotal - valorPago
  escreva("Falta pagar: ", falta)
fim
// pagou 50 numa conta de 42: Troco: 8
// pagou 30 numa conta de 42: Falta pagar: 12

A padaria com plano B: qualquer valor pago cai em exatamente um dos dois blocos.

Acompanhe o pseudocódigo com os dois cenários do comentário. Com 50 pagos numa conta de 42, a condição valorPago >= precoTotal vale V: o bloco do ENTÃO calcula e mostra o troco de 8, e o bloco do SENÃO nem é olhado. Com 30 pagos, a condição vale F: agora é o bloco do SENÃO que roda, mostrando que faltam 12, e o cálculo do troco fica intocado. Note a elegância: uma única pergunta organiza os dois desfechos possíveis da padaria, sem lacuna e sem sobreposição.

Se você hesitou no item dos 42 exatos, ótimo sinal: essa fronteira é onde moram os bugs de verdade. A escolha entre > e >= muda o destino do caso limite, e o módulo 6 já tinha avisado que esses dois sinais não são irmãos gêmeos. Ao escrever um SE com SENÃO, teste mentalmente três valores: um claramente acima, um claramente abaixo e o valor exato da fronteira. Três segundos de teste de mesa evitam uma tarde de reclamação de cliente.

Quando usar SENÃO (e os erros de quem começa)

Nem todo SE precisa de SENÃO. A pergunta que decide é: o caso F merece uma ação? No desconto com cupom, não: sem cupom, o preço segue normal e o silêncio é o comportamento correto. Na validação de senha, sim: o usuário precisa saber que errou. Adicionar SENÃO vazio “por garantia” só polui o algoritmo; omitir SENÃO onde o caso F precisava de resposta cria programas que falham em silêncio, o tipo de defeito mais difícil de notar. A regra do curso: escreva o SENÃO quando o F tem consequência.

Vale registrar o quanto você avançou: com variáveis, entrada e saída, contas, comparações, operadores lógicos e agora a bifurcação completa, seus algoritmos já reagem ao mundo. O boletim que aprova ou reprova, a catraca que libera ou trava, o caixa que paga ou nega: todos cabem no que você sabe. As próximas aulas só esticam essa ideia, porque a vida raramente se divide em apenas dois casos. Prepare-se para a escada.