A bifurcação SE: quando o programa escolhe um caminho

A pergunta que divide o caminho

Todos os seus algoritmos até agora eram uma avenida sem cruzamento: a máquina executava a primeira linha, depois a segunda, depois a terceira, sem escolher nada. Só que a vida não funciona assim, e os programas úteis também não. O caixa eletrônico só entrega o dinheiro SE o saldo for suficiente. A catraca do metrô só gira SE o cartão tiver crédito. O aplicativo só envia o alerta SE a chuva estiver prevista. Esse comportamento tem nome e forma: é o comando SE, a primeira estrutura de decisão do curso.

E aqui as peças dos módulos anteriores se encaixam com um clique. No módulo 6 você aprendeu comparações, que produzem V ou F. No módulo 7, os operadores E, OU e NÃO, que combinam esses valores, com direito a tabela-verdade. Faltava a pergunta óbvia: V ou F para quê? A resposta é o SE. A condição do SE é exatamente uma dessas expressões, e o valor final dela decide o rumo do programa. Comparação e operador lógico são o motor; o SE é o volante.

Anatomia do SE em pseudocódigo

Em pseudocódigo, o SE tem três partes fixas: a palavra se seguida da condição, a palavra então marcando o início do bloco e a palavra fim marcando onde o bloco termina. Tudo o que fica entre então e fim só executa com condição V. Tudo o que fica DEPOIS do fim executa sempre, porque já está fora da decisão. Essa fronteira do fim é o detalhe que mais derruba iniciantes: o SE não encerra o programa, só protege um trecho dele.

leia(saldo)
se saldo >= 50 então
  escreva("Saque liberado")
fim
escreva("Obrigado por usar o caixa")
// com saldo 80, a saída é: Saque liberado / Obrigado por usar o caixa
// com saldo 30, a saída é apenas: Obrigado por usar o caixa

O bloco protegido executa só com V; a última linha executa sempre, porque está fora do SE.

idade <- 15
se idade >= 18 então
  escreva("Entrada liberada")
fim
escreva("Fim do atendimento")

Repare no que o jogo cobra: não basta avaliar a condição, é preciso saber ONDE cada instrução mora. A pergunta de ouro diante de qualquer SE é dupla: essa condição vale V ou F com estes dados? E esta linha está dentro ou fora do bloco? Programadores experientes leem um SE como quem lê um mapa de pedágio: primeiro acham a cancela (a condição), depois conferem quais estradas ficam atrás dela e quais são livres.

Toda condição precisa valer V ou F

A condição do SE aceita qualquer expressão que produza um valor lógico: uma comparação simples (nota >= 7), uma combinação com E (idade >= 18 E temIngresso = “sim”), uma negação com NÃO. O que ela não aceita é ambiguidade. “Se o cliente for bom” não é condição; “se comprasTotal >= 10” é. Sempre que a frase do problema estiver vaga, o seu trabalho de lógica é traduzi-la para uma pergunta de V ou F antes de escrever o SE. Esse hábito vem direto do módulo 1: o computador é literal.

Um detalhe que economiza confusão: o SE avalia a condição UMA vez, no momento em que a execução passa por ele, usando os valores que as variáveis têm naquele instante. Se o saldo mudar três linhas depois, o SE lá de cima não “percebe” nada, porque já ficou para trás. Decisão em algoritmo é fotografia, não filme. Quando você precisar reavaliar uma condição várias vezes, a ferramenta certa será o laço ENQUANTO do módulo 9, que é justamente um SE que insiste.