流程控制包括哪些内容

控制流程（也称为流程控制）是计算机运算领域的用语，意指在程序运行时，个别的指令（或是陈述、子程序）运行或求值的顺序。不论是在声明式编程语言或是函数编程语言中，都有类似的概念。

基本概念

在声明式的编程语言中，流程控制指令是指会改变程序运行顺序的指令，可能是运行不同位置的指令，或是在二段（或多段）程序中选择一个运行。

不同的编程语言所提供的流程控制指令也会随之不同，但一般可以分为以下四种：

继续运行位在不同位置的一段指令（无条件分支指令）。

若特定条件成立时，运行一段指令，例如C语言的switch指令，是一种有条件分支指令。

运行一段指令若干次，直到特定条件成立为止，例如C语言的for指令，仍然可视为一种有条件分支指令。

运行位于不同位置的一段指令，但完成后会继续运行原来要运行的指令，包括子程序、协程（coroutine）及延续性（continuation）。

停止程序，不运行任何指令（无条件的终止）。

中断以及Unix系统中的信号等较低级的机制也可以造成类似子程序的效果，不过通常这类机制会用来回应外部的事件或是输入。程序自修改因为其对代码的影响，也会影响控制流程，但多半不会有明显的流程控制指令。

在机器语言或汇编语言中，流程控制是借由修改程序计数器数值来达到。一些中央处理器只支持条件分支（branch）或是无条件分支（有时会称为jump）。