Go异常处理机制panic和recover

简介: Go异常处理机制panic和recover

recover


使用panic抛出异常后, 将立即停止当前函数的执行并运行所有被defer的函数,然后将panic抛向上一层,直至程序crash。但是也可以使用被defer的recover函数来捕获异常阻止程序的崩溃,recover只有被defer后才是有意义的。

func main() {
  print(123)
  print(456)
  panic("throw an error")
  print(678) //IDE会有提示: Unreachable code
}

结果:

123456panic: throw an error
goroutine 1 [running]:
main.main()
    /Users/shuangcui/explore/panicandrecover.go:31 +0x67

使用recover()捕获异常:

func main() {
  print(123)
  defer func() {
    if err := recover(); err != nil {
      print("recover it")
    }
  }()
  print(456)
  panic("throw an error")
  print(678) //IDE会有提示: Unreachable code
}

结果为:

123456recover it

如果有两个recover,则捕获异常的是后一个

func main() {
  print(123)
  defer func() {
    if err := recover(); err != nil {
      print("recover it")
    }
  }()
  defer func() {
    if err := recover(); err != nil {
      print("复原!")
    }
  }()
  print(456)
  panic("throw an error")
  print(678) //IDE会有提示: Unreachable code
}

结果为:

123456复原!

panic之后的任何代码都不会继续执行


前提是panic不在if里面

package main
import "fmt"
func main() {
  defer_call()
  fmt.Println("333 Helloworld")
}
func defer_call() {
  defer func() {
    fmt.Println("11111")
  }()
  defer func() {
    fmt.Println("22222")
  }()
  defer func() {
    if r := recover(); r != nil {
      fmt.Println("Recover from r : ", r)
    }
  }()
  defer func() {
    fmt.Println("33333")
  }()
  fmt.Println("111 Helloworld")
  panic("Panic 1!")
    //使用panic抛出异常后, 将立即停止当前函数的执行并运行所有被defer的函数,然后将panic抛向上一层, 直至程序crash
    //但是也可以使用被defer的recover函数来捕获异常阻止程序的崩溃,recover只有被defer后才是有意义的。
  panic("Panic 2!") //panic1之后的panic2没有任何机会会被执行, panic2之后的任何代码更没有任何机会被执行
  fmt.Println("222 Helloworld")
}

输出为:

111 Helloworld
33333
Recover from r :  Panic 1!
22222
11111
333 Helloworld

对于goroutine中的panic,协程外面的recover是无法恢复的;goroutine中的recover,同样无法恢复协程外的panic

微信截图_20230814204527.png

但协程中的recover可以恢复协程中的panic

package main
import (
  "fmt"
  "time"
)
func main() {
  go func() {
    defer func() {
      if err := recover(); err != nil {
        fmt.Println("recover err:", err)
      }
    }()
    panic("里面出错了")
  }()
  //panic("外面出错了")
  time.Sleep(1 * time.Second)
}

输出为:

recover err 里面出错了


主方法中的recover,也可以恢复子方法里的panic


但如果go subfunc(),则同样无法捕获subfunc中的异常

func main() {
  fmt.Println(123)
  defer fmt.Println(999)
  defer func() {
    if err := recover(); err != nil {
      fmt.Println("恢复异常:",err)
    }
  }()
  subfunc()
}
func subfunc() {
  defer fmt.Println(888)
  panic("出现了bug")
  defer fmt.Println(456)
}

结果为:

123
888
恢复异常: 出现了bug
999

因为panic发生的时候,panic函数后面的语句都不会执行了,所以recover函数不能放在panic语句后面执行,而要放在defer函数中执行。

使用 panic 抛出异常后,函数执行将从调用 panic 的地方停止,如果函数内有 defer 调用,则执行 defer 后边的函数调用,如果 defer 调用的函数中没有捕获异常信息,这个异常会沿着函数调用栈往上传递,直到 main 函数仍然没有捕获异常,将会导致程序异常退出


如何区别使用 panic 和 error 两种方式?

惯例是:导致关键流程出现不可修复性错误的使用 panic ,其他使用 error 。

panic 和 recover 的组合有如下特性:

  • 有 panic 没 recover ,程序宕机。
  • 有 panic 也有 recover ,程序不会宕机,执行完对应的 defer 后,从宕机点退出当前函数后继续执行。




recover能捕获所有错误吗?


不能!

Go 有哪些无法恢复的致命场景?

  • 并发读写 map fatal error: concurrent map read and map write
  • 堆栈内存耗尽(如递归)
runtime: goroutine stack exceeds 1000000000-byte limit
runtime: sp=0xc0200e1bf0 stack=[0xc0200e0000, 0xc0400e0000]
fatal error: stack overflow
  • 将 nil 函数作为 goroutine 启动 fatal error: go of nil func value
  • goroutines 死锁  fatal error: all goroutines are asleep - deadlock!
  • 线程超过设置的最大限制  fatal error: thread exhaustion
  • 超出可用内存 fatal error: runtime: out of memory

总之 都会报fatal error:xxxxxxxx


拓展&参考:

golang panic和recover 实现原理

Go 学习笔记(19)— 函数(05)[如何触发 panic、触发 panic 延迟执行、panic 和 recover 的关系]

Go 语言踩坑记——panic 与 recover


目录
相关文章
|
20天前
|
存储 算法 Java
Go语言的内存管理机制
【10月更文挑战第25天】Go语言的内存管理机制
21 2
|
1月前
|
Go
go基础-14.异常处理
go基础-14.异常处理
|
3月前
|
存储 编译器 Go
|
3月前
|
Go 数据处理
|
3月前
|
Go
实验深度理解Go中try...catch...的panic、defer、recover用法
文章通过实验代码演示了Go语言中如何使用panic、defer和recover函数来模拟try...catch...的异常处理机制,并详细解释了每个函数的作用和在异常处理中的使用场景。
35 0
|
5月前
|
Java Go
Go 中 slice 的内存管理机制
Go 中 slice 的内存管理机制
|
5月前
|
负载均衡 算法 Java
【面试宝藏】Go语言运行时机制面试题
探索Go语言运行时,了解goroutine的轻量级并发及GMP模型,包括G(协程)、M(线程)和P(处理器)。GMP调度涉及Work Stealing和Hand Off机制,实现负载均衡。文章还讨论了从协作到基于信号的抢占式调度,以及GC的三色标记算法和写屏障技术。理解这些概念有助于优化Go程序性能。
65 4
|
6月前
|
负载均衡 算法 Go
Golang深入浅出之-Go语言中的服务注册与发现机制
【5月更文挑战第4天】本文探讨了Go语言中服务注册与发现的关键原理和实践,包括服务注册、心跳机制、一致性问题和负载均衡策略。示例代码演示了使用Consul进行服务注册和客户端发现服务的实现。在实际应用中,需要解决心跳失效、注册信息一致性和服务负载均衡等问题,以确保微服务架构的稳定性和效率。
160 3
|
6月前
|
存储 安全 中间件
【Go语言专栏】Go语言中的安全认证与授权机制
【4月更文挑战第30天】本文探讨了Go语言中实现安全认证与授权的方法。认证机制包括HTTP Basic Auth、表单认证、OAuth和JWT,可借助`net/http`及第三方库实现。授权则通过中间件或拦截器,如RBAC、ABAC和上下文相关授权,`casbin`和`go-permission`等库提供解决方案。实践中,需设计认证流程、存储用户凭证、实现逻辑、定义授权策略和编写中间件,并确保安全性。案例分析展示了认证授权在RESTful API服务中的应用。在Go开发中,不断学习和优化安全策略以应对安全挑战至关重要。
174 0
|
7天前
|
存储 JSON 监控
Viper,一个Go语言配置管理神器!
Viper 是一个功能强大的 Go 语言配置管理库,支持从多种来源读取配置,包括文件、环境变量、远程配置中心等。本文详细介绍了 Viper 的核心特性和使用方法,包括从本地 YAML 文件和 Consul 远程配置中心读取配置的示例。Viper 的多来源配置、动态配置和轻松集成特性使其成为管理复杂应用配置的理想选择。
26 2