中級

クロージャがループ外の変数を共有キャプチャして最終値しか残らない

forループの外側で宣言した変数をクロージャの中で使い、そのクロージャをスライスに貯めていく場合、各クロージャは同じ変数を参照し続けます。実行時にはループ終了後の最終値だけが全クロージャに共通して見えます。

なぜエラーが出ないのか

出力: [3 3 3]

（エラーなし）

Goは何も報告しません。コンパイルも実行も正常に終わるコードだからです

出力: [3 3 3]

実際の出力 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるしかありません。この種の誤りが最も発見が遅れます

このエラーが出る典型パターン

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	var funcs []func() int
 7  	sum := 0
 8  	for i := 0; i < 3; i++ {
 9  		sum += i
10  		s := sum
11  		_ = s
12  		funcs = append(funcs, func() int { return sum })
                                                 ^
13  	}
14  	var results []int
15  	for _, f := range funcs {
16  		results = append(results, f())
17  	}
18  	fmt.Println(results)
19  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	var funcs []func() int
 7  	sum := 0
 8  	for i := 0; i < 3; i++ {
 9  		sum += i * 2
10  		s := sum
11  		_ = s
12  		funcs = append(funcs, func() int { return sum })
                                                 ^
13  	}
14  	var results []int
15  	for _, f := range funcs {
16  		results = append(results, f())
17  	}
18  	fmt.Println(results)
19  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	var funcs []func() int
 7  	sum := 0
 8  	for i := 0; i < 3; i++ {
 9  		sum += 10
10  		s := sum
11  		_ = s
12  		funcs = append(funcs, func() int { return sum })
                                                 ^
13  	}
14  	var results []int
15  	for _, f := range funcs {
16  		results = append(results, f())
17  	}
18  	fmt.Println(results)
19  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	var funcs []func() int
 7  	sum := 0
 8  	for i := 0; i < 3; i++ {
 9  		sum += i + 1
10  		s := sum
11  		_ = s
12  		funcs = append(funcs, func() int { return sum })
                                                 ^
13  	}
14  	var results []int
15  	for _, f := range funcs {
16  		results = append(results, f())
17  	}
18  	fmt.Println(results)
19  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	var funcs []func() int
 7  	sum := 0
 8  	for i := 0; i < 4; i++ {
 9  		sum += i
10  		s := sum
11  		_ = s
12  		funcs = append(funcs, func() int { return sum })
                                                 ^
13  	}
14  	var results []int
15  	for _, f := range funcs {
16  		results = append(results, f())
17  	}
18  	fmt.Println(results)
19  }

よくある誤解

「クロージャを作った時点の値がそれぞれ個別に固定されるはず」という思い込みは誤りです。Go 1.22以降でforの各回のループ変数自体は新しいインスタンスになりましたが、ループの外で宣言してループ内で使い回している変数はこの対象外で、依然として全クロージャに共有されます。

まとめ

クロージャがループ外の変数を共有キャプチャして最終値しか残らないは中級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• appendの戻り値を再代入し忘れると要素が反映されないappendは新しいスライスを返す関数で、元のスライス変数を直接書き換えません。
• all goroutines are asleep - deadlock! の原因と直し方バッファなしチャネルへの送信は、受信するgoroutineが存在するまでブロックします。