後藤

Goto は、多くのコンピュータプログラミング言語で見られる文です。これは、コードの別の行に制御を一方向に転送します。対照的に、関数呼び出しは通常、制御を返します。ジャンプ先の場所は通常、ラベルを使用して識別されますが、一部の言語では行番号が使用されます。マシン コードレベルでは、は分岐文またはジャンプ文の一種であり、場合によってはスタック調整と組み合わされます。多くの言語が文をサポートしていますが、サポートしていない言語も多数あります (§ 言語サポートを参照)。 gotogoto

構造化プログラム定理は、フローチャートとしてgoto表現できるプログラムを記述するためにこのステートメントは必要ではないことを証明しました。コードの重複と追加の変数を導入する必要があるかもしれないという注意点はありますが、チューリングマシンで実行できる計算には、シーケンス、選択/選択、繰り返し/反復という3つのプログラミング構造の組み合わせで十分です。^[1]

goto の使用は以前は一般的でしたが、 1960 年代と 1970 年代に構造化プログラミングが登場して以来、その使用は大幅に減少しました。特定の一般的な使用パターンでは引き続き使用されていますが、代替手段が利用できる場合は通常それが使用されます。過去には、goto ステートメントの使用の利点について、学界と産業界でかなりの議論がありました。主な批判は、goto ステートメントを使用するコードは、代替構造よりも理解しにくいというものです。その (より限定された) 使用に関する議論は、学界とソフトウェア業界の間で続いています。

goto label

このステートメントは、多くの場合、条件付きの制御の転送を引き起こすために if ステートメントgotoと組み合わせて使用​​されます。

IF condition THEN goto label

プログラミング言語は、文の宛先に関してさまざまな制限を課しますgoto。たとえば、Cプログラミング言語では、別の関数内に含まれるラベルへのジャンプは許可されませんが、^[2] setjmp/longjmp関数を使用すると、単一の呼び出しチェーン内でのジャンプは可能です。

1959年に開催されたALGOL以前の会議で、ハインツ・ゼマネクはGOTO文の必要性に明確に疑問を投げかけたが、当時は誰も^[要出典]、後にGOTOの象徴的な反対者となるエドガー・W・ダイクストラを含めて彼の発言に注意を払わなかった。 ^[3] 1970年代と1980年代には、GOTO文の使用が減少し、構造化プログラミング パラダイムが好まれ、GOTOは保守不可能なスパゲッティコードにつながると批判された。GNU Pascalコーディング標準など、一部のプログラミングスタイルのコーディング標準では、GOTO文の使用を推奨していない。 ^[4]ベーム-ヤコピニの証明(1966)は、ソフトウェア開発に構造化プログラミングを採用するかどうかという問題を解決しなかった。その理由の1つは、その適用には追加のローカル変数の導入が必要になるため、構造化プログラミングの構築によってプログラムが改善されるよりもわかりにくくなる可能性が高いためである。^[5]しかし、これはコンピュータ科学者、教育者、言語設計者、アプリケーションプログラマーの間で大きな議論を引き起こし、以前は広く使われていたGOTOの使用からゆっくりと、しかし着実に離れていく傾向が見られました。おそらくGOTOに対する最も有名な批判は、1968年にエドガー・ダイクストラが書いた「Go-to文は有害であると考えられる」という手紙でしょう。^[3]その手紙で、ダイクストラは、制限のないGOTO文は、プログラム（特にループを含むもの）の正しさを分析および検証する作業を複雑にするため、高水準言語から廃止されるべきであると主張しました。^[6]その手紙自体が議論を引き起こし、 1987年3月にCommunications of the ACM （CACM）に送られた「「GOTOは有害であると考えられる」有害であると考えられる」という手紙^[7]や、ダイクストラの「やや残念な書簡について」を含む他の人々からのさらなる返信も含まれました。^[8]

ドナルド・クヌースの『Structured Programming with go to Statements』では、別の視点が提示されています。この本では、多くの一般的なプログラミングタスクを分析し、そのうちのいくつかでは GOTO が最適な言語構造であると結論付けています。^[9]ブライアン・カーニハンとデニス・リッチーは、 『The C Programming Language』で、これは「無限に悪用される可能性がある」と警告していますが、関数終了時のエラーハンドラやループからの複数レベルのブレークにも使用できると示唆しています。^[10]これらの 2 つのパターンは、他の著者による C に関する多数の後続の本で見つけることができます。^{[11] [12] [13] [14]} 2007 年の入門書では、エラー処理パターンは「C 言語内の組み込み例外処理の欠如」を回避する方法であると述べられています。^[11] Linuxカーネルの設計者でプログラマーのリーナス・トーバルズやソフトウェアエンジニアで本の著者でもあるスティーブ・マッコーネルなどの他のプログラマーもダイクストラの見解に反対しており、GOTOはプログラムの速度、サイズ、コードの明瞭さを向上させる便利な言語機能になり得るが、それは同等に賢明なプログラマーが賢明な方法で使用する場合に限られると主張している。^{[15] [16]コンピュータサイエンスの教授}ジョン・レガーによると、2013年にはLinuxカーネルコードに約10万回のgotoのインスタンスがあった。^[17]goto

他の学者はより極端な見解を取り、ループの途中からのや のような命令でさえもbreak、ベーム-ヤコピニの結果には必要ないので悪い習慣であると主張し、したがってループは単一の終了ポイントを持つべきだと主張した。 ^[18]たとえば、ベルトラン・マイヤーは2009 年の教科書で、 や のような命令は「羊の皮をかぶった古いものにすぎない」と書いている。^[19]ただし、ベーム-ヤコピニの結果をわずかに修正した形式では、ループからの複数レベルのブレークが許可されている限り、構造化プログラミングで追加の変数を回避することができます。^[20] C などの一部の言語ではキーワードによる複数レベルのブレークが許可されていないため、一部の教科書では、そのような状況ではを使用するようにプログラマにアドバイスしています。 ^[14] MISRA C 2004 標準では、、 、および複数のand文が禁止されています。^[21] 2012年版のMISRA C標準では、の禁止が「必須」から「推奨」に格下げされました。2012年版には、による後方ジャンプは禁止するが前方ジャンプは禁止しないという追加の必須ルールがあります。^{[22] [23]}returnbreakcontinuegotobreakgotogotocontinuereturnbreakgotogoto

FORTRAN は1978 年に構造化プログラミング構造を導入し、その後の改訂で、goto の使用の許容範囲を規定する比較的緩い意味規則が厳格化されました。プログラマーが GOTO を使用して実行中の DO ループから抜けて再び入ることのできる「拡張範囲」は 1978 年に言語から削除され、^[24] 1995 年までに、Computed GOTO や Assigned GOTO を含むいくつかの形式の Fortran GOTO が削除されました。^[25] JavaやPython などの広く使用されている最新のプログラミング言語にはGOTO ステートメントがありません (言語サポートを参照)。ただし、ほとんどの言語では、選択から抜け出すか、反復の次のステップから抜け出すか、次のステップに進むための手段が提供されています。コード内の制御フローを乱すことは望ましくないという観点は、一部のプログラミング言語の設計に見られることがあります。たとえば、Ada ^{[26]では、}山括弧を使用してラベル定義を視覚的に強調しています。

^{comp.lang.c FAQリスト[27]}のエントリ17.10では、GOTOの使用の問題を直接取り上げ、次のように述べています。

プログラミング スタイルは、ライティング スタイルと同様、ある意味芸術であり、柔軟性のないルールで体系化することはできませんが、スタイルに関する議論は、多くの場合、そのようなルールだけに集中しているようです。goto ステートメントの場合、goto を無制限に使用すると、すぐに保守不可能なスパゲッティ コードになることが長い間観察されてきました。ただし、goto ステートメントを単純に無意識に禁止しても、必ずしもすぐに美しいプログラミングにつながるわけではありません。構造化されていないプログラマーは、goto をまったく使用せずにビザンチン タングルを構築することができます (代わりに、奇妙にネストされたループとブール制御変数を使用するなど)。多くのプログラマーは中庸なスタンスを採用しています。goto は通常は避けるべきですが、必要に応じて、制約の厳しいいくつかの状況では許容されます。たとえば、複数レベルの break ステートメントとして、switch ステートメント内で一般的なアクションを結合する場合、または複数のエラーを返す関数でクリーンアップ タスクを集中させる場合などです。 (...) 特定の構造を盲目的に避けたり、ルールを理解せずにそれに従ったりすると、ルールが回避するはずだった問題と同じくらい多くの問題を引き起こす可能性があります。さらに、プログラミング スタイルに関する多くの意見は、まさに意見にすぎません。それらは強く主張され、強く感じられ、確かな証拠や議論によって裏付けられているかもしれませんが、反対意見も同様に強く感じられ、支持され、主張されている可能性があります。「スタイル戦争」に巻き込まれるのは通常無駄です。なぜなら、特定の問題では、反対者は決して同意できないか、同意しないことに同意できないか、議論をやめられないからです。

goto の使用は全体的に減少していますが、一部の言語では、goto がプログラムのロジックを表現する最も短くて簡単な方法となる状況がまだあります (goto を使わずに同じロジックを表現することは可能ですが、同等のコードは長くなり、理解しにくくなることがよくあります)。他の言語では、例外や末尾呼び出しなどの構造化された代替手段があります。

goto がよく役立つ状況としては、次のようなものがあります。

• コードをより読みやすく、理解しやすくするため^{[15] [28]}
• プログラムを小さくし、コードの重複を排除する^{[15] [28]}
• 状態遷移表とgotoを使用して状態を切り替える有限状態機械を実装します（末尾呼び出しの削除がない場合）。特に自動生成されたCコードで使用します。^[29]たとえば、標準的なLRパーサーのgotoです。
• 言語で直接サポートされていない場合は、複数レベルの break と continue を実装します。これは C では一般的なイディオムです。 ^{[14] Java は goto キーワードを予約していますが、実際に実装しているわけではありません。代わりに、Java はラベル付きの break 文とラベル付きの continue 文を実装しています。 [30]} Java のドキュメントによると、複数レベルの break に goto を使用することは、C での goto の使用法として最も一般的 (90%) でした。^[31] Java は、goto を禁止するが複数レベルの break を提供するというこのアプローチを採用した最初の言語ではありません。この点では、 BLISSプログラミング言語 (より正確にはその BLISS-11 バージョン) が先行していました。^[32]
• 追加のループの導入によって制御フローに誤った影響を与える可能性がある場合に、単一レベルのbreakまたはcontinue（再試行）ステートメントの代替となるもの。この方法はNetbsdコードで確認されています。^[33]
• エラー処理（例外がない場合）、特にリソースの割り当て解除などのクリーンアップコード。^{[11] [14] [33 ] [29] [34]} C++では、このユースケースに対してgoto文の代替手段を提供しています。それは、デストラクタを使用するか、例外処理で使用されるtry例外とcatch例外を使用することで、リソース取得初期化（RAII）を実行することです。^[35] setjmpとlongjmpは別の代替手段であり、呼び出しスタックの一部を巻き戻すことができるという利点があります。
• スタックをポップインします (例: Algol、PL/I)。
• ビデオゲームの対話システムなど、線形に動作する特殊なスクリプト言語。^[36]

これらの使用法はCでは比較的一般的ですが、C++やより高水準の機能を備えた他の言語ではあまり一般的ではありません。^[34]しかし、関数内で例外をスローしてキャッチすることは、一部の言語では非常に非効率的になることがあります。その代表例がObjective-Cで、gotoの方がはるかに高速な代替手段です。^[37]

goto文のもう1つの用途は、gotoを回避するために大規模なリファクタリングやコードの複製が必要となる、適切にファクタリングされていないレガシーコードを修正することです。たとえば、特定のコードのみに関心がある大規模な関数がある場合、goto文を使用すると、関数を変更することなく、関連するコードのみにジャンプしたり、関連するコードからジャンプしたりできます。この使用法はコード臭と見なされますが、^[38]時折使用されます。

サブルーチンという現代的な概念は、 David WheelerがEDSACをプログラミングする際に発明されました。サブルーチン呼び出し命令のないマシンで呼び出しと戻りを実装するために、Wheelerジャンプと呼ばれる自己変更コードの特別なパターンを使用しました。^[39]gotoこれにより、ライブラリから取得したルーチンを適切にネストした実行を使用してプログラムを構造化できるようになりました。これは、ライブラリから取得したターゲットコードがどこにジャンプして戻ればよいかわからないため、 のみを使用しては不可能でした。

その後、 Pascalなどの高級言語は、サブルーチン(プロシージャまたは関数とも呼ばれる)から次のようなさらなる制御構造へと一般化された構造化プログラミングのサポートを中心に設計されました。

• while、repeat untilまたはdo、およびforステートメントを使用したループ
• switch別名ステートメント、多方向分岐caseの一形態

gotoこれらの新しい言語メカニズムは、以前はと を使って記述されていた同等のフローを置き換えましたif。マルチウェイ分岐は、ジャンプ先の命令が動的に (条件付きで) 決定される「計算された goto」を置き換えます。

特定の条件下では、レガシープログラムのローカルgoto文をマルチレベルループexit文に置き換えることで削除することが可能です。^[40]

実際には、構造化プログラミングの基本的な 3 つの構造テンプレートに厳密に従うと、構造化ユニットを途中で終了することができないため、高度にネストされたコードが生成され、すべての可能な条件を処理するための非常に複雑なプログラム状態データによる 組み合わせ爆発が発生します。

一般的に採用されている解決策は 2 つあります。構造化単位を途中で終了する方法と、より一般的には例外です。どちらの場合も、例外は構造を上っていき、囲んでいるブロックまたは関数に制御を戻しますが、任意のコード位置にジャンプすることはありません。これらは、非終端位置での return ステートメントの使用に似ています。早期終了のため厳密には構造化されていませんが、構造化プログラミングの制約がわずかに緩和されています。C では、breakおよびにより、追加のorステートメントを必要とせずに、ループを終了したり、次の反復に続行したりcontinueできます。一部の言語では、複数レベルのブレークも可能です。例外的な状況を処理するために、 Java の / /などの特殊な例外処理構造が追加されました。whileiftrycatchfinally

throw-catch例外処理メカニズムも、gotoが悪用されるのと同じように、簡単に悪用されて非透過的な制御構造を作成する可能性があります。^[41]

1977 年にシアトルで開催された ACM カンファレンスで発表された論文で、Guy L. Steele はGOTO と構造化プログラミングに関する議論を要約し、プロシージャの末尾位置でのプロシージャ呼び出しは、呼び出されたプロシージャへの制御の直接転送として最も最適に処理でき、通常は不要なスタック操作操作が排除されると指摘しました。^[42]このような「末尾呼び出し」は、プロシージャ呼び出しが遍在する言語であるLispでは非常に一般的であるため、この形式の最適化により、他の言語で使用される GOTO と比較して、プロシージャ呼び出しのコストが大幅に削減されます。Steele は、実装が不十分なプロシージャ呼び出しによって、プロシージャ呼び出しに比べて GOTO の方が安価であるという人為的な認識が生まれたと主張しました。Steele はさらに、「一般にプロシージャ呼び出しは、パラメータも渡す GOTO ステートメントとして便利に考えることができ、マシン コードのJUMP 命令として統一的にコード化できる」と主張し、マシン コードのスタック操作命令は「最適化と見なされます (その逆ではなく!)」と主張しました。^[42]スティールは、Lispの最適化された数値アルゴリズムは、当時入手可能な商用Fortranコンパイラで生成されたコードよりも高速に実行できるという証拠を挙げた。これは、Lispの手続き呼び出しのコストがはるかに低いためである。スティールがジェラルド・ジェイ・サスマンと共同で開発したLisp方言であるSchemeでは、末尾呼び出しの最適化が必須である。^[43]

Steele の論文は、少なくとも MIT で実践されていたものにおいては、コンピュータ サイエンスに目新しいことをあまり導入しなかったが、プロシージャ呼び出しの最適化の余地を明らかにした。これにより、モジュール化を促進するプロシージャの特性が、複雑な内部制御構造と広範な状態データを持つ大規模でモノリシックなプロシージャという当時の一般的なコーディング習慣に代わる、より信頼性の高いものになった。特に、Steele が説明した末尾呼び出しの最適化により、プロシージャは単一の末尾再帰(同じ関数を呼び出す末尾再帰) による反復を実装する信頼性の高い方法になった。さらに、末尾呼び出しの最適化により、末尾呼び出しを前提とした無制限の深さの相互再帰が可能になり、これにより有限状態マシンのように制御の転送が可能になる。これは通常、goto ステートメントで実現される。

コルーチンは構造化プログラミングを大幅に緩和したもので、複数の終了ポイント（末尾以外の位置での return など）だけでなく、goto 文に似た複数のエントリ ポイントも許可します。コルーチンは goto よりも制限が厳しく、コード内の任意の位置にジャンプするのではなく、現在実行中のコルーチンを指定された位置（yield の後に継続）でのみ再開できます。コルーチンの制限された形式はジェネレーターで、これはいくつかの目的には十分です。さらに制限されているのはクロージャーです。クロージャーは、状態（静的変数経由）は維持しますが、実行位置は維持しないサブルーチンです。状態変数と構造化制御の組み合わせ、特に全体的な switch 文により、サブルーチンは後続の呼び出しで任意の位置から実行を再開できます。これは、コルーチンがない場合の goto 文の構造化された代替手段です。これは、たとえば C でよく使われるイディオムです。

継続は、プログラム内の任意のポイントから以前にマークされたポイントに制御を移すという点で、GOTO に似ています。継続は、それをサポートする言語では GOTO よりも柔軟です。これは、ほとんどの構造化プログラミング言語では GOTO が実行できない、現在の関数から制御を移すことができるからです。ローカル変数と関数の引数を格納するためのスタック フレームを維持する言語実装では、継続を実行すると、ジャンプに加えてプログラムの呼び出しスタックの調整が必要になります。Cプログラミング言語のlongjmp関数は、現在のコンテキストから周囲のコンテキストにエスケープするために使用できるエスケープ継続の例です。Common Lisp のGO 演算子にも、構造がレキシカル スコープであるにもかかわらず、このスタック アンワインド プロパティがあります。ジャンプ先のラベルはクロージャから参照できるためです。

Schemeでは、継続は必要に応じて制御を外側のコンテキストから内側のコンテキストに移動することさえできます。次にどのコードを実行するかをほぼ無制限に制御できるため、コルーチンや協調型マルチタスクなどの複雑な制御構造を比較的簡単に記述できます。^[43]

非手続き型パラダイムでは、 goto はあまり重要ではないか、まったく存在しません。主な代替手段の 1 つはメッセージ パッシングであり、これは並行コンピューティング、プロセス間通信、およびオブジェクト指向プログラミングで特に重要です。これらの場合、個々のコンポーネントは制御を任意に転送しませんが、全体的な制御は、プリエンプションなどを介して複雑な方法でスケジュールされる場合があります。影響力のある言語SimulaとSmalltalk は、メッセージとオブジェクトの概念を最初に導入した言語の 1 つです。オブジェクト指向プログラミングでは、状態データをカプセル化することで、ソフトウェアの複雑さをオブジェクト間のやり取り (メッセージ) にまで削減しました。

gotoステートメントのクラスには、さまざまな言語構成要素があります。

Fortranでは、計算式はGOTO式の値に基づいてリスト内の複数のラベルの1つにジャンプします。例は ですgoto (20,30,40) i。^[44] C言語での同等の構文はswitch文であり、新しいFortranではSELECT CASE構文が推奨される代替手段です。^[45] BASICには同じ目的を達成する文がありました'On GoTo'が、Visual Basicではこの構文はサポートされなくなりました。^[46]

Fortran 95 より前のバージョンでは、Fortran には、整数変数に格納されている (割り当てられた) 文ラベル (行番号) に制御を移す、割り当て済み goto バリアントもありました。残念ながら、割り当てられていない整数変数にジャンプすることが可能であり、割り当て済み goto に関連するバグの主な原因でした。[ ^47] Fortranassign文では、整数変数に割り当て可能なのは定数 (既存の) 行番号のみです。ただし、一部のコンパイラでは、その後この変数を誤って整数として扱い、たとえば増分してしまうことがあり、その結果、特定の時点で未指定の動作が発生します。次のコードは、行iが指定されていない場合gotoの動作を示しています。 goto i

    200 をiに代入i = i + 1 iへ移動! 未指定の動作200 を( * , * )で書き込み"これは有効な行番号です"  
      
      
  

いくつかの C コンパイラは、もともとgccによって導入された goto に関連する 2 つの非標準 C/C++ 拡張機能を実装しています。^[48]void* GNU 拡張機能では、単項のプレフィックスラベル値演算子 を使って、現在の関数内のラベルのアドレスを として取得できます&&。goto 命令も拡張され、任意の式にジャンプできるようになりました。この C 拡張機能は、それをサポートする C コンパイラのドキュメントでは計算 gotovoid*と呼ばれています。そのセマンティクスは Fortran の割り当て goto のスーパーセットです。これは、任意のポインタ式を goto ターゲットとして使用できるのに対し、Fortran の割り当て goto では任意の式をジャンプ ターゲットとして使用できないためです。^[49] C の標準 goto と同様に、GNU C 拡張機能では、計算 goto のターゲットを現在の関数内にのみ配置できます。現在の関数外へのジャンプを試みると、未指定の動作が発生します。^[49]

BASICのいくつかの亜種は、GNU Cで使用されている意味での計算されたGOTOもサポートしています。つまり、ターゲットはリスト内の1つだけではなく、任意の行番号にすることができます。たとえば、MTS BASICでは、変数iGOTO i*1000の値（たとえば、選択されたメニューオプションを表す）の1000倍の番号の行にジャンプするように記述できます。^[50]

PL/I ラベル変数は、計算または割り当てられた効果を実現しますGOTO。

1985年のANSI COBOL標準まで、既存のGO TOの宛先を変更するために使用できるALTER文がありましたが、これは段落内に単独で存在しなければなりませんでした。^[51]多態性を可能にするこの機能は頻繁に非難され、めったに使用されませんでした。^[52]

Perlには、goto従来のGOTO文とはまったく異なる文のバリエーションがあります。関数名を受け取り、ある関数呼び出しを別の関数呼び出しに置き換えることで制御を移します（末尾呼び出し）。新しい関数はGOTOに戻るのではなく、元の関数が呼び出された場所に戻ります。^[53]

デフォルトではGOTOをサポートしていないプログラミング言語がいくつかあります。GOTOエミュレーションを使用すると、いくつかの制限はあるものの、これらのプログラミング言語でもGOTOを使用できます。Java、^[54]、 JavaScript、^[55]、PythonでGOTOをエミュレートできます。^{[56] [57]}

PL/I にはLABELというデータ型があり、これを使用して「割り当て goto」と「計算 goto」の両方を実装できます。PL/I では、現在のブロックから分岐できます。呼び出しプロシージャは、呼び出されたプロシージャに引数としてラベルを渡すことができ、呼び出されたプロシージャは分岐して終了できます。ラベル変数の値にはスタック フレームのアドレスが含まれ、ブロック外への goto はスタックをポップします。

/* これは、*/ と同等のものを実装します。
 /* 割り当てられた goto */
   where ラベルを宣言します。
   where = どこか;
   どこへ行く;
   ...
 どこか: /* ステートメント */ ;
   ...

/* これは、*/ と同等のものを実装します。
 /* 計算された goto */
   （５）ラベルをどこに付けるかを宣言する。
   inx を固定として宣言します。
   ここで(1) = abc;
   ここで(2) = xyz;
   ...
   どこへでも行きます(inx);
   ...
 abc: /* ステートメント */ ;
   ...
 xyz: /* ステートメント */ ;
   ...

同等の結果を得るためのより簡単な方法は、LABEL型変数の明示的な宣言を必要としないラベル定数配列を使用することです。

/* これは、*/ と同等のものを実装します。
 /* 計算された goto */
   inx を固定として宣言します。
   ...
   どこへでも行きます(inx);
   ...
 where(1): /* ステートメント */ ;
   ...
 where(2): /* ステートメント */ ;
   ...

DOSバッチ ファイルでは、Goto はコロンで始まるラベルに実行を指示します。Goto のターゲットは変数にすることができます。

@エコーオフSET  D8str =
 %date% SET D8dow = %D8str:~0,3 %
 

FOR  %% D in  ( Mon Wed Fri )  do  if  " %% D"  ==  " %D8dow% "  goto  SHOP%%D 
echo今日、%D8dow% はショッピングの日ではありません。
 goto  end

: SHOPMon 
echoランチにピザを買う - 月曜日はピザの日。
終了へ 

: SHOPWed 
echoカルツォーネを買って家に持ち帰る - 今日は水曜日です。
終了へ 

: SHOPFri 
echo誰かがゼロカロリーの飲み物を欲しがっている場合に備えて、セルツァーを買ってください。
 :終わり

多くの言語gotoでは 文をサポートしていますが、サポートしていない言語もたくさんあります。Java では は予約語ですgotoが、 は使用できません。ただし、コンパイルされたファイルは GOTO と LABEL を生成します。^[58] Python は goto をサポートしていませんが、それを提供するジョークモジュールがいくつかあります。^{[56] [57]} Seed7には goto 文はなく、break 文や continue 文などの隠れた goto も省略されています。^[59] PHPでは、バージョン 5.3 までのネイティブサポートはありませんでした(その機能をエミュレートするライブラリは利用可能でした)。^[60].classgoto

C#とVisual Basic .NET はどちらも をサポートしていますgoto。^{[61] [62]}ただし、現在のスコープ外のラベルへのジャンプは許可されておらず、オブジェクトの破棄と finally 構造が尊重されるため、goto他のプログラミング言語の キーワードに比べて強力で危険性は大幅に低くなります。また、caseおよびdefaultステートメントはラベルになり、そのスコープは囲むswitch ステートメントです。goto caseまたはgoto default は、C# が許可しない暗黙的なフォールスルーの明示的な代替としてよく使用されます。

PL /Iプログラミング言語には、ブロック外転送のためにスタックをアンワインドし、ブロック外からブロック内への転送を許可しない GOTO ステートメントがあります。

他の言語では明示的なフォールスルーのための独自のキーワードを持っている場合があり、これはgotoこの特定の目的に限定された のバージョンと考えることができます。たとえば、Go ではfallthroughキーワードが使用され、暗黙的なフォールスルーはまったく許可されません。^[63]一方、Perl 5 では、next明示的なフォールスルーに がデフォルトで使用されますが、モジュールのデフォルトの動作として暗黙的なフォールスルーを設定することもできます。

goto文を持つ言語のほとんどはそれをそのように呼んでいますが、コンピュータの初期の頃は他の名前が使われていました。例えば、MADではTRANSFER TO文が使われていました。^[64] APLではgotoの代わりに右向きの矢印が使われています→。

C には goto があり、上で説明したようにさまざまな慣用句でよく使用されます。

Scheme などの関数型プログラミング言語では、通常、goto は使用されず、代わりに継続が使用されます。

• 由来
• 制御フロー
• ゴスブ
• Switch ステートメント–多方向分岐(または条件付き goto)
• 非構造化プログラミング