Le flux de contrôle (également appelé contrôle de flux) est un terme dans le domaine de l'informatique, qui signifie que des instructions individuelles (ou instructions, sous-programmes) sont exécutées ou évaluées lorsque le programme est en cours d'exécution. . commande. Que ce soit dans les langages de programmation déclaratifs ou dans les langages de programmation fonctionnels, on retrouve des concepts similaires.
Concepts de base
Dans les langages de programmation déclaratifs, les instructions de contrôle de flux font référence à des instructions qui modifient l'ordre d'exécution du programme, qui peuvent être des instructions à différents emplacements, ou en sélectionnant l'un des deux programmes (ou multi-sections) à exécuter.
Les instructions de contrôle de flux fournies par différents langages de programmation seront également différentes, mais elles peuvent généralement être divisées en quatre types suivants :
Continuer à s'exécuter à différents positions Un bloc d'instructions (instructions de branchement inconditionnel).
Si une condition spécifique est vraie, exécutez une instruction, telle que l'instruction switch en langage C, qui est une instruction de branchement conditionnel.
Exécutez une instruction plusieurs fois jusqu'à ce qu'une condition spécifique soit vraie. Par exemple, l'instruction for en langage C peut toujours être considérée comme une instruction de branchement conditionnel.
Exécutez une section d'instructions situées à différents endroits, mais une fois terminée, elle continuera à exécuter les instructions d'origine à exécuter, y compris les sous-programmes, les coroutines et les continuations.
Arrêtez le programme sans exécuter aucune instruction (arrêt inconditionnel).
Les mécanismes de niveau inférieur tels que les interruptions et les signaux dans les systèmes Unix peuvent également produire des effets de type sous-programme, mais ces mécanismes sont généralement utilisés pour répondre à des événements ou des entrées externes. L'auto-modification du programme affectera également le flux de contrôle en raison de son impact sur le code, mais la plupart d'entre eux n'auront pas d'instructions de contrôle de flux évidentes.
En langage machine ou en langage assembleur, le contrôle de flux est obtenu en modifiant la valeur du compteur du programme. Certains processeurs ne prennent en charge que les branches conditionnelles ou les branches inconditionnelles (parfois appelées sauts).
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!