golangpanic的实现原理?
最新回答
别离憔悴
2024-10-31 02:28:36
panic是一个包含defer指针、参数、panic列表表头指针和已恢复或终止信息的结构体。此结构体在后续版本中会进一步扩展，以优化panic和recover性能。
在runtime.gopanic方法中，处理流程如下：每个goroutine都拥有一个panic链表。遇panic代码生成对应_panic数据，存入链表表头。每执行完一个函数，如无panic，跳过_panic数据，继续正常流程；若遇panic，处理链表中对应_panic。
如果函数内存在defer，按约定顺序执行延迟代码。执行完毕后，若需recover，由reflectcall调用gorecover。执行recover后，recovered字段标记为真，由recovery方法负责处理，恢复至正常流程。若无recover，进入死给你看流程。
比较厚道的是，在打印出涉及的panic消息后，执行fatalpanic方法，宣告程序结束。
当执行defer链表中的defer时，可能产生新panic，此时当前_panic被标记为放弃，进入新产生的_panic处理流程。
需注意，Golang的goroutine机制下，panic在不同goroutine中是独立处理的。一个地方出问题可能导致整个程序结束，使用时应格外小心。
热门标签
