Condizionale
Costrutto di controllo del flusso in cui il codice sceglie un percorso in base alla valutazione di una condizione vera o falsa: if, else, switch, match, operatore ternario.
È presente in quasi tutti i linguaggi di programmazione. Nei linguaggi funzionali if è un'espressione e restituisce un valore. Il pattern matching (Rust, Scala, Haskell, Swift, C# e Python moderni) è più potente di switch: scompone la struttura mentre confronta. Il codice branchless è una tecnica di ottimizzazione che evita le previsioni errate dei salti nei cicli critici. Valutazione a corto circuito: a && b non valuta b se a è falso.