Go 制御フロー

switch ステートメント、type switch、またはラベル付き break を使用する場合は references/SWITCH-PATTERNS.md を参照してください

_、ブランク識別子のインポート、またはコンパイル時のインターフェース チェックを使用する場合は references/BLANK-IDENTIFIER.md を参照してください

---

If with Initialization

if と switch はオプショナルな初期化ステートメントを受け入れます。これを使用して変数をコンディショナル ブロックにスコープします:

if err := file.Chmod(0664); err != nil {
    log.Print(err)
    return err
}

if の後の数行を超えて変数が必要な場合は、別に宣言して標準的な if を使用してください:

x, err := f()
if err != nil {
    return err
}
// lots of code that uses x

エラー フローのインデント (Guard Clauses)

if 本体が break、continue、goto、または return で終わる場合は、不要な else を省略します。成功パスはインデントなしで保ちます:

f, err := os.Open(name)
if err != nil {
    return err
}
d, err := f.Stat()
if err != nil {
    f.Close()
    return err
}
codeUsing(f, d)

if がすでに return しているときは、通常フローを else の中に埋もれさせないでください。

---

再宣言と再割り当て

:= 短形式宣言は同じスコープ内で変数を再宣言できます:

f, err := os.Open(name)  // declares f and err
d, err := f.Stat()       // declares d, reassigns err

変数 v は、すでに宣言されていても := 宣言に現れることができます。ただし以下の条件が必要です:

1. 宣言が既存の v と同じスコープ内にある
2. 値が v に割り当て可能である
3. 宣言によって少なくとも 1 つの他の変数が新規作成される

変数シャドウィング

警告: v が外側のスコープで宣言されている場合、:= は 新しい変数を作成してシャドウイングします — よくあるバグの原因です:

// Bug: ctx inside the if block shadows the outer ctx
if *shortenDeadlines {
    ctx, cancel := context.WithTimeout(ctx, 3*time.Second)
    defer cancel()
}
// ctx here is still the original — the shadowed ctx didn't escape

// Fix: use = instead of :=
var cancel func()
ctx, cancel = context.WithTimeout(ctx, 3*time.Second)

---

For ループ

Go の for は唯一のループ構成で、while、do-while、C 形式の for を統一します:

// Condition-only (Go's "while")
for x > 0 {
    x = process(x)
}

// Infinite loop
for {
    if done() { break }
}

// C-style three-component
for i := 0; i < n; i++ { ... }

Range

range はスライス、マップ、文字列、チャネルを反復処理します:

for i, v := range slice { ... }   // index + value
for k, v := range myMap { ... }   // key + value (non-deterministic order)
for i, r := range "héllo" { ... } // byte index + rune (not byte)
for v := range ch { ... }         // receives until channel closed

主な規則:

• 文字列上の Range は rune を返します。バイトではなく — i はバイト オフセットです
• マップ上の Range は非決定的な順序を持ちます — これに依存しないでください
• _ を使用してインデックスまたは値を破棄します: for _, v := range slice

並列割り当て

Go にはコンマ演算子がありません。複数ループ変数に対して並列割り当てを使用してください:

for i, j := 0, len(a)-1; i < j; i, j = i+1, j-1 {
    a[i], a[j] = a[j], a[i]
}

++ と -- は ステートメント であり、式ではありません — 並列割り当てに現れることはできません。

---

Switch: ラベル付き Break

for ループ内の switch 内の break は switch のみを抜けます。 囲むループを抜けるにはラベル付き break を使用してください:

Loop:
    for _, v := range items {
        switch v.Type {
        case "done":
            break Loop  // breaks the for loop
        }
    }

type switch については、go-interfaces の「Type Switch」を参照してください。

---

ブランク識別子

エラーを気軽に破棄しないでください — nil デリファレンス panic が続く可能性があります。

コンパイル時にインターフェース準拠を検証してください: var _ io.Writer = (*MyType)(nil)。 go-interfaces でインターフェース満足チェック パターンを参照してください。

---

クイック リファレンス

パターン	Go イディオム
If initialization	if err := f(); err != nil { }
Early return	if 本体が return するときは else を省略
Redeclaration	:= は同じスコープ + 新しい変数の場合に再割り当て
Shadowing trap	内側スコープの := は新しい変数を作成
Parallel assignment	i, j = i+1, j-1
Expression-less switch	switch { case cond: }
Comma cases	case 'a', 'b', 'c':
No fallthrough	デフォルト動作 (必要な場合は明示的に fallthrough)
Break from loop in switch	break Label
Discard value	_, err := f()
Side-effect import	import _ "pkg"
Interface check	var _ Interface = (*Type)(nil)

---

関連スキル

• エラー フロー: guard clause、早期 return、またはエラー優先パターンを構造化する場合は go-error-handling を参照してください
• Type switch: type switch、comma-ok イディオム、またはインターフェース満足チェックを使用する場合は go-interfaces を参照してください
• ネスティングの削減: ネスティング深度の削減またはフォーマット質問の解決を行う場合は go-style-core を参照してください
• 変数スコーピング: if-init、:= 再宣言、または変数スコープの縮小を使用する場合は go-declarations を参照してください