第30章:一些恐慌/恢复用例

一些恐慌/恢复用例

恐慌和恢复(panic/recover)已经在之前的文章中介绍过了(第13章)。 下面将展示一些恐慌/恢复用例。

用例1:避免恐慌导致程序崩溃

这可能是最常见的panic/recover用例了。 此用例广泛地使用于并发程序中,尤其是响应大量用户请求的应用。

一个例子:

  1. package main
  2. import "errors"
  3. import "log"
  4. import "net"
  5. func main() {
  6. listener, err := net.Listen("tcp", ":12345")
  7. if err != nil {
  8. log.Fatalln(err)
  9. }
  10. for {
  11. conn, err := listener.Accept()
  12. if err != nil {
  13. log.Println(err)
  14. }
  15. // 在一个新协程中处理客户端连接。
  16. go ClientHandler(conn)
  17. }
  18. }
  19. func ClientHandler(c net.Conn) {
  20. defer func() {
  21. if v := recover(); v != nil {
  22. log.Println("捕获了一个恐慌:", v)
  23. log.Println("防止了程序崩溃")
  24. }
  25. c.Close()
  26. }()
  27. panic("未知错误") // 演示目的产生的一个恐慌
  28. }

运行此服务器程序,并在另一个终端窗口运行telnet localhost 12345,我们可以观察到服务器程序不会因为客户连接处理协程中的产生的恐慌而导致崩溃。

如果我们在上例中不捕获客户连接处理协程中的潜在恐慌,则这样的恐慌将使整个程序崩溃。

用例2:自动重启因为恐慌而退出的协程

当在一个协程将要退出时,程序侦测到此协程是因为一个恐慌而导致此次退出时,我们可以立即重新创建一个相同功能的协程。 一个例子:

  1. package main
  2. import "log"
  3. import "time"
  4. func shouldNotExit() {
  5. for {
  6. time.Sleep(time.Second) // 模拟一个工作负载
  7. // 模拟一个未预料到的恐慌。
  8. if time.Now().UnixNano() & 0x3 == 0 {
  9. panic("unexpected situation")
  10. }
  11. }
  12. }
  13. func NeverExit(name string, f func()) {
  14. defer func() {
  15. if v := recover(); v != nil { // 侦测到一个恐慌
  16. log.Printf("协程%s崩溃了,准备重启一个", name)
  17. go NeverExit(name, f) // 重启一个同功能协程
  18. }
  19. }()
  20. f()
  21. }
  22. func main() {
  23. log.SetFlags(0)
  24. go NeverExit("job#A", shouldNotExit)
  25. go NeverExit("job#B", shouldNotExit)
  26. select{} // 永久阻塞主线程
  27. }

用例3:使用panic/recover函数调用模拟长程跳转

有时,我们可以使用panic/recover函数调用来模拟跨函数跳转,尽管一般这种方式并不推荐使用。 这种跳转方式的可读性不高,代码效率也不是很高,唯一的好处是它有时可以使代码看上去不是很啰嗦。

在下面这个例子中,一旦一个恐慌在一个内嵌函数中产生,当前协程中的执行将会跳转到延迟调用处。

  1. package main
  2. import "fmt"
  3. func main() {
  4. n := func () (result int) {
  5. defer func() {
  6. if v := recover(); v != nil {
  7. if n, ok := v.(int); ok {
  8. result = n
  9. }
  10. }
  11. }()
  12. func () {
  13. func () {
  14. func () {
  15. // ...
  16. panic(123) // 用恐慌来表示成功返回
  17. }()
  18. // ...
  19. }()
  20. }()
  21. // ...
  22. return 0
  23. }()
  24. fmt.Println(n) // 123
  25. }

用例4:使用panic/recover函数调用来减少错误检查代码

一个例子:

  1. func doSomething() (err error) {
  2. defer func() {
  3. switch e := recover().(type) {
  4. case nil:
  5. case error:
  6. err = e
  7. default:
  8. panic(e) // 重新抛出此恐慌
  9. }
  10. }()
  11. doStep1()
  12. doStep2()
  13. doStep3()
  14. doStep4()
  15. doStep5()
  16. return
  17. }
  18. // 在现实中,各个doStepN函数的原型可能不同。
  19. // 这里,每个doStepN函数的行为如下:
  20. // * 如果已经成功,则调用panic(nil)来制造一个恐慌
  21. // 以示不需继续;
  22. // * 如果本步失败,则调用panic(err)来制造一个恐慌
  23. // 以示不需继续;
  24. // * 不制造任何恐慌表示继续下一步。
  25. func doStepN() {
  26. ...
  27. if err != nil {
  28. panic(err)
  29. }
  30. ...
  31. if done {
  32. panic(nil)
  33. }
  34. }

下面这段同功能的代码比上面这段代码看上去要啰嗦一些。

  1. func doSomething() (err error) {
  2. shouldContinue, err := doStep1()
  3. if !shouldContinue {
  4. return err
  5. }
  6. shouldContinue, err = doStep2()
  7. if !shouldContinue {
  8. return err
  9. }
  10. shouldContinue, err = doStep3()
  11. if !shouldContinue {
  12. return err
  13. }
  14. shouldContinue, err = doStep4()
  15. if !shouldContinue {
  16. return err
  17. }
  18. shouldContinue, err = doStep5()
  19. if !shouldContinue {
  20. return err
  21. }
  22. return
  23. }
  24. // 如果返回值err不为nil,则shouldContinue一定为true。
  25. // 如果shouldContinue为true,返回值err可能为nil或者非nil。
  26. func doStepN() (shouldContinue bool, err error) {
  27. ...
  28. if err != nil {
  29. return false, err
  30. }
  31. ...
  32. if done {
  33. return false, nil
  34. }
  35. return true, nil
  36. }

但是,这种panic/recover函数调用的使用方式一般并不推荐使用,因为它的效率略低一些,并且这种用法不太符合Go编程习俗。

另外需要注意的是:从Go 1.21开始,一个panic(nil)调用将变得和panic(new(runtime.PanicNilError))等价。 所以,从Go 1.21开始,上面代码中的延迟函数调用应该被重写为:

  1. import "runtime"
  2. ...
  3. func doSomething() (err error) {
  4. defer func() {
  5. switch e := recover().(type) {
  6. case nil, *runtime.PanicNilError:
  7. case error:
  8. err = e
  9. default:
  10. panic(e) // 重新抛出此恐慌
  11. }
  12. }()
  13. doStep1()
  14. ...
  15. }

本书由老貘历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本书和Go101.org网站不断增容和维护的动力。

(请搜索关注微信公众号“Go 101”或者访问github.com/golang101/golang101获取本书最新版)