迭代

迭代（英語：iteration），一作迭代，是重複反饋過程的活動，其目的通常是為了接近並且到達所需的目標或結果。每一次對過程的重複被稱為一次「迭代」，而每一次迭代得到的結果會被用來作為下一次迭代的初始值。

在數學中

一個五邊形的迭代。將對角用直線段連起來得到一個五角星，後者中心圍成了一個倒過來的小五邊形。迭代地執行這一過程會產生一系列嵌套的五邊形和五角星。

數學中的迭代可以指函數迭代的過程，即反覆地運用同一函數計算，前一次迭代得到的結果被用於作為下一次迭代的輸入。即使是看上去很簡單的函數，在經過迭代之後也可能產生複雜的行為，衍生出具有難度的問題。這樣的例子可以參見考拉茲猜想和雜耍者序列（Juggler sequence）。又如一個簡單的二次變換x→x(1-x)，它的迭代將形成一個具有混沌性質的動力系統。

迭代在數學中的另一應用是迭代法，用來對特定數學問題作數值解估計。牛頓法就是迭代法的一個例子。

在電腦中

在計算機科學中，迭代是程序中對一組指令（或一定步驟）的重複。它既可以被用作通用的術語（與「重複」同義），也可以用來描述一種特定形式的具有可變狀態的重複。

在第一種意義下，遞歸是迭代的一個例子，但是通常使用一種遞歸式的表達。比如用0!=1，n!=n*(n-1)!來表示階乘。而迭代通常不是這樣寫的。

而在第二種（更嚴格的）意義下，迭代描述了在指令式編程語言中使用的編程風格。與之形成對比的是遞歸，它更偏向於聲明式的風格。

這裡是一個依賴於破壞性賦值的迭代的例子，以指令式的虛擬碼寫成：

var i, a = 0         // 迭代前初始化
for i from 1 to 3    // 重複3次
{
    a = a + i        // a的值增加i
}
print a              // 打印出數字6

在這個程序片段中，變量i的值會不斷改變，依次取值1、2和3。這種改變賦值——或者叫做可變狀態——是迭代的特徵。這裡是二分法解方程的遞歸和迭代算法的比較。

遞歸：

確定開區間左邊界和右邊界，(L, R)
若L + 1 >= R（即不包含整數點），表示序列中不存在f(x)
取中位 M = (L + R) / 2
若f(M) == y，返回M
否則根據f(M)和y的關係遞歸查找(L, M)或(M, R)

迭代：

確定邊界(L, R)
while (L + 1 < R) /* 區間中包含整點 */
求中位M = (L + R) / 2
若f(M)等於y，退出循環
根據f(M)與y的關係執行 L = M 或 R = M，進入下一輪循環

在函數編程語言中，迭代可以用遞歸技巧來。

下述例子用Scheme語言寫成。注意它是一個遞歸（迭代的特例），因為函數iter在解決問題時調用了自身。特別地，它使用了尾部遞歸，一種能被Scheme這樣的編程語言完備支持的技巧，因此程序不會占用大量堆棧。

;; sum : number -> number
;; to sum the first n natural numbers
(define(sum n)
  (if (and (integer? n) (> n 0))
     (let iter ([n n] [i 1])
       (if (= n 1)
            i
            (iter (- n 1) (+ n i))))
      ((assertion-violation
       'sum "invalid argument" n))))

迭代器（iterator）就是一個封裝了迭代的對象。