golang学习之五:error、painc、recover

今天我们来看看golang里的异常处理。
golang里的异常处理函数总共有3中,error、panic、recover

  • error:返回一些不致命的错误

  • panic:返回一些致命的错误,会导致程序崩掉,俗称挂了。但是在程序宕机之前,会将压入defer函数栈的函数执行完毕,然后再挂掉,由此可见panic还是很厚道的…

  • recover:go语言为我们提供了专用于“拦截”运行时panic的内建函数recover。它可以是当前的程序从运行时panic的状态中恢复并重新获得流程控制权。

error

如下代码我们可以简单的定义一个error对象,并让其返回结果

package main

import (
	"errors"
	"fmt"
)

func MyDiv(a, b int) (result int, err error) {

	err = nil
	if b == 0 {
		err = errors.New("分母不能为0")
	} else {
		result = a / b
	}
	return
}
func main() {
	result, err := MyDiv(10, 0)
	if err != nil {
		fmt.Println("err = ", err)
	} else {
		fmt.Println("reslut = ", result)
	}
}

控制台

PS D:\vscode\code\demo1> go run error1.go
err =  分母不能为0
PS D:\vscode\code\demo1> 

panic

我们使用panic要和error做对比去使用。
error:普通错误。在预知一些错误且错误不致命的情况下我们使用error
panic:致命错误,不可恢复。在通常情况下,向程序使用方报告错误状态的方式可以是返回一个额外的error类型值。
但是,当遇到不可恢复的错误状态的时候,如数组访问越界、空指针引用等,这些运行时错误会引起painc异常。这时,上述错误处理方式显然就不适合了。反过来讲,在一般情况下,我们不应通过调用panic函数来报告普通的错误,而应该只把它作为报告致命错误的一种方式。当某些不应该发生的场景发生时,我们就应该调用panic。
一般而言,当panic异常发生时,程序会中断运行,并立即执行在该goroutine(可以先理解成线程,在中被延迟的函数(defer 机制)。随后,程序崩溃并输出日志信息。日志信息包括panic value和函数调用的堆栈跟踪信息。
不是所有的panic异常都来自运行时,直接调用内置的panic函数也会引发panic异常;panic函数接受任何值作为参数。

使用:我们可以直接调用panic这个函数让程序宕机。当然也可以让这个程序内部去触发panic函数去宕机,比如数组越界的时候它每部就会自动调用panic函数让程序崩掉。

如下代码

package main

import (
	"fmt"
)

func a() {
	fmt.Println("亲朋无一字")
}
func b() {
	defer func() {
		fmt.Println("戎马关山北")
	}()
	fmt.Println("老病有孤舟")
	panic("我是panic")

}
func c() {
	fmt.Println("戎马关山北")
}
func d() {
	fmt.Println("凭轩涕泗流")
}
func main() {
	a()
	b()
	c()
	d()
}

控制台

PS D:\vscode\code\demo1> go run panic.go
亲朋无一字
老病有孤舟
戎马关山北
panic: 我是panic

goroutine 1 [running]:
main.b()
        D:/vscode/code/demo1/panic.go:15 +0x8b
main.main()
        D:/vscode/code/demo1/panic.go:26 +0x5b
exit status 2

显示调用panic

再如下代码

package main

import (
	"fmt"
)

func a() {
	fmt.Println("亲朋无一字")
}
func b() {
	
	fmt.Println("老病有孤舟")
	panic("我是panic")
	defer func() {
		fmt.Println("戎马关山北")
	}()
}
func c() {
	fmt.Println("戎马关山北")
}
func d() {
	fmt.Println("凭轩涕泗流")
}
func main() {
	a()
	b()
	c()
	d()
}

控制台

PS D:\vscode\code\demo1> go run panic.go
亲朋无一字
老病有孤舟
panic: 我是panic

goroutine 1 [running]:
main.b()
        D:/vscode/code/demo1/panic.go:13 +0x6a
main.main()
        D:/vscode/code/demo1/panic.go:26 +0x5b
exit status 2

上面两端代码panic没啥好说的,但是为啥一个打印出来了defer,一个没有打印出来呢?
因为第二段代码里panic发生在defer之前,defer没有被放入函数栈,程序就已经panic,俗称挂了,后面的代码当然不会执行了。
而第一段代码在panic之前,defer后的函数已经被放入了函数栈,然后panic的时候,会先执行defer函数栈里的代码,然后再挂掉,就是回光返照的意思说一说临终遗言。如下场景,panic后的程序奄奄一息,空洞的眼眸里突然泛起一丝温柔的目光,好像回想起了什么,颤巍巍的说道:“那年,那年大明湖畔的小翠…”。

隐式调用panic

所谓隐式,其实就是程序帮我们调用了panic,如下代码

package main

func test(x int) {
	var arr [10]int
	arr[x] = 14
}

func main() {

	test(20)
}

控制台

PS D:\vscode\code\demo1> go run panic.go
panic: runtime error: index out of range [20] with length 10

goroutine 1 [running]:
main.test(...)
        D:/vscode/code/demo1/panic.go:5
main.main()
        D:/vscode/code/demo1/panic.go:10 +0x1d
exit status 2

recover

golang里的异常处理函数总共有3中,error、panic、recover.

运行时panic异常一旦被引发就会导致程序崩溃。这当然不是我们愿意看到的,因为谁也不能保证程序不会发生任何运行时错误。
不过,Go语言为我们提供了专用于“拦截”运行时panic的内建函数——recover。它可以是当前的程序从运行时panic的状态中恢复并重新获得流程控制权。

注意:recover只有在defer 调用的函数中有效。
如果调用了内置函数recover,并且定义该defer 语句的函数发生了panic异常,recover会使程序从panic中恢复,并返回 panic value。导致panic异常的函数不会继续运行,但能正常返回。在未发生panic时调用recover,recover会返回nil。

如下代码:

package main

import "fmt"

func test(x int) {
	defer func() {
		recover()
	}()
	var arr [10]int
	arr[x] = 14
}
func test2() {
	fmt.Println("飘飘何所似")
	fmt.Println("天地一沙鸥")
}

func main() {
	test(20)
	test2()
}

控制台

PS D:\vscode\code\demo1> go run panic.go
飘飘何所似
天地一沙鸥

recover,是将程序从运行时panic的状态中恢复并重新获得流程控制权了,但是程序毕竟是出现panic了,我们却不知道,那怎么办呢?其实recover是可以打印出来panic信息的.
如下代码

package main

import "fmt"

func test(x int) {
	defer func() {
		fmt.Println(recover())
	}()
	var arr [10]int
	arr[x] = 14
}
func test2() {
	fmt.Println("飘飘何所似")
	fmt.Println("天地一沙鸥")
}

func main() {
	test(20)
	test2()
}

控制台

PS D:\vscode\code\demo1> go run panic.go
runtime error: index out of range [20] with length 10
飘飘何所似
天地一沙鸥

有错误信息了,并且程序也没有被panic中断,看似很完美,但是有没有一种情况,我传递的数,压根没有超过数组的索引,程序压根就没有panic?

如下代码

package main

import "fmt"

func test(x int) {
	defer func() {
		fmt.Println(recover())
	}()
	var arr [10]int
	arr[x] = 14
}
func test2() {
	fmt.Println("飘飘何所似")
	fmt.Println("天地一沙鸥")
}

func main() {
	test(4)
	test2()
}

控制台

PS D:\vscode\code\demo1> go run panic.go
<nil>
飘飘何所似
天地一沙鸥

所以这个代码就不是我们想要的了,因为正确的参数下,没有panic,但是recover还是打印了一个nil。

如下代码

package main

import "fmt"

func test(x int) {
	defer func() {
		// recover 可以打印panic信息
		if err := recover(); err != nil {
			fmt.Println(err)
		}
	}()
	var arr [10]int
	arr[x] = 14
}
func test2() {
	fmt.Println("飘飘何所似")
	fmt.Println("天地一沙鸥")
}

func main() {
	test(4)
	test2()
}

控制台

PS D:\vscode\code\demo1> go run panic.go
飘飘何所似
天地一沙鸥

完美解决问题。
所以这里我们要清楚,recover是为了在发生panic的时候不让项目崩掉继续往下运行的一种手段。否则你一个索引越界导致的panic,整个项目都gg了…

defer 配合recover函数使程序从panic中恢复过来

defer 配合recover函数使程序从panic中恢复过来,且是Go语言中唯一从panic中恢复过来的手段。
点此查看:defer 配合recover函数使程序从panic中恢复过来

go里的panic与recover不是java里的exception和try-catch

注意go里的recover并不是java里的try-catch

java的exception与go的panic

exception

自定义的checked exception 和 Go 中使用errors.New、fmt.Errorf定义的 error 接口的实现类型十分类似。因此我们可以明确:Java 的checked exception用于一些可预见的、常会发生的错误场景,针对checked exception的所谓“异常处理”就是针对这些场景的**“错误处理预案”。也可以说对checked exception的使用、捕获、自定义等行为均是“有意而为之”。如果非要与 Go 中的某种语法对应来看,它对应的也是 Go 的正常错误处理,即基于显式 error 模型的显式错误处理。因此,对checked exception处理的本质是错误处理**,虽然其名字用带有“异常”的字样。

panic

panic 是一个 Go 内置函数,它用来停止当前常规控制流并启动panicking过程。当函数 F 调用 panic
 函数时,函数 F 的执行停止,函数 F 中已进行了求值的 defer 函数都将得到正常执行,然后函数 F 将
 控制权返还给其调用者。对于函数 F 的调用者而言,函数 F 之后的行为就如同调用者调用的函数是 panic
 一样,**该panicking过程将继续在栈上进行下去,直到当前 goroutine 中的所有函数都返回为止,此时
 程序将崩溃退出**panic可以通过直接调用 panic 函数来引发,它们也可能是由运行时错误引起,例如越
 界数组访问。

和 Java 中checked exception的“有意而为之”相反,在 Go 中,panic 则是“不得已而为之”,即所有引发 panic 的情形,无论是显式的(我们主动调用 panic 函数引发的),还是隐式的(Go 运行时检测到违法情况而引发的)都是我们不期望看到的。对这些引发的 panic,我们很少有“预案”应对,更多的是让程序快速崩溃掉。因此一旦发生 panic,就意味着我们的代码很大可能出现了 bug。因此,Go 中的 panic 更接近于 Java 的RuntimeException+Error,而不是checked exception。

一句话总结:checked exception实质是“错误”,而 panic 是“异常”

recover

未被 recover 的 panic 意味着“游戏结束”(Game Over),但是即使panic被recover了,程序会一直向上抛,直到该函数所在的协程停止。
如果 API 抛出checked exception,那么 Java 编译器将严格要求上层代码对这个checked exception进行处理。但一旦你在 Go API 中引发panic,该 panic 会就会沿着调用函数栈向下“蔓延”,直到所有函数都返回(函数所在的协程也就挂掉了),调用该 API 的 goroutine 将携带着 panic 信息退出。但事情并没有就此打住,一旦 panic 没有被 recover(即使被recover了,该panic 会就会沿着调用函数栈向下“蔓延”,直到蔓延到该函数调用链的最初地方,然后整个协程也还是会挂掉,这个是与try-catch最大的不同的地方,非常容易踩坑),它导致的可不是一个 goroutine 的退出,而是整个 Go 程序的“游戏结束” - 崩溃退出!

综上,我们看到 Go panic 不应被当做 Java 的checked exception用来进行正常的错误处理。使用错误 (error) 和多返回值的显式错误处理方式才是符合 Go 设计哲学的。

一句话总结:
1.panic 之后,协程就结束了(有recover也结束了);
2.协程池的协程panic,协程池有耗尽风险,严格来说绝对不允许panic;
3.有的错误recover也是兜不住的;

总结

golang里的异常处理函数总共有3中,error、panic、recover

  • error:返回一些不致命的错误

  • panic:返回一些致命的错误,会导致程序崩掉,俗称挂了。但是在程序宕机之前,会将压入defer函数栈的函数执行完毕,然后再挂掉,由此可见panic还是很厚道的…

  • recover:go语言为我们提供了专用于“拦截”运行时panic的内建函数recover。它可以是当前的程序从运行时panic的状态中恢复并重新获得流程控制权。就一句话,recover是为了在发生panic的时候不让项目崩掉继续往下运行的一种手段。否则你一个索引越界导致的panic,整个项目都gg了…

  • defer 配合recover函数使程序从panic中恢复过来,且是Go语言中唯一从panic中恢复过来的手段。
    点此查看:defer 配合recover函数使程序从panic中恢复过来

个人学习笔记,不喜勿喷

评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值