目录 |
程序循环是计算机科学运算领域的用语，也是一种常见的控制流程。循环是一段在程序中只出现一次，但可能会连续运行多次的代码。循环中的代码会运行特定的次数，或者是运行到特定条件成立时结束循环，或者是针对某一集合中的所有项目都运行一次。
在一些函数编程语言（例如Haskell和Scheme）中会使用递归或不动点组合子来达到循环的效果，其中尾部递归是一种特别的递归，很容易转换为迭代。
大部分编程语言都提供循环的指令，可以依指定的次数重复运行一段程序。若指定的次数N小于1，编程语言会忽略整个循环不去运行，若指定的次数N为1，则循环只会运行一次。在循环进行时，循环计数器也会随着变化，大部分的编程语言可以允许循环计数器上数或是下数，每次的变化量可以是1或是其他不为0的数值。
大多数的编程语言都有指令，可以在特定条件成立时继续循环的进行，或是特定条件不成立时继续循环的进行，进行到特定条件成立为止。前者一般会标示while，后者一般会标示until。其判断条件可能在循环一开始就进行，或是在循环最后才进行。前者的循环不一定会运行，而后者1的循环至少会运行一次。
许多编程语言支持一种特别的循环，可以针对一个数组中的元素或是一个集合中的所有成员进行循环中的指令，包括Ada、D语言、Smalltalk、Perl、Java、C#、Visual Basic、Ruby、Python、JavaScript、Fortran 95等编程语言都有这类的循环结构。
有些编程语言有泛用循环结构，可以用来表示指定次数或指定条件的循环，像C语言的for指令或是Common Lisp语言中的do指令都是这类的例子，不过为了程序的可读性考量，在这些编程语言中还是尽量使用一些含义较明确的指令（如while指令）。
死循环一般会用在有一段程序需要永远运行，或是该程序在没有发生特殊事件（如故障）时需要永远运行的场合，例如一个事件驱动的程序需要持续运行循环，处理发生的事件，直到用户结束或中断程序为止。若在指定条件的循环中，其判断条件用到的变量数值永远不会改变，这种程序错误也会使得此循环变成死循环。
当使用指定次数的循环查表时，会希望在查到需要的数据时就可以直接结束循环的进行，有些编程语言可以用break或exit的指令达到这様的功能，这些指令会结束这个循环，接着会运行循环后面的指令。若此循环在副程序中，也可以用return中断循环的进行，同时离开副程序。
有时在使用循环的程序中会希望在特定情形下跳过目前循环区块的指令，回到循环开始运行下一个循环，一般这类的指令会命名为continue、skip或next，其效果是提早结束这次循环的进行，继续进行下一个循环，若此循环已经是最后一次运行，这类指令会结束循环的进行，继续进行后续的指令。
像Perl及Ruby等编程语言有redo指令，可以重新运行目前的循环，若在指定次数的循环中，其循环计数器的数值不会变化。Ruby编程语言有retry指令，可以让循环计数器回到初值，重新运行整个循环。
循环变式（Loop variant）及循环不变式（Loop invariant）是判断循环正确性的工具。循环变式是一个初值不为负的整数表示式，在每次运行循环时循环变式的数值需减少，但在正常的循环运行过程中循环变式的数值不会变成负值。循环变式用来确保循环会结束。 循环不变式是一个和循环有关的判断式，在第一次进入循环之前，循环不变式的值需为真，在后续每一次运行循环时，其值也要为真。当循环正确的结束时，其终止条件和循环不变式都会成立。循环不变式可用来监控在循环进行时，某一指定性质的状态。
像是Eiffel之类的编程语言本身就有支持循环变式及循环不变式，其他语言可能需要有附加组件才能支持此功能，例如Java就需要配合Java建模语言（Java Modeling Language）规范的loop statements才能支持此机能。