迴圈

迴圈是これ计算机つくえ科学かがく運算うんざん領域りょういき的てき用語ようご，也是一いち種しゅ常見つねみ的てき控ひかえ制せい流りゅう程ほど。迴圈是ぜ一段在程式中只出現一次，但ただし可能かのう會かい連續れんぞく執行しっこう多た次つぎ的てき程ほど式しき碼。迴圈中ちゅう的てき程ほど式しき碼會執行しっこう特定とくてい的てき次數じすう，或ある者もの是ぜ執行しっこう到いた特定とくてい條件じょうけん成立せいりつ時じ結束けっそく迴圈，或ある者もの是ぜ針はり對たい某ぼう一集合中的所有項目都執行一次。

在ざい一いち些函數かんすう程ほど式しき語ご言げん（例れい如Haskell和わScheme）中ちゅう會かい使用しよう递归或ある不ふ动点组合子こ來き達たち到いた迴圈的てき效果こうか，其中尾お部ぶ递归是ぜ一いち種しゅ特別とくべつ的てき递归，很容易ようい轉換てんかん為ため迭代。

指定してい執行しっこう次數じすう的てき迴圈(for loop)

主しゅ条目じょうもく：For迴圈

参まいり见：迴圈计数器き

大部おおぶ份程式しき語ご言げん都と提供ていきょう迴圈的てき指令しれい，可か以依指定してい的てき次つぎ數すう重じゅう覆くつがえ執行しっこう一いち段だん程ほど式しき。

若わか指定してい的てき次數じすうN小しょう於1，程ほど式しき語ご言げん會かい忽ゆるがせ略りゃく整せい個こ迴圈不ふ去さ執行しっこう，若わか指定してい的てき次數じすうN為ため1，則のり迴圈只ただ會かい執行しっこう一いち次じ。

在ざい迴圈進行しんこう時じ，迴圈计数器き也會隨ずい著ちょ變化へんか，大部おおぶ份的程ほど式しき語ご言げん可か以允許いんきょ迴圈计数器き上じょう數すう或ある是ぜ下か數すう，每次まいじ的てき變化へんか量りょう可か以是1或ある是ぜ其他不為ふため0的てき數すう值。

   FOR I = 1 TO N            for I := 1 to N do begin
       xxx                       xxx
   NEXT I                    end;

   DO I = 1,N                for ( I=1; I<=N; ++I ) {
       xxx                       xxx
   END DO                    }

在ざい許多きょた程ほど式しき語ご言げん中ちゅう，迴圈计数器き要よう使用しよう整數せいすう才能さいのう得え到いた準じゅん確かく的てき結果けっか。由よし於硬體たい的てき限きり制せい，在ざい迴圈计数器き使用しよう浮點數すう時とき，結果けっか可能かのう會かい不ふ符ふ預あずか期き，如以下か的てき迴圈

   for X := 0.1 step 0.1 to 1.0 do

依よ其四捨五入ししゃごにゅう的てき誤差ごさ、硬かた體からだ及編譯やく器き的てき差異さい，不ふ一定いってい會かい執行しっこう10次じ，可能かのう只ただ會かい執行しっこう9次じ。而且X的てき數すう值可能會のうかい有ゆう些誤差さ，不ふ是ぜ預あずか期き的てき0.1, 0.2, 0.3, ..., 1.0。

指定してい條件じょうけん的てき迴圈(while loop/doWhile loop)

主しゅ条目じょうもく：While迴圈

参まいり见：Do-while迴圈

大だい多數たすう的てき程ほど式しき語ご言げん都と有ゆう指令しれい，可か以在特定とくてい條件じょうけん成立せいりつ時じ繼續けいぞく迴圈的てき進行しんこう，或ある是ぜ特定とくてい條件じょうけん不成立ふせいりつ時じ繼續けいぞく迴圈的てき進行しんこう，進行しんこう到いた特定とくてい條件じょうけん成立せいりつ為ため止どめ。前者ぜんしゃ一般いっぱん會かい標示ひょうじwhile，後者こうしゃ一般いっぱん會かい標示ひょうじuntil。

其判斷はんだん條件じょうけん可能かのう在ざい迴圈一いち開始かいし就進行しんこう，或ある是ぜ在ざい迴圈最後さいご才ざい進行しんこう。前者ぜんしゃ的てき迴圈不ふ一定いってい會かい執行しっこう，而後者しゃ1的てき迴圈至いたり少しょう會かい執行しっこう一いち次じ。

   DO WHILE (test)           repeat 
       xxx                       xxx 
   LOOP                      until test;

   while (test) {            do
       xxx                       xxx
   }                         while (test);

指定してい集合しゅうごう的てき迴圈

主しゅ条目じょうもく：Foreach迴圈

許多きょた程ほど式しき語ご言げん支援しえん一いち種しゅ特別とくべつ的てき迴圈，可か以針對たい一いち個こ陣列じんれつ中ちゅう的てき元素げんそ或ある是ぜ一個集合中的所有成員進行迴圈中的指令，包括ほうかつAda、D語ご言げん、Smalltalk、Perl、C#、Visual Basic、Ruby、Python、Java、JavaScript、Fortran 95等とう程ほど式しき語ご言げん都と有ゆう這類的てき迴圈結構けっこう：

   someCollection do: [:eachElement |xxx].

   foreach (item; myCollection) { xxx }

   foreach someArray { xxx }

   Collection<String> coll; for (String s : coll) {}

   foreach (string s in myStringCollection) { xxx }

   $someCollection | ForEach-Object { $_ }
   
   forall ( index = first:last:step... )

泛用迴圈結構けっこう

有ゆう些程式しき語ご言げん有ゆう泛用迴圈結構けっこう，可か以用來らい表示ひょうじ指定してい次數じすう或ある指定してい條件じょうけん的てき迴圈，像ぞうC語ご言げん的てきfor指令しれい或ある是ぜCommon Lisp語かたり言ごと中ちゅう的てきdo指令しれい都と是ぜ這類的てき例れい子こ，不ふ過か為ため了りょう程ほど式しき的てき可讀かどく性せい考量こうりょう，在ざい這些程ほど式しき語ご言げん中ちゅう還かえ是ぜ儘量使用しよう一些含義較明確的指令（如while指令しれい）。

無窮むきゅう迴圈

無窮むきゅう迴圈一般會用在有一段程式需要永遠執行，或ある是ぜ該程式しき在ざい沒ぼつ有ゆう發生はっせい特殊とくしゅ事件じけん（如故障こしょう）時じ需要じゅよう永遠えいえん執行しっこう的てき場合ばあい，例れい如一個事件驅動的程式需要持續執行迴圈，處理しょり發生はっせい的てき事件じけん，直ちょく到いた使用しよう者しゃ結束けっそく或ある中斷ちゅうだん程ほど式しき為ため止どめ。

若わか在ざい指定してい條件じょうけん的てき迴圈中ちゅう，其判斷はんだん條件じょうけん用よう到いた的てき變數へんすう數すう值永遠えいえん不ふ會かい改變かいへん，這種程ほど式しき錯誤さくご也會使し得とく此迴圈けん變成へんせい無窮むきゅう迴圈。

提ひさげ早さ結束けっそく整せい個こ迴圈

當とう使用しよう指定してい次數じすう的てき迴圈查表時じ，會かい希望きぼう在ざい查到需要じゅよう的てき資料しりょう時じ就可以直接ちょくせつ結束けっそく迴圈的てき進行しんこう，有ゆう些程式しき語ご言げん可か以用break或あるexit的てき指令しれい達たち到いた這様的てき功こう能のう，這些指令しれい會かい結束けっそく這個迴圈，接せっ著ちょ會かい執行しっこう迴圈後ご面めん的てき指令しれい。若わか此迴圈けん在ざい副ふく程ほど式しき中ちゅう，也可以用return中斷ちゅうだん迴圈的てき進行しんこう， 同時どうじ離はなれ開ひらき副ふく程ほど式しき。

以下いか是ぜAda程ほど式しき語ご言げん的てき一いち個こ範はん例れい，利用りようexit ... when...的てき方式ほうしき中ちゅう提ひっさげ早さ結束けっそく迴圈。

with Ada.Text IO;
with Ada.Integer Text IO;

procedure Print_Squares is 
    X : Integer;
begin
    Read_Data : loop
        Ada.Integer Text IO.Get(X);
    exit Read_Data when X = 0;
        Ada.Text IO.Put (X * X);
        Ada.Text IO.New_Line;
    end loop Read_Data;
end Print_Squares;

Python支援しえん一いち個こ特別とくべつ的てき條件じょうけん判斷はんだん式しき，可か以根據こんきょ最近さいきん使用しよう迴圈是ぜ否ひ曾用break提ひさげ早さ結束けっそく而做不同ふどう的てき處理しょり，舉例如下：

for n in set_of_numbers:
    if isprime(n):
        print "Set contains a prime number"
        break
else:
    print "Set did not contain any prime numbers"

上うえ例れい中ちゅう的てきelse子こ句く是ぜfor迴圈的てき一部いちぶ份，不ふ是ぜ內層if區く塊かたまり的てき一部いちぶ份。Python語ご言げん的てきfor迴圈及while 迴圈都と支援しえんelse子こ句く，當とう迴圈沒ぼつ有用ゆうようbreak提ひさげ早さ結束けっそく時じ就會執行しっこう。

迴圈的てき特殊とくしゅ指令しれい

有ゆう時じ在ざい使用しよう迴圈的てき程ほど式しき中ちゅう會かい希望きぼう在ざい特定とくてい情じょう形がた下か跳とべ過か目前もくぜん迴圈區く塊かたまり的てき指令しれい，回かい到いた迴圈開始かいし執行しっこう下か一いち個こ迴圈，一般這類的指令會命名為continue、skip或あるnext，其效果こうか是ぜ提ひさげ早さ結束けっそく這次迴圈的てき進行しんこう，繼續けいぞく進行しんこう下か一いち個こ迴圈，若わか此迴圈けん已やめ經けい是ぜ最後さいご一いち次じ執行しっこう，這類指令しれい會かい結束けっそく迴圈的てき進行しんこう，繼續けいぞく進行しんこう後續こうぞく的てき指令しれい。

像ぞうPerl及Ruby等とう程ほど式しき語ご言げん有ゆうredo指令しれい，可か以重新しん執行しっこう目前もくぜん的てき迴圈，若わか在ざい指定してい次數じすう的てき迴圈中ちゅう，其迴圈けん計數けいすう器き的てき數すう值不會かい變化へんか。Ruby程ほど式しき語ご言げん有ゆうretry指令しれい，可か以讓迴圈計數けいすう器き回かい到いた初はつ值，重じゅう新しん執行しっこう整せい個こ迴圈。

迴圈變へん式しき及迴圈けん不變ふへん式しき

迴圈變へん式しき及迴圈不變ふへん式しき是ぜ判斷はんだん迴圈正確せいかく性せい的てき工具こうぐ。

迴圈變へん式しき是ぜ一個初值不為負的整數表示式，在ざい每次まいじ執行しっこう迴圈時じ迴圈變へん式しき的てき數すう值需減少げんしょう，但ただし在ざい正常せいじょう的てき迴圈執行しっこう過程かてい中ちゅう迴圈變へん式しき的てき數すう值不會かい變成へんせい負ふ值。迴圈變へん式しき用よう來らい確保かくほ迴圈會かい結束けっそく。

迴圈不變ふへん式しき是ぜ一個和迴圈有關的判斷式，在ざい第だい一いち次じ進入しんにゅう迴圈之の前まえ，迴圈不變ふへん式しき的てき值需為真ためざに，在ざい後續こうぞく每ごと一いち次じ執行しっこう迴圈時じ，其值也要為真ためざに。當とう迴圈正確せいかく的てき結束けっそく時じ，其終止しゅうし條件じょうけん和わ迴圈不變ふへん式しき都會とかい成立せいりつ。迴圈不變ふへん式しき可用かよう來らい監かん控ひかえ在ざい迴圈進行しんこう時じ，某ぼう一いち指定してい性質せいしつ的てき狀態じょうたい。

像ぞう是ぜEiffel之これ類るい的てき程ほど式しき語ご言げん本身ほんみ就有支援しえん迴圈變へん式しき及迴圈けん不變ふへん式しき，其他語ご言げん可能かのう需要じゅよう有ゆう附加ふか元もと件けん才能さいのう支持しじ此功能のう，例れい如Java就需要よう配合はいごうJava建けん模も語ご言げん規範きはん的てきloop statements （页面存そん档备份，存そん于互联网档案あん馆）才能さいのう支持しじ此機能きのう。

不同ふどう語ご言げん的てき迴圈比較ひかく表ひょう

程ほど式しき語ご言げん	條件じょうけん判斷はんだん式しき			迴圈				early exit	continuation	redo	retry	正確せいかく性せい判斷はんだん機き制せい
	迴圈啟けい始はじめ	迴圈中間ちゅうかん	迴圈結尾けつび	指定してい次數じすう	指定してい集合しゅうごう	泛用	無窮むきゅう					迴圈變へん式しき	迴圈不變ふへん式しき
Ada	是これ	是これ	是これ	是これ	只ただ針はり對たい陣列じんれつ	否いや	是これ	多層たそう迴圈	否いや
C	是これ	否いや	是これ	否いや	否いや	是これ	否いや	多層たそう迴圈	多層たそう迴圈	否いや
C++	是これ	否いや	是これ	否いや	是これ	是これ	否いや	多層たそう迴圈	多層たそう迴圈	否いや
C#	是これ	否いや	是これ	否いや	是これ	是これ	否いや	多層たそう迴圈	多層たそう迴圈
Common Lisp	是これ	是これ	是これ	是これ	是これ	是これ	是これ	多層たそう迴圈	否いや
Eiffel	是これ	否いや	否いや	是これ	是これ	是これ	否いや	一層いっそう迴圈	否いや	否いや	否いや	是これ	是これ
F#	是これ	否いや	否いや	是これ	是これ	否いや	否いや	否いや	否いや	否いや
FORTRAN 77	是これ	否いや	否いや	是これ	否いや	否いや	否いや	一層いっそう迴圈	是これ
FORTRAN 90	是これ	否いや	否いや	是これ	否いや	否いや	是これ	多層たそう迴圈	是これ
FORTRAN 95及後續こうぞく版本はんぽん	是これ	否いや	否いや	是これ	陣列じんれつ	否いや	是これ	多層たそう迴圈	是これ
Haskell	否いや	否いや	否いや	否いや	是これ	否いや	是これ	否いや	否いや	否いや
Java	是これ	否いや	是これ	否いや	是これ	是これ	否いや	多層たそう迴圈	多層たそう迴圈	否いや		非ひ原生げんせい(non-native)	非ひ原生げんせい(non-native)
JavaScript	是これ	否いや	是これ	否いや	是これ	是これ	否いや	多層たそう迴圈	多層たそう迴圈	否いや
OCaml	是これ	否いや	否いや	是これ	陣列じんれつ及列表ひょう（list）	否いや	否いや	否いや	否いや	否いや
PHP	是これ	否いや	是これ	否いや	是これ	是これ	否いや	多層たそう迴圈	多層たそう迴圈	否いや
Perl	是これ	否いや	是これ	否いや	是これ	是これ	否いや	多層たそう迴圈	多層たそう迴圈	是これ
Python	是これ	否いや	否いや	否いや	是これ	否いや	否いや	多層たそう迴圈	多層たそう迴圈	否いや
REBOL	否いや	是これ	是これ	是これ	是これ	否いや	是これ	一層いっそう迴圈	否いや	否いや
Ruby	是これ	否いや	是これ	是これ	是これ	否いや	是これ	多層たそう迴圈	多層たそう迴圈	是これ	是これ
Standard ML	是これ	否いや	否いや	否いや	陣列じんれつ，列れつ表ひょう（list）	否いや	否いや	否いや	否いや	否いや
Visual Basic .NET	是これ	否いや	是これ	是これ	是これ	否いや	是これ	每まい種たね迴圈一いち層そう	每まい種たね迴圈一いち層そう
Windows PowerShell	是これ	否いや	是これ	否いや	是これ	是これ	否いや	?	是これ

1. ^a 此項只ただ考慮こうりょ專用せんよう的てき無窮むきゅう迴圈程ほど式しき結構けっこう，因いん此while (true)和わfor ( ; ; )都と不ふ算さん在ざい內。
2. ^{a b c d e f g h} C語ご言げん的てきfor (init; test; increment)迴圈是ぜ一いち個こ通用つうよう的てき迴圈指令しれい，累加るいか量りょう也不一定いってい要よう為ため1。
3. ^{a b c} 在ざいC、C++及C#中ちゅう，跳とべ出で多層たそう迴圈可か以用label和わgoto指令しれい達たち到いた。
4. ^a 在ざいPHP 5中ちゅう已やめ支援しえん （页面存そん档备份，存そん于互联网档案あん馆）配合はいごう物件ぶっけん的てき迴圈。
5. ^{a b c} 指定してい次數じすう的てき迴圈可か以用重おも覆くつがえincrementing list或あるgenerator的てき方式ほうしき來らい達たち到いた其效果こうか，例れい如Python中ちゅう的てきrange()。
6. ^{a b c d e} 可か以用异常处理來らい跳とべ出で多層たそう迴圈。
7. ^a 沒ぼつ有ゆう專門せんもん指令しれい，但ただしwhile指令しれい可か以用作さく此用途ようと。
8. ^a 沒ぼつ有ゆう專門せんもん指令しれい，但ただし使用しよう者しゃ可か以定義ていぎ通用つうよう迴圈指令しれい。
9. ^a 正せい在ざい計けい劃的C++0x標準ひょうじゅん中ちゅう已やめ加入かにゅう以範圍はんい為ため基礎きそ的てき for 迴圈。标准模も板ばん库（STL）中有ちゅううstd::for_each模も板ばん函數かんすう，可か以對STL容器ようき（container）的てき每まい個こ元素げんそ重複じゅうふく呼よび叫さけべ一いち個こ一いち元げん函數かんすう。製作せいさくSTL容器ようき的てき巨きょ集しゅう也可以達到いた類似るいじ的てき效果こうか。
10. ^a 利用りよう整數せいすう區間くかん的てき迭代可か以達到いた指定してい次數じすう迴圈的てき效果こうか， early exit可か以用多た增加ぞうか一いち個こexit的てき條件じょうけん來らい達成たっせい。
11. ^a Eiffel支援しえん保留ほりゅう字じretry，不ふ過か是ぜ用よう在ざい契ちぎり约式设计的てき異常いじょう處理しょり，不ふ是ぜ迴圈的てき流りゅう程ほど控ひかえ制せい指令しれい。
12. ^a 需要じゅよう配合はいごうJava建けん模も语言（JML）。