Golang中panic與recover的區別

Posted on by

前言

與defer類似的是，goroutine 中也有一個_panic鏈表頭指針指向一個_panic鏈，發生panic的時候也是在鏈表頭插入_panic結構體（執行gopanic）

在執行過程中發生瞭panic。那麼panic以後的代碼不會執行，轉而執行panic的邏輯，再執行defer，執行到的defer要將started標記為true，同時將其defer結構體中的_panic指針指向當前的_panic，表示這個defer是由該panic觸發的。再去執行defer鏈表，如果defer執行中還觸發瞭panic，panic後的代碼不載執行，將這個panic插入panic鏈頭，同時將其作為當前panic。當遇到瞭與當前panic不符的defer，就找到該defer上的panic，將其標記為已終止，從defer鏈表中移除當前執行的defer。打印panic移除信息，從鏈表尾開始逐步輸出

流程

panic執行defer的流程：

  • 先標記started=true，_panic=&panic
  • 後釋放
  • 目的是為瞭終止之前發生的panic

異常信息的輸出方式：

  • 所有還在panic鏈表上的項會被輸出
  • 順序與發生panic的順序一致

// A _panic holds information about an active panic.
//
// A _panic value must only ever live on the stack.
//
// The argp and link fields are stack pointers, but don't need special
// handling during stack growth: because they are pointer-typed and
// _panic values only live on the stack, regular stack pointer
// adjustment takes care of them.
type _panic struct {
    // argp 存儲當前要執行的defer的函數參數地址
	argp      unsafe.Pointer // pointer to arguments of deferred call run during panic; cannot move - known to liblink
	// arg panic函數自己的參數
    arg       interface{}    // argument to panic
    // link，鏈到之前發生的panic
	link      *_panic        // link to earlier panic
	pc        uintptr        // where to return to in runtime if this panic is bypassed
	sp        unsafe.Pointer // where to return to in runtime if this panic is bypassed
	// recovered 標識panic是否被恢復
    recovered bool           // whether this panic is over
    // aborted 標識panic是否被終止
	aborted   bool           // the panic was aborted
	goexit    bool
}

關於recover

recover隻執行一件事

  • 將當前執行的panic的recovered字段置為true

在每個defer執行完以後panic處理流程都會檢查當前panic是否被recover

  • 如果當前panic已經被恢復，就會將它從panic鏈中移除
  • 執行到的defer也會被移除，同時要保存_defer.sp和_defer.pc

利用_defer.sp和_defer.pc跳出當前panic的處理流程，通過棧指針判斷，隻執行當前函數中註冊的defer函數

在發生recover的函數正常結束後才會進入到檢測panic是否被恢復的流程

當recover的函數又發生panic時，goroutine會將該panic加入到鏈頭，設置為當前panic，再去執行defer鏈表，發現當前defer是當前panic執行的，移除當前defer，繼續執行下一個，直到發現不是當前panic執行的，在panic鏈上找到那個panic，輸出異常信息

對於已經recover標記的panic在輸出異常信息時會加上recovered標記

到此這篇關於Golang中panic與recover的區別的文章就介紹到這瞭,更多相關Go panic recover內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet！

推薦閱讀：