Go goto 文

JPKODA 編集部 May 9, 2026

Go 言語には goto 文が残されています。これは、プログラムの実行コントロールを、コード内の特定のラベル（Label）位置へ「無条件にジャンプ」させる機能を提供します。

goto はプログラマーに大きな自由度と柔軟性を与えますが、現代のソフトウェア開発においては、その使用は通常、強く反対されています。その理由は、goto の乱用がロジックを複雑怪奇にし、可読性やメンテナンス（Maintenance）が著しく困難なコードを生み出す原因となるためです。

本章では、goto の基本構文と制限について学びますが、より重要な点として、なぜその使用を可能な限り避けるべきなのか、そして、よりクリーンでメンテナンスしやすいコード構造でどのように代替するのかを探索していきます。

1. goto 文を理解する

goto 文の役割は非常にシンプルです。プログラムの実行フロー（Execution Flow）を、マークされた（Labeled）ステートメント（Statement）の場所へ無条件に移します。ラベルの定義は簡単で、識別子（Identifier）の後にコロン（:）を付けるだけです。

1.1 基礎構文

goto ラベル名
...
ラベル名:  // goto がトリガーされると、プログラムはここへ直接ジャンプして実行を継続します

1.2 基礎例：goto でループをシミュレートする

goto を使って、無理やりループ（Loop）を作り出す方法を見てみましょう。

package main

import "fmt"

func main() {
	i := 0
loop: // 'loop' という名前のラベルを定義
	fmt.Println(i)
	i++
		
	if i < 5 {
		goto loop // 条件を満たす時、強制的に 'loop' ラベルの場所へ戻る
	}
	fmt.Println("実行終了。")
}

この例では、プログラムは 0 から 4 までをプリントします。goto loop によって、プログラムは何度も loop ラベルの位置へ「時間を巻き戻す」ようにジャンプします。

1.3 goto の厳格な制限

Go コンパイラ（Compiler）は、最悪の事態を防ぐために goto に対して厳格な制限を課しています。

関数内限定: goto は同じ関数（Function）内部のラベルにしかジャンプできません。ある関数から別の関数の中へジャンプすることは絶対に不可能です。
変数宣言のスキップ禁止: goto 文は、まだ実行されていない変数宣言を飛び越えてジャンプすることはできません。もしこれを許すと、ジャンプ後のコードが初期化されていない「ゴースト変数」を使用してしまう可能性があるからです。

非合法な goto の例:

package main

import "fmt"

func main() {
	goto skip // エラー：下の変数 x の宣言をスキップしようとしている！
		
	x := 10   // 変数はここで宣言・初期化される
skip:
	fmt.Println(x) // コンパイラエラー：x が未定義、またはジャンプが宣言を越えています
}

上記のコードを修正するには、宣言をジャンプの前に移動させる必要があります：

package main

import "fmt"

func main() {
	var x int // goto の前に宣言しておく必要がある
		
	goto skip
	x = 10 // この行のコードはスキップされる
skip:
	fmt.Println(x) // コンパイル可能。ただし x=10 はスキップされたため、ゼロ値の 0 がプリントされる
}

2. なぜ goto は嫌われるのか？

goto はフローを制御できますが、それは信号機のない交差点のようなものです。無計画に使用すると、有名な「スパゲッティコード (Spaghetti Code)」を引き起こします。プログラムの実行パス（Path）がスパゲッティのように絡まり合い、極めて混乱した状態になります。

可読性の破壊: コードがいつでもどこへでも上下に飛び回ることができるようになると、人間が変数の状態やプログラムの真の意図を追跡することは困難になります。
デバッグの困難さ: 業務ロジックが複雑になるにつれ、過剰な goto は無数の潜在的な実行パスを生み出します。バグ（Bug）を探すのは、大海原で一本の針を探すような作業になります。
代替案の存在: 99.9% のケースにおいて、goto はより構造化されたステートメントで完璧に代替可能です。例えば、これまでに学んだ if、else、for、switch、そして break や continue です。

3. 稀に goto を検討できるシーン（およびより良い代替案）

嫌われ者の goto ですが、ごく稀な特定のシナリオ（特に極めて低レイヤーなシステムコードの開発など）では、その価値を認める人もいます。しかし、その場合でも現代の Go プログラミングにはより優れた代替品が用意されています。

3.1 シーン1：エラー時のクリーンアップ処理の集約

一つの関数内に複数のエラーが発生しうるステップがあり、エラー発生時に常に同じクリーンアップ（Cleanup）ロジック（ファイルのクローズ、接続の解放など）を実行する必要がある場合、goto を使って関数の末尾へ一括ジャンプさせることがあります。

goto を使ったエラー処理（非推奨）:

package main

import (
	"fmt"
	"os"
)

func main() {
	file, err := os.Open("myfile.txt")
	if err != nil {
		fmt.Println("ファイルオープン失敗:", err)
		goto cleanup // クリーンアップへジャンプ
	}
		
	// ここで別のエラーが発生したと仮定
	err = doSomething()
	if err != nil {
		fmt.Println("操作失敗:", err)
		goto cleanup // 同様にクリーンアップへジャンプ
	}
		
	fmt.Println("操作成功！")

cleanup:
	fmt.Println("クリーンアップ実行 (例：ファイルを閉じる)...")
	if file != nil {
		file.Close()
	}
}

func doSomething() error {
	return fmt.Errorf("シミュレートされたエラー")
}

よりモダンでエレガントな代替案：defer 文

Go 言語は強力な defer キーワードを提供しています（後の高度な章で詳解します）。これは、特定のコードを関数終了前に必ず実行することを保証するもので、このような goto の書き方を完全に過去のものにしました。

// (推奨される書き方のプレビュー)
file, err := os.Open("myfile.txt")
if err == nil {
    defer file.Close() // 関数がどのように終了しても、最終的に自動でファイルを閉じる！
}
// その後は通常の条件判断と return を書くだけで良い

3.2 シーン2：深いネスト（Nested）ループの脱出

前章で触れた通り、何層にも重なった for ループの中で目的のものを見つけ、即座に完全に撤退したい場合です。

goto でネストしたループを脱出する（かろうじて許容範囲）:

package main

import "fmt"

func main() {
	for i := 0; i < 10; i++ {
		for j := 0; j < 10; j++ {
			if i*j == 42 {
				fmt.Println("見つけた！")
				goto end // 二層のループを一度に脱出
			}
		}
	}
end:
	fmt.Println("検索終了。")
}

より良い代替案 1：ラベル付き break

break labelName はそのために存在します。これは「ループを抜ける」ことを明確に示しているため、どこへでも飛べる goto よりも意味が明確です。

より良い代替案 2：関数化して return する（強く推奨）

ネストされたループを独立した関数に抽出します。ターゲットを見つけたら直接 return して関数を抜けます。これはどんなジャンプよりもクリーンでスマートです。

package main

import "fmt"

// 複雑な検索ロジックをカプセル化する
func search() bool {
	for i := 0; i < 10; i++ {
		for j := 0; j < 10; j++ {
			if i*j == 42 {
				fmt.Println("見つけた！")
				return true // 直接 return して関数を抜ける、最もクリーンな方法
			}
		}
	}
	return false
}

func main() {
	if search() {
		fmt.Println("検索タスク成功。")
	} else {
		fmt.Println("ターゲット未検出。")
	}
}

3.3 シーン3：ステートマシン (State Machine)

ステートマシンは異なる状態（State）間を切り替える必要があります。稚拙なコードでは goto を使ってあちこちへジャンプさせることがあります。

悪いデザイン（goto の使用）:

package main

import "fmt"

func main() {
	state := "start"
start:
	fmt.Println("現在の状態: 開始")
	state = "process"
	goto process
process:
	fmt.Println("現在の状態: 処理中")
	state = "end"
	goto end
end:
	fmt.Println("現在の状態: 終了")
	return
}

優れた代替案：無限 for ループ + switch 文の使用

これが Go 言語におけるステートマシン実装の標準的な書き方です：

package main

import "fmt"

func main() {
	state := "start"
		
	for {
		switch state {
		case "start":
			fmt.Println("現在の状態: 開始")
			state = "process" // 状態を更新し、次のループを待つ
		case "process":
			fmt.Println("現在の状態: 処理中")
			state = "end"
		case "end":
			fmt.Println("現在の状態: 終了")
			return // タスク完了、関数を抜ける
		default:
			fmt.Println("無効な状態")
			return
		}
	}
}

この設計は構造が明確であるだけでなく、新しい状態や複雑な遷移ロジックを追加することが非常に容易です。