Condicional
Construção de controle de fluxo em que o código escolhe um caminho com base numa avaliação verdadeiro/falso. if, else, switch, match, operador ternário.
Universal em quase todas as linguagens de programação. Linguagens funcionais têm if como expressão (retorna valor). Pattern matching (Rust, Scala, Haskell, Swift, C# e Python modernos) é mais poderoso que switch — desestrutura enquanto compara. Branchless code é uma técnica de otimização para evitar branch mispredictions em hot loops. Avaliação em curto-circuito: a && b não avalia b se a for falso.