go defer return panic 执行顺序示例详解_开发_开发者

一、函数中有panic

package main
 
import "fmt"
 
func main() {
    fmt.Println("main func start")
    defer func(){
        fmt.Println("main defer func 1")
    }()
    s := test()
    fmt.Println("main get test() return:",s)
 
}
 
func test() (str string) {
    defer func() {
        //捕获panic
        if msg := recover(); msg != nil {
            fmt.Println("test defer func1 捕获到错误:",msg)
        }
  http://www.devze.com      str = "bbb"
    }()
 
    defer func(){
        fmt.Println("test defer func2")
    }()
 
    defer func(){
        fmt.Println("test defer func3")
    }()
 
    str = "aaa"
    
    fmt.Println("panic抛出前")
    panic("test painc")
    fmt.Println("panic抛出后")
    
    return str
}

执行结果：

go defer return panic 执行顺序示例详解

根据执行结果可知道：

函数内多个defer执行顺序是先入后出（即入栈）
panic 先于defer执行，不然defer函数内捕获不到错误
panic执行后后续逻辑及return 没有执行

二、然后将代码中 panic注释掉再执行

go defer return panic 执行顺序示例详解

执行结果：

go defer return panic 执行顺序示例详解

根据执行结果可知：

defer中可以修改返回值，注意：前提是函数的返回值不是匿名的

三、函数返回的是匿名参数

package main
 
import "fmt"
 
func main() {
    fmt.Println("main func start")
    defer func(){
        fmt.Println("main defer func 1")
    }()
    s := test()
    fmt.Println("main get test() return:",s)
 
}
 
func test() (string) {
    str := "aaa"
    defer func() {
        //捕获panic
        if msg := recover(); msg != nil {
            fmt.Println("test defer func1 捕获到错误:",msg)
        }
        str = "ccc"
    }()
 
    defer func(){
        fmt.Println("test defer func2")
    }()
 
    defer func(){
        fmt.Println("test defer func3")
    }()
 
    fmt.Println("panic抛出前")
    panic("test painc")
    fmt.Println("panic抛出后")
 
    return str
}

执行结果：

go defer return panic 执行顺序示例详解

然后注释掉panic执行结果

go defer return panic 执行顺序示例详解

根据执行结果：

函数返回参数是匿名的 defer无法修改
函数中有panic 匿名的返回值是零值，因为return赋值得不到执行，defer又修改不到返回值

***注意（非常重要）：这里需要提到的是函数的return是分为两个步骤：return最先执行，先将结果写入返回值中（即赋值）；接着defer开始执行一些收尾工作；最后函数携带当前返回值退出（即返回值）。

有panic的时候，return第一步没有执行到，无法将结果写入返回值中，那么函数退出前则只能返回参数类型的零值

四、总结：

函数中有多个defer，则是按先进后出（压栈）执行
panic先于defer执行，所以能通过defer中去捕获panic错误
defer可以修改函数的返回参数，前提是函数返回的参数不是匿名的
函数执行出现panic那么return得不到执行，如果返回参数是匿名的，那么函数最终返回的是返回参数的类型零值，如果返回参数不是匿名的，在panic前有对返回参数赋值，那么就能返回这个值，如果defer有对其修改，那么返回值则是defer修改的。

ps：go语言错误和异常处理，panic、defer、recover的执行顺序

一、panic()和recover()

golang中引入两个内置函数panic和recover来触发和终止异常处理流程，同时引入关键字defer来延迟执行defer后面的函数。一直等到包含defer语句的函数执行完毕时，延迟函数（defer后的函数）才会被执行，而不管包含defer语句的函数是通过return的正常结束，还是由于panic导致的异常结束。你可以在一个函数中执行多条defer语句，它们的执行顺序与声明顺序相反。当程序运行时，如果遇到引用空指针、下标越界或显式调用panic函数等情况，则先触发panic函数的执行，然后调用延迟函数。调用者继续传递panic，因此该过程一直在调用栈中重复发生：函数停止执行，调用延迟执行函数等。如果一路在延迟函数中没有recover函数的调用，则会到达该协程的起点，该协程结束，然后终止其他所有协程，包括主协程（类似于C语言中的主线程，该协程ID为1）。

panic： 1、内建函数 2、假如函数F中书写了panic语句，会终止其后要执行的代码，在panic所在函数F内如果存在要执行的defer函数列表，按照defer的逆序执行 3、返回函数F的调用者G，在G中，调用函数F语句之后的代码不会执行，假如函数G中存在要执行的defer函数列表，按照defer的逆序执行，这里的defer 有点类似 try-catch-finally 中的 finally 4、直到goroutine整个退出，并报告错误

recover： 1、内建函数 2、用来控制一个goroutine的panicking行为，捕获panic，从而影响应用的行为 3、一般的调用建议 a). 在defer函数中，通过recever来终止一个gojroutine的panicking过程，从而恢复正常代码的执行 b). 可以获取通过panic传递的error

简单来讲：go中可以抛出一个panic的异常，然后在defer中通过recover捕获这个异常，然后正常处理。

错误和异常从Golang机制上讲，就是error和panic的区别。很多其他语言也一样，比如C++/Java，没有error但有errno，没有panic但有throw。

Golang错误和异常是可以互相转换的：
错误转异常，比如程序逻辑上尝试请求某个URL，最多尝试三次，尝试三次的过程中请求失败是错误，尝试完第三次还不成功的话，失败就被提升为异常了。异常转错误，比如panic触发的异常被recover恢复后，将编程客栈返回值中error类型的变量进行赋值，以便上层函数继续走错误处理流程。

什么情况下用错误表达，什么情况下用异常表达，就得有一套规则，否则很容易出现一切皆错误或一切皆异常的情况。

以下给出异常处理的作用域（场景）：
空指针引用下标越界除数为0不应该出现的分支，比如default输入不应该引起函数错误

其他场景我们使用错误处理，这使得我们的函数接口很精炼。对于异常，我们可以选择在一个合适的上游去recover，并打印堆栈信息，使得部署后的程序不会终止。

说明： Golang错误处理方式一直是很多人诟病的地方，有些人吐槽说一半的代码都是"if err != nil { / 打印 && 错误处理 / }"，严重影响正常的处理逻辑。当我们区分错误和异常，根据规则设计函数，就会大大提高可读性和可维护性。

代码演示：

package main
 
import "fmt"
 
func main() {
	/*
	panic：词义"恐慌"，
	recover："恢复"
	go语言利用panic()，recover()，实现程序中的极特殊的异常的处理
		panic(),让当前的程序进入恐慌，中断程序的执行
		recover(),让程序恢复，必须在defer函数中执行
	 */
	defer func(){
		if msg := recover();msg != nil{
			fmt.Println(mandroidsg,"程序回复啦。。。")
		}
	}()
	funA()
	defer myprint("defer main：3.....")
	funB()
	defer myprint("defer main：4.....")
 
	fmt.Println("main..over。。。。")
 
}
func myprint(s s开发者_Go教程tring){
	fmt.Println(s)
}
 
func funA(){
	fmt.Println("我是一个函数funA()....")
}
 
func funB(){//外围函数
 
	fmt.Println("我是函数funB()...")
	defer myprint("defer funB()：1.....")
 
	for i:= 1;i<=10;i++{
		fmt.Println("i:",i)
		if i == 5{
编程客栈			//让程序中断
			panic("funB函数，恐慌了")
		}
	}//当外围函数的代码中发生了运行恐慌，只有其中所有的已经defer的函数全部都执行完毕后，该运行恐慌才会真正被扩展至调用处。
	defer myprint("defer funB()：2.....")
}

运行结果：