上級

recoverは同じgoroutine内のpanicしか捕まえない

recoverはそれを呼び出したgoroutine内で発生したpanicしか回復できません。別のgoroutine内でdeferとrecoverを仕込んでも、他のgoroutineのpanicは捕まえられずプログラム全体がクラッシュします。

エラーメッセージの読み方

panic: boom

panic

パニック — 実行時に回復不能な状態になったことを示します。deferとrecoverで捕まえない限り、そのままプロセスが終了します

boom

詳細メッセージ — どの値が問題だったか

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

 1  package main
 2  
 3  import (
 4  	"fmt"
 5  	"time"
 6  )
 7  
 8  func worker() {
 9  	panic("boom")
10  }
11  
12  func main() {
13  	defer func() {
14  		if r := recover(); r != nil {
15  			fmt.Println("recovered:", r)
16  		}
17  	}()
18  	go worker()             
                 ^
19  	time.Sleep(100 * time.Millisecond)
20  }

 1  package main
 2  
 3  import (
 4  	"fmt"
 5  	"time"
 6  )
 7  
 8  func task() {
 9  	panic("fail")
10  }
11  
12  func main() {
13  	defer func() {
14  		if r := recover(); r != nil {
15  			fmt.Println("recovered:", r)
16  		}
17  	}()
18  	go task()             
                ^
19  	time.Sleep(100 * time.Millisecond)
20  }

 1  package main
 2  
 3  import (
 4  	"fmt"
 5  	"time"
 6  )
 7  
 8  func job() {
 9  	panic("error")
10  }
11  
12  func main() {
13  	defer func() {
14  		if r := recover(); r != nil {
15  			fmt.Println("recovered:", r)
16  		}
17  	}()
18  	go job()             
               ^
19  	time.Sleep(100 * time.Millisecond)
20  }

 1  package main
 2  
 3  import (
 4  	"fmt"
 5  	"time"
 6  )
 7  
 8  func process() {
 9  	panic("crash")
10  }
11  
12  func main() {
13  	defer func() {
14  		if r := recover(); r != nil {
15  			fmt.Println("recovered:", r)
16  		}
17  	}()
18  	go process()             
                 ^
19  	time.Sleep(100 * time.Millisecond)
20  }

 1  package main
 2  
 3  import (
 4  	"fmt"
 5  	"time"
 6  )
 7  
 8  func handle() {
 9  	panic("oops")
10  }
11  
12  func main() {
13  	defer func() {
14  		if r := recover(); r != nil {
15  			fmt.Println("recovered:", r)
16  		}
17  	}()
18  	go handle()             
                 ^
19  	time.Sleep(100 * time.Millisecond)
20  }

よくある誤解

「main関数でrecoverを仕込んでおけば、どのgoroutineのpanicも捕まえられるはず」という思い込みは誤りです。panicとrecoverはgoroutineごとに独立しており、panicしたgoroutine自身がdefer内でrecoverを呼ばない限り、そのpanicは回復できずプロセス全体を終了させます。

まとめ

recoverは同じgoroutine内のpanicしか捕まえないは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• all goroutines are asleep - deadlock! の原因と直し方バッファなしチャネルへの送信は、受信するgoroutineが存在するまでブロックします。
• sync: negative WaitGroup counter パニックの原因と直し方sync.WaitGroupのDone()はAdd()で加算した回数より多く呼ぶとカウンタが負になり、実行時にパニックします。