Instrukcja warunkowa
Konstrukcja sterująca przepływem, w której kod wybiera ścieżkę na podstawie wartości logicznej warunku. if, else, switch, match, operator trójargumentowy.
Występuje w niemal każdym języku programowania. W językach funkcyjnych if jest wyrażeniem (zwraca wartość). Dopasowywanie wzorców (Rust, Scala, Haskell, Swift, nowoczesne C# i Python) jest potężniejsze niż switch — rozbiera strukturę w trakcie dopasowania. Kod bezgałęziowy to technika optymalizacji pozwalająca uniknąć błędnych przewidywań skoków w gorących pętlach. Skrócona ewaluacja: a && b nie oblicza b, jeśli a jest fałszem.