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

中文名：流程控制

别名：控制流程

类别：计算机运算领域的用语

释义：个别的指令运行或求值的顺序

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

其他的研究说明若控制结构只有一个进入点（entry）及一个退出点（exit），这样的程序会比其他型式的程序容易理解。因此这样的程序可以像一个指令一样放在程序的任何部份，不必担心会破坏其结构，换句话说，这种程序是“可组成的”（composable）。

在一些函数编程语言（例如Haskell和Scheme）中会使用递归或不动点组合子来达到循环的效果，其中尾部递归是一种特别的递归，很容易转换为迭代。

条件处理

PL/I编程语言中有22种标准的条件（如 ZERODIVIDE SUBSCRIPTRANGE ENDFILE），可以在程序中设置，当特定条件成立时需进行的指令，程序设计者也可以定义自己的条件，并在程序中使用。

条件成立时，只能设置一个需进行的指令（类似未结构化的if指令），大部份的应用中，都会指定运行goto指令，跳到其他代码运行对应的流程。

不过因为有些条件处理的实现会增加许多代码及运行时间（特别SUBSCRIPTRANGE），所以许多程序设计者会尽量不使用条件处理。

条件处理的语法如下:

ON 条件 GOTO label

异常处理

有些编程语言可提供不需要使用GOTO的结构化异常处理程序：

try{xxx1//Somewhereinherexxx2//use:'''throw'''someValue;xxx3}catch(someClass&someId){//catchvalueofsomeClassactionForSomeClass}catch(someType&anotherId){//catchvalueofsomeTypeactionForSomeType}catch(...){//catchanythingnotalreadycaughtactionForAnythingElse}

在try{...}的区块中，若 有异常情形时，程序就会离开try的区块，由后续的一个或多个catch子句判断需运行何种异常处理。在D、Java、C#及Python编程语言 中，try{...}区块中还可以加入一个finally子句，不管程序流程是否离开try{...}区块，finally子句中的程序都一定会运行，常 用在当程序退出处理时，需要放弃一些外部资源（文件或数据库链接）的情形下：

FileStreamstm=null;//C#exampletry{stm=newFileStream("logfile.txt",FileMode.Create);returnProcessStuff(stm);//maythrowanexception}finally{if(stm!=null)stm.Close();}

由于上述情形相当普遍，C#提供一种特殊的语法进行相同的处理：

using(FileStreamstm=newFileStream("logfile.txt",FileMode.Create)){returnProcessStuff(stm);//maythrowanexception}

只要离开 using区块，编译器会自动释放stm对象，Python的 with指令及也有类似的功能。

这些语言都有定义标准的异常情形及其出现的条件，程序设计者也可以丢出自己产生的异常（其实C++及Python的throw和catch支持绝大多数形态的对象）。

若某一个throw指令找不到对应的catch，控制流程会离开目前的副程序或控制结构，设法找到对应的catch，若到主程序的结尾还是找不到对应的catch，程序会强制退出，并显示适当的错误信息。

AppleScript脚本语言可以将"try"区块分为几个部份，提供不同的信息及异常：

trysetmyNumbertomyNumber/0onerrorenumbernfromftotpartialresultprif(e="Can'tdividebyzero")thendisplaydialog"Youidiot!"endtry

延续性

延续性（Continuation）可以将目前子程序的运行状态（包括目前的堆栈，区部变量及运行到的位置）存储成一个对象，后续在其他子程序中可以利用此对象回到此子程序现在的运行状态。

延续性一词也可以指第一类延续性（first-class continuation），是指编程语言可以在任意时间点存储目前的运行状态，并在之后回到之前存储的运行状态。

程序需要分配空间给子程序用到的区域变量，而且在子程序退出时需发布这些变量用到的空间。许多编程语言利用调用堆栈来存放这些变量，可以简单快速的分配及发布空间。也有一些编程语言使用动态存储器分配来存储变量，可以较灵活的分配变量，但分配及发布空间较不方便。这二个架构下延续性的处理方式也会不同，各有其优点及缺点。

Scheme语言利用call-with-current-continuation函数（缩写为call/cc） 可提供延续性功能。