上級

deferの引数はdefer文を実行した時点の値で評価される

defer文に渡した関数呼び出しの引数は、実際に関数が実行される（関数の終了時）タイミングではなく、defer文自体が実行された時点で評価され確定します。

なぜエラーが出ないのか

出力: 1

（エラーなし）

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

出力: 1

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

見つけ方

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

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

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	x := 1
 7  	defer fmt.Println(x)             
                     ^
 8  	x = 2
 9  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	count := 10
 7  	defer fmt.Println(count)             
                       ^
 8  	count = 20
 9  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	n := 5
 7  	defer fmt.Println(n)             
                     ^
 8  	n = 50
 9  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	score := 0
 7  	defer fmt.Println(score)             
                       ^
 8  	score = 100
 9  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	level := 1
 7  	defer fmt.Println(level)             
                       ^
 8  	level = 9
 9  }

よくある誤解

「defer fmt.Println(x)と書けば、関数の一番最後のxの値が出力されるはず」という思い込みは誤りです。引数の評価はdefer文に到達した瞬間に行われるため、その後xの値を変更しても出力には反映されません。値を変更したいなら引数のないクロージャをdeferする必要があります。

実務での勘所

deferの正確な規則は、「関数の呼び出しそのもの」は遅延されますが、「呼び出しに使う引数の値」はdefer文が実行された、その場で確定するというものです。defer fmt.Println(x)と書いた瞬間に、xの現在の値がPrintlnに渡す引数として確定し、後でxを変更してもこの確定した値には影響しません。関数の一番最後の値を出力したい場合は、defer func() { fmt.Println(x) }()のようにクロージャで包み、xという変数自体をキャプチャする必要があります。

演習をはじめる

関連するエラー

• 埋め込み構造体のメソッドが外側の同名メソッドにシャドーイングされる構造体に別の構造体を埋め込むと、埋め込み側のメソッドが昇格して呼び出せるようになります。
• 名前付き戻り値が内側のブロックで:=によりシャドーイングされる名前付き戻り値の変数と同じ名前をif文などの内側のブロックで:=を使って再宣言すると、それは別の新しいローカル変数になります。