無限ループ

は、コンピュータ・プログラム等の一連の手続き等が無限に繰り返される（ループする）こと。ともいう。プログラムの都合上、意図的に無限ループを使用することもあるが、意図せず無限ループに陥ってしまった場合は通例プログラムのフリーズといった異常動作あるいは暴走を引き起こす。ループ内でメモリ確保やファイル書き込みを実行している場合、無限ループによって生じる問題は深刻なものとなる。コンピュータのCPUが無限ループによって休みなく稼働し続ける場合、電力の無駄遣いが発生するだけでなく、オーバーヒート対策が甘いと異常発熱からの故障につながることもある。

英語ではまたはだが、コンピュータ関連では主に後者が用いられる。

専門用語としての他、刺激的に感じられる他の用語（例えばメモリリーク）と同様に、不正確な通俗的な使い方もされている（「#日常会話での使用」を参照）。専門的な意味としての無限ループは、ようだが、実際のところそうではないこともある（#無限ループの検出）。

 ループ 

理論的には、すなわち、計算理論と呼ばれている分野の観点からすれば、なにかについてそれが「計算可能である」とするには、無限ループになりえないことが必要である。しかし、現実のプログラムが対象とするものは必ずしも、理論がいう「計算可能」なものとは限らないし、時にはバグなどによって、決して終了することのない無限ループが発生する。また現実にはしばしば「終了することのないコンピュータ・プログラム」は必要なものですらある。例えば表計算ソフトウェアやワープロソフトウェアは利用者からの明示的な指示がない限りは起動した状態でいなければならない。またインターネットやデータベースなどのサーバプログラムの多くは「リクエストを待ってサービスする」ことをいつまでも繰り返すし、オペレーティングシステムのようなより低い階層のシステムではそういうものが多い。しかしほとんどの場合、そういったシステムは何らかの方法で止める手段があり、それらとは異なり「無限ループ」という言葉は意図した結果ではないため割込みや強制シャットダウンといった手段でしか止められないような状況を指して使われることが多い（すなわち、原因にバグがあるといったような場合である）。

さらに、慣用的な用法としては「ループ抜け出す条件が入り組んでいて、ループの先頭部分でも終端部分でもない手続きの中間部分でループから抜け出す必要があり、そのためループ自体は無限ループの形で書いておき、ループの途中で必要に応じてから途中脱出機能を使って脱出するというような場合を「無限ループの形」と称することもある。

 明示的な無限ループの例 
C言語での簡単な例を示す。
#include <stdio.h>

int main(void) {
 unsigned int x = 0;
LoopEnter:
 x += 1;
 printf("%u\n", x);
 goto LoopEnter;
 return 0;
}

ここでのループは明らかで、goto文の実行後、ジャンプ先として指定されているループの入り口（ラベルLoopEnterが設定されている文x += 1;）まで戻り、無条件に同じ処理が繰り返される。ループを脱出する条件がないため、このプログラムは永久に終了せず、コンソール（標準出力）に値を出力し続ける。main()関数の末尾に到達することはなく、return文は到達不能コード（デッドコード）である。なお、コンソールの画面表示に使用されるバッファはある程度古いものから破棄されていくようになっているため、このプログラムを実行し続けてもせいぜいCPU時間を無駄遣いする程度で済み、メモリを使い果たしてしまうようなこともないが、標準出力をファイルにリダイレクトしていた場合、ストレージを食いつぶしてしまう可能性のある危険なコードになりうる。プログラムを終了するには、+などで強制終了するしかない。

ただし、ループの脱出条件（あるいは継続条件）を記述していても、コンピュータの振る舞いの特性を正しく理解せずに書かれた条件であった場合、無限ループを引き起こしてしまうことがある。

 浮動小数点数の比較に伴うバグによる無限ループ 
浮動小数点数の値をループの条件として評価に使用するとき、誤差を考慮せずに書かれたコードは、無限ループを引き起こしてしまうことがある。C言語での例を示す。
double x = 0.1;
while (x != 1.1) {
 printf("x = %f\n", x);
 x += 0.1;
}

このwhile文によるループは、期待通りに10回実行されるシステムもあるかもしれないが、終了しないシステムもあるかもしれない。ここでの問題は、ループの継続条件 (x != 1.1) が2つの浮動小数点数の厳密な一致をテストしていることである。多くのコンピュータの（2進の）浮動小数点の計算では 0.1 という値は正確に表現できず、誤差があるため、それを11回足した値が型のリテラルの 1.1 の値と厳密に一致するとは限らない。

浮動小数点数を使うときには、等式でテストを行うと予想外に失敗する可能性があるため、不等式でテストすると安全である。例えば x が 1.1 と等しいかどうかをテストする代わりに (x < 1.1) や (x <= 1.0) でテストする。そのどちらでも、有限回数の繰り返しで脱出できる。

他に、ループ回数の上限を規定し、整数型のループカウンタを使うことで問題を回避する方法もある。
int i; /* 整数型のループインデックス */
double x = 0.1;
for (i = 0; i < 10; i++) {
 printf("x = %f\n", x);
 x += 0.1;
}
上記の例では、for文の条件式をi != 10と書くこともできるが、カウンタの初期値やインクリメントのステップ数によっては意図したとおりにループを脱出できなくなってしまうこともあるため、ループ継続条件に整数型の値を用いる場合であっても一般的に不等式を使うべきである。

数列の収束判定に伴う無限ループ
数値解析でも似たような状況が起きることがある。ある結果を求めるために、ある許容値に誤差が収まるまで繰り返す、という手続きを使うことがある。しかし、式に問題があって誤差がその許容値を下回ることが無ければ、結果として無限ループになる。

循環リストに起因する無限ループ
連結リストのようなデータ構造がループを持っているのに、それに対してリストに沿う繰り返しを実行してしまう、というようなパターンもある。データ構造のループの検出はちょっとした練習問題として知られている。簡単な例として、12、99、37の3つの整数値を格納した循環リストの中身をひとつずつリストに沿って出力する処理をすると「12、99、37、12、99、37、12、99、37、…」と無限に出力することになる。

3つの整数値を格納した循環リスト

複数のプログラム間で発生するループ
単体のプログラムでの無限ループは通常予測しやすいが、複数の要素が相互に影響しあったループは遥かに予測しにくい。ここで、リクエストを理解できない時にはいつもエラーメッセージを返すサーバについて考えてみる。明らかに、そのサーバには無限ループの可能性は全く無いが、そのようなサーバが2つ（AとB）あるとする。サーバAがサーバBから受け取ったメッセージを理解できなかった時、AはBにエラーを返す。Bがメッセージを理解できなかったらそのエラーをAに返し、そのエラーメッセージをAが理解できなければまた別のエラーメッセージを返し、これが永遠に繰り返される。このような事態のよくある例がメールループである。

 デッドロックと無限ループ 
複数のスレッドあるいはプロセスの間でメモリやファイルといった計算資源を共有するとき、データ競合や競合状態の問題を引き起こさないようにロックなどを使って共有資源へのアクセスを排他制御する必要があるが、ロック解除（アンロック）を忘れたりロックの順番を間違えたり、といったロジックミスがあるとデッドロックが発生してしまう。ロックを獲得できるまで待機する際、ループを回しながら何らかのフラグを監視しつつ待機するスピンロックという手法があるが、タイムアウト設定なしでロック獲得を待機する場合、デッドロックが発生してしまうと無限ループに陥ってしまう。ミューテックスのように、スリープおよびシグナル通知を使ってCPU時間を無駄遣いせず効率的に待機する方法もあるが、タイムアウト設定なしでデッドロックが発生してしまうと待機から脱出できず、広義の無限ループに陥ってしまう。

 意図的な無限ループ 
プログラムの都合上、意図的に無限ループを記述する場合もある。

 組み込み環境とメインループ 
OSのない組み込み環境では、電源投入後に呼ばれるメインルーチン（Cの場合はmain()関数）が呼び出し元に制御を返す必要はない。もしメインルーチンを抜けて制御を返してしまうと、以降は機器の制御ができなくなってしまい、意味がないからである。メインルーチンには無限ループ（メインループ）を記述し、その中で機器の状態を確認しながら、その状態に応じた分岐処理を実行していくことになる。後述の古いゲーム専用機におけるゲームループもこの形態である。ただしメインループ以外で無限ループを作ると機器が応答不能になってしまうので、メインループ以外の無限ループは作らないように注意深く実装する必要がある。

 イベント駆動とメインループ 
Microsoft WindowsやmacOSに代表されるGUI（Graphical User Interface）環境では、アプリケーションソフトウェアはそれぞれ「メインループ」と呼ばれるイベントループ（メッセージループ）を持っている。アプリケーションはユーザーの入力操作イベントや画面再描画イベントの発生をループで待ちながら、応答を返したり描画処理を実行したりする。このスタイルをイベント駆動型プログラミングと呼ぶ。メインループは無限ループとせず、メインウィンドウのクローズボタンが押されるなどして発生するクローズイベントや終了イベントをループの脱出条件とし、メインループを抜けて後始末をしてからアプリケーションを終了するのが一般的な作法である。なお、OpenGLを使用した古典的なアプリケーションフレームワークの1つとしてGLUTがあるが、GLUTのglutMainLoop()は一度呼び出すと呼び出し元に返ってくることのない無限ループである。GLUTアプリケーションはメインウィンドウのクローズボタンに応答して終了する仕組みにはなっているものの、標準Cライブラリのexit()関数で半強制終了し、リソースの後始末はOSに任せる形となる。

iOSやAndroidのようなモバイルOSでは通常手段でのアプリケーション終了の概念がなく、終了イベントも存在しないため、メインループは実質的に無限ループである。モバイルOS環境では、アプリケーションを終了するにはタスク（プロセス）を強制終了する必要がある。空きメモリが不足してきたときなど、OS側の判断によって強制終了されることもある。

 ゲームループ 
コンピュータゲームのプログラムは、1/60秒のようなごく短時間のフレーム内で、プレイヤーの入力操作への応答を処理しつつ画面描画を繰り返すリアルタイム処理方式のプログラミングスタイルであり、メインループは「ゲームループ」と呼ばれる。ファミリーコンピュータのような古いゲーム専用機ではOSの概念がなく、電源を入れるとゲームプログラムがメモリにロードされてすぐに開始される流れとなるが、ゲームループは無限ループであり、ゲームを終了・再起動するには電源を落として再投入するかリセットボタンを押すしかなかった。のちにゲーム内容が複雑化し、リソースの効率的な管理や移植性向上のために汎用PCで使われるようなOSのサブセットがゲーム専用機にも導入されたが、ゲーム機がCDやDVDといったマルチメディアの再生機能も搭載するようになり、またインターネットで購入したゲームをストレージにダウンロード・インストールしてから起動できるようになると、ゲームを終了するのに電源ボタンやリセットボタンしか手段がないようでは使い勝手が悪いため、プログラム側からゲームループを終了してシステム画面に戻ることもできるようになっている。

 専用構文 
無限ループは脱出条件にならないループを書くことにより実現することもできるが、多くのプログラミング言語では専用構文を備えている。言語の処理系や静的検査は無限ループとなりうる記述に警告を出すことができるが、意図的に書いた脱出条件が無いループと意図しない無限ループを区別できず意図の有無にかかわらず常に警告をだしてしまう。専用構文を用いることで意図した無限ループであることを言語の処理系や静的検査につたえ、正常にもかかわらず警告が出たままという状態を防ぐことができる

 C言語系統の例 
C/C++/Java/C# といった共通のfor文を使う言語で使用できる。for(;;)
{
}

 Smalltalkの例 
[
] repeat.

 特異な例 

 不可能な終了条件 
C言語での例：
unsigned int i;
for (i = 1; i > 0; i++)
{ /*loop code*/ }
これは永遠に動き続けるように見えるが、実際には i の値はいずれ に格納できる最大値UINT_MAXに達し、その値に 1 を加えることで 0 に巻き戻され、ループから脱出する。実際の i の限界は、使っているシステムやコンパイラの仕様による。多倍長整数では、i をコンピュータのメモリに格納できなくなるまでループが続く。

 無限再帰 
無限再帰とは、無限ループの特例で、再帰で発生する無限ループである。最も些細な例としては、次の（疑似言語による）例で示したラムダ計算の Ω項である。
procedure Omega () is
 procedure omega_ (p : procedure) is
 begin
 p(p) ;
 end ;
begin
 omega_(omega_) ;
end ;
Ω は無限再帰なので、正規形を持たない。基底ケースが無かったり、帰納段階が不完全な構造的再帰では、普通は無限再帰になってしまう。

このような不完全な構造的再帰を次のコードで例示する。関数 sumFrom1To_ は無限再帰となる。これを修正するには、基底ケースを追加する。

function sumFrom1To_ (n : Integer) return Integer is
begin
 return n + sumFrom1To_ (n-1) ;
end ;

この問題を修正したものが次の関数である。これは n が 1 未満か、n が大きすぎる時にだけ無限再帰となる、最初のケースはエラーチェックすれば回避できる。

function sumFrom1To (n : Integer) return Integer is
begin
 if n = 1 Then
 return 1 ;
 else
 return n + sumFrom1To(sub1 n) ;
 end if ;
end ;

現実のコンピュータシステムでは、サブルーチンの再帰呼び出しの終了条件がないなどの理由で無限再帰してしまうと、コールスタックを食いつぶしてスタックオーバーフローを引き起こし、プログラムの異常終了を招いてしまう。

 オルダーソンループ 
「オルダーソンループ（Alderson Loop）」とは、ある特別な無限ループを表す隠語・俗語で、終了条件は存在するのだが、そのコードの実装ではアクセスできないもの（通常はプログラマのミス）である。ユーザーインターフェイスのデバッグ中にはよく目にする。例えば「1から3を選択するか9で終了する」というメニューなのに9が選択できるようになっていない、といったものであり、一般によくあるタイプのバグである。この言葉はプログラマの名前に由来すると言われており、その人物は Microsoft Access のモーダルダイアログボックスのコードを書いたのだが、そこには「OK」のボタンと「キャンセル」のボタンのどちらも無かったため、そのダイアログボックスが表示されると必ずプログラム全体が停止してしまった、ということである。