中級

型付きnilをinterfaceに入れると == nil が false になる

nilのポインタをerrorなどのinterface型の変数に代入すると、そのinterfaceは型情報を持った「型付きnil」になります。値自体はnilでも、interfaceとしてはnilと等しくなくなります。

なぜエラーが出ないのか

出力: false

（エラーなし）

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

出力: false

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

見つけ方

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

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

 1  package main
 2  
 3  import "fmt"
 4  
 5  type MyErr struct{}
 6  
 7  func (e *MyErr) Error() string { return "boom" }
 8  
 9  func check() error {
10  	var e *MyErr
11  	_ = e
12  	return e         
             ^
13  }
14  
15  func main() {
16  	err := check()
17  	fmt.Println(err == nil)
18  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  type ValidationError struct{}
 6  
 7  func (e *ValidationError) Error() string { return "invalid" }
 8  
 9  func validate() error {
10  	var e *ValidationError
11  	_ = e
12  	return e                 
                 ^
13  }
14  
15  func main() {
16  	err := validate()
17  	fmt.Println(err == nil)
18  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  type NotFoundError struct{}
 6  
 7  func (e *NotFoundError) Error() string { return "not found" }
 8  
 9  func find() error {
10  	var e *NotFoundError
11  	_ = e
12  	return e               
                ^
13  }
14  
15  func main() {
16  	err := find()
17  	fmt.Println(err == nil)
18  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  type TimeoutError struct{}
 6  
 7  func (e *TimeoutError) Error() string { return "timeout" }
 8  
 9  func wait() error {
10  	var e *TimeoutError
11  	_ = e
12  	return e              
                ^
13  }
14  
15  func main() {
16  	err := wait()
17  	fmt.Println(err == nil)
18  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  type ParseError struct{}
 6  
 7  func (e *ParseError) Error() string { return "parse failed" }
 8  
 9  func parse() error {
10  	var e *ParseError
11  	_ = e
12  	return e            
               ^
13  }
14  
15  func main() {
16  	err := parse()
17  	fmt.Println(err == nil)
18  }

よくある誤解

「中身のポインタがnilなら、interface変数を == nil で比較すればtrueになるはず」という思い込みは誤りです。interfaceは（型, 値）のペアで構成されており、値がnilでも型情報が入っていればinterface全体としてはnilと等しくありません。

まとめ

型付きnilをinterfaceに入れると == nil が false になるは中級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• strconv.Atoiのerrを無視するとゼロ値のまま処理が進むstrconv.Atoiは変換に失敗するとerrを返しますが、これを無視すると1番目の戻り値は黙って0のままになります。
• interface conversion panic の原因と直し方型アサーション v.(T) は、vの実際の型がTでない場合に実行時パニックを起こします。