Structure conditionnelle
Construction de flux de contrôle où le code choisit son chemin selon l'évaluation d'une condition (vrai/faux). if, else, switch, match, opérateur ternaire.
Présente dans à peu près tous les langages. Dans les langages fonctionnels, if est une expression (elle renvoie une valeur). Le filtrage par motif (Rust, Scala, Haskell, Swift, C# et Python récents) est plus puissant que switch : il déstructure en même temps qu'il compare. Le code sans branchement est une technique d'optimisation qui évite les erreurs de prédiction de branchement dans les boucles critiques. Évaluation en court-circuit : a && b n'évalue pas b si a est faux.