Go言語入門：言語仕様 -Vol.42-

本日は、Go言語の言語仕様について解説しています。

背景

Go言語を学び始めて、公式の「The Go Programming Language Specification(言語仕様書)」を開いてみたものの、「英語で書かれていて読むのが大変…」「専門用語ばかりで何を言っているのかわからない…」と感じたことはありませんか? 実は、多くのGo初心者が同じ壁にぶつかっています。

言語仕様書は、Go言語の「正式な取扱説明書」のような存在です。プログラミング言語がどのように動くのか、どんなルールで書くべきなのかが詳しく書かれていますが、その分、初めて読む人には難しく感じられるのも事実です。

そこでこの記事では、言語仕様書の導入部分を丁寧な日本語訳とともに、初心者の方でも理解しやすい補足説明を加えてお届けします。「強く型付けされている」「ガベージコレクション」「並行プログラミング」といった専門用語も、具体例を交えながらわかりやすく解説していきます。

言語仕様書は難しそうに見えますが、一つひとつの概念を丁寧に読み解いていけば、必ず理解できます。一緒に、Go言語の基礎をしっかり学んでいきましょう!

ラベルスコープ（Label scopes）

ラベルはラベル付き文によって宣言され、break、continue、goto 文の中で使用されます。定義されたにもかかわらず一度も使用されないラベルは不正（コンパイルエラー）です。他の識別子とは異なり、ラベルはブロックスコープを持たず、ラベルでない識別子と衝突しません。ラベルのスコープは、それが宣言された関数の本体であり、ネストされた関数の本体は除外されます。

---

解説

たとえ話

ラベルを建物のフロア案内板に例えてみましょう。

普通の変数や定数が「部屋の中の名札」だとすると、ラベルは「フロア全体に設置された案内板」です。案内板はフロア内のどこにいても見えますが、別のフロア（＝ネストされた別の関数）からは見えません。

また、案内板は部屋（ブロック）の壁に制限されません。同じフロアの中なら、部屋の中から廊下の案内板を参照できます。そして、案内板と部屋の中の私物（変数）はまったく別の種類のものなので、偶然同じ名前でもぶつかりません。

ただし、掲げたのに誰も見ない案内板は撤去命令が出ます（＝使われないラベルはコンパイルエラー）。

コード例

package main

import "fmt"

func main() {
	// ── ラベルは関数本体全体がスコープ ──

	goto finish // ✅ ラベルより前でも参照できる（ブロックスコープではないため）

	fmt.Println("ここはスキップされる")

finish: // ラベルの宣言
	fmt.Println("終了！")
}

package main

import "fmt"

func main() {
	// ── ラベルと変数は名前が衝突しない ──
	x := 100 // 変数 x

x: // ラベル x（変数 x とは別物なので共存できる）
	fmt.Println(x) // → 100（変数の x を参照）
	_ = "ラベル x は break/continue/goto で使う"
}

package main

import "fmt"

func main() {
	// ── break にラベルを使う実用的な例 ──

outer:
	for i := 0; i < 3; i++ {
		for j := 0; j < 3; j++ {
			if i == 1 && j == 1 {
				break outer // 外側の for ループごと抜ける
			}
			fmt.Printf("i=%d, j=%d\n", i, j)
		}
	}
	fmt.Println("ループ終了")
	// 出力:
	// i=0, j=0
	// i=0, j=1
	// i=0, j=2
	// i=1, j=0
	// ループ終了
}

package main

import "fmt"

func main() {
	// ── ネストした関数からは外側のラベルを参照できない ──

myLabel:
	fmt.Println("main の中")

	func() {
		// goto myLabel // ❌ コンパイルエラー！
		// ネストされた無名関数の中からは外側のラベルに到達できない
		fmt.Println("無名関数の中")
	}()

	_ = myLabel // ラベルを使用済みにするためのダミー（実際は goto/break/continue で使用）
	goto myLabel // ※ 無限ループになるので実用では注意！ここでは説明用
}

package main

func main() {
	// ── 使われないラベルはコンパイルエラー ──

	// unused: // ❌ "label unused defined and not used"
	// 	fmt.Println("hello")

	// Go は未使用の変数と同様に、未使用のラベルも許さない
}

よくある間違い・注意点

1. ラベルを定義して使わないとコンパイルエラーになる

Goは未使用の変数をエラーにするのと同じ方針で、未使用のラベルもエラーにします。デバッグ中に goto を一時的にコメントアウトすると、ラベルが未使用になってビルドが通らなくなることがあります。

2. break と continue でラベルを使うのが最も実用的

goto は可読性を損ないやすいため、実務では多重ループからの脱出に break ラベル名 を使うパターンが最も一般的です。

// ✅ 実用的なパターン：多重ループからの脱出
search:
	for _, row := range matrix {
		for _, val := range row {
			if val == target {
				fmt.Println("見つかった！")
				break search
			}
		}
	}

3. ラベルは変数と衝突しないが、混乱のもとになる

文法上は同じ名前のラベルと変数を共存させられますが、可読性が大きく下がります。チーム開発では避けるのが無難です。

まとめ

• ラベルは break、continue、goto で使用するための識別子。
• 他の識別子とは異なりブロックスコープを持たない。スコープはラベルが宣言された関数本体全体（ネストした関数は除く）。
• ラベルと変数は別の名前空間に属するため、同名でも衝突しない。
• 定義したラベルは必ず使わなければならない（未使用はコンパイルエラー）。
• 実務では goto よりも、多重ループを break ラベル名 で抜けるパターンが最もよく使われます。

前回までの「ブロック」と「宣言とスコープ」の知識と組み合わせると、ラベルが特殊な存在であることがよく分かります。通常の変数とは違うルールで動くことを意識しておくと、混乱を防げますよ！

おわりに 

本日は、Go言語の言語仕様について解説しました。