Go言語の変数：var、:=、ゼロ値、シャドーイング

Goで変数を宣言する方法は2つあります。どこでも使える var と、関数の中で使えて型を推論する短い形式の := です。

package main

import "fmt"

func main() {
	var city string = "Lisbon" // explicit type and value
	var year = 2026            // type inferred as int
	var score int              // no value: zero value 0
	name := "Ana"              // short declaration, inferred string

	fmt.Println(city, year, score, name)
	fmt.Printf("%T %T %T %T\n", city, year, score, name)
}

どの変数もコンパイル時に決まる固定の型を持ちます。値を与えるとGoはそこから型を推論するので、型まで書く（var city string = "Lisbon"）のは正しいものの冗長です。

varと:=の違い

関数の中でのGoらしい使い分けは次のとおりです。

• 初期値があるときは x := value。
• ゼロ値がほしいときは var x T。「意図的に空」であることを示します：var buf bytes.Buffer、var total int。
• 推論される型が望みの型ではないときは var x T = value。たとえば var ratio float64 = 1 です（単に ratio := 1 と書くと int になります）。

関数の外で := を使うと構文エラーになります。

./main.go:5:1: syntax error: non-declaration statement outside function body

ゼロ値

値を指定せずに宣言した変数に、でたらめな値が入っていることはありません。その型のゼロ値を持ちます。

package main

import "fmt"

type Point struct {
	X, Y int
}

func main() {
	var i int
	var f float64
	var b bool
	var s string
	var p *int
	var sl []int
	var m map[string]int
	var pt Point

	fmt.Println(i, f, b, s == "", p, sl == nil, m == nil, pt)
	fmt.Println(len(sl), len(m), m["missing"])
}

よくできたGoのAPIは、ゼロ値がそのまま役に立つように設計されています。ゼロ値の sync.Mutex はロックされていない状態で、ゼロ値の bytes.Buffer は空ですぐ使え、len、range、append はnilスライスでも動きます。注意が必要なのはマップです。nilマップからの読み取りはゼロ値を返しますが、書き込むとpanicします。値を格納する前に、make かリテラルでマップを作ってください。

複数の変数を宣言する

package main

import "fmt"

var (
	appName = "inventory"
	version = "1.4.0"
	debug   bool
)

func main() {
	var width, height int = 1920, 1080
	x, y := 3, 4
	first, count := "widget", 12

	fmt.Println(appName, version, debug)
	fmt.Println(width, height, x, y, first, count)

	// swap without a temporary variable
	x, y = y, x
	fmt.Println("after swap:", x, y)
}

var ( ... ) ブロックは、関連するパッケージレベルの変数をまとめます。x, y = y, x のような多重代入では、何かが代入される前に右辺の式がすべて評価されます。値の入れ替えがうまくいくのはこのためです。

複数の名前を使った := は、左辺の名前のうち 少なくとも1つ が新しければ、何も再宣言しません。同じスコープにすでにある名前は、単に代入されるだけです。これによって err を使い回せます。

f, err := os.Open("a.txt")   // declares f and err
g, err := os.Open("b.txt")   // declares g, assigns to the existing err

新しい名前が1つもないとエラーになります。

./main.go:7:4: no new variables on left side of :=

すでにある変数に代入するときは、普通の = を使います。

未使用の変数はエラー

宣言したのに一度も読まれないローカル変数があると、ビルドが止まります。

./main.go:9:2: declared and not used: x

オフにできる警告ではありません。変数を削除するか、使うか、デバッグ中ならブランク識別子で黙らせます：_ = x。ブランク識別子は、不要な戻り値を捨てるのにも使えます：_, err := fmt.Println("hi")。

パッケージレベルの変数と関数の引数は、このルールの対象外です。

スコープとシャドーイング

変数は、宣言した場所から、それを囲むブロック（{ ... }）の終わりまで存在します。内側のブロックで := を使うと、外側に同じ名前の変数があっても 新しい 変数が作られます。外側の変数は隠される（シャドーイングされる）だけで、変更されません。

package main

import (
	"fmt"
	"strconv"
)

func main() {
	count := 0
	input := "42"

	if input != "" {
		count, err := strconv.Atoi(input) // new count, only inside this block
		if err != nil {
			fmt.Println("error:", err)
			return
		}
		fmt.Println("inside:", count)
	}

	fmt.Println("outside:", count) // still 0
}

このプログラムは inside: 42 と表示し、続いて outside: 0 と表示します。if の中の := は、内側のブロックにはまだどちらも存在しなかったので、count と err の両方を新しい変数として宣言しました。問題なくコンパイルでき、「値が消えた」というバグの典型的な原因になります。

直すには、先に err を宣言して = で代入します。

var err error
count, err = strconv.Atoi(input)

go vet はデフォルトではシャドーイングを報告しません。別の shadow アナライザーが報告し、golangci-lint などのリンターで有効にできます。

名前の付け方

• camelCase を使います：maxRetries、userID。max_retries ではありません。
• 頭字語は大文字小文字をそろえます：userId ではなく userID、httpClient、parseURL。
• スコープが短ければ短い名前にします。ループでは i、リーダーは r、エラーは err。パッケージレベルの変数には、長めで説明的な名前を付けます。
• パッケージレベルの大文字の名前（var Timeout）は他のパッケージに公開されます。パッケージとインポートのページを参照してください。

パッケージレベルの変数

関数の外で宣言した変数はプログラムの実行中ずっと存在し、main の実行前に依存関係の順に初期化されます。設定やキャッシュに便利で、すべてのゴルーチンから共有されます。複数のゴルーチンが書き込むなら、ミューテックスで保護するか sync/atomic を使ってください。そうしないとデータ競合になります。

変わることのない値には定数を使いましょう。const はうっかり変更されることがなく、実行時のコストもかかりません。