在 Go 語言中，panic、recover 和 defer 是用於處理異常情況的關鍵字。它們通常一起使用來實現對程式錯誤的處理和恢復。 1. defer 語句 defer 用於在函數返回之前執行一段代碼。被 defer 修飾的語句或函數會在包含 defer 的函數執行完畢後執行。defer 常用於 ...
在 Go 語言中，panic、recover 和 defer 是用於處理異常情況的關鍵字。它們通常一起使用來實現對程式錯誤的處理和恢復。
1. defer 語句
defer 用於在函數返回之前執行一段代碼。被 defer 修飾的語句或函數會在包含 defer 的函數執行完畢後執行。defer 常用於資源清理、釋放鎖、關閉文件等操作。
func example() {
defer fmt.Println("This will be executed last")
fmt.Println("This will be executed first")
}
2. panic 和 recover
panic用於引發運行時錯誤，導致程式崩潰。recover用於捕獲panic引發的錯誤，併進行處理。
func example() {
defer func() {
if err := recover(); err != nil {
fmt.Println("Recovered from panic:", err)
}
}()
panic("This will cause a panic")
}
3. 示例
- 當程式執行到
panic語句時，它會立即停止當前函數的執行，並開始沿調用堆棧向上執行所有的defer語句。 - 執行
defer語句時，將其推遲的函數或語句加入到一個棧中，但並不立即執行。 - 當所有的
defer語句都被執行完畢後，程式會終止當前的函數執行，然後開始執行上一層函數的defer語句，以此類推。 - 如果在
defer語句執行的過程中發生了panic，則panic會被引發，但是在引發panic之前，會先執行該層級的defer語句。 - 如果有
recover函數被調用，它會停止panic的傳播，並返回傳遞給panic的值。
在 Go 中，一個協程（goroutine）出現 panic 不會直接影響其他協程的正常執行。Go 語言的設計目標之一是實現輕量級的併發，保持協程的獨立性。因此，一個協程的 panic 不會波及到其他協程。
當一個協程發生 panic 時，通常會觸發一系列的 defer 函數的執行，這提供了一種清理資源或記錄日誌等操作的機制。然後，Go 運行時系統會停止當前協程的執行，但不會影響其他正在運行的協程。
其他協程會繼續執行，而不受 panic 影響。這是由於 Go 使用了處理異常的機制，而不是像傳統的錯誤處理機制那樣需要在每個函數中檢查錯誤。在 Go 中，panic 主要用於表示程式遇到無法繼續執行的錯誤情況。
下麵是一個簡單的例子，演示了一個協程的 panic 不會影響其他協程：
package main
import (
"fmt"
"sync"
"time"
)
func main() {
var wg sync.WaitGroup
wg.Add(1)
go func() {
defer wg.Done()
panicExample()
}()
// 啟動另一個協程
wg.Add(1)
go func() {
defer wg.Done()
fmt.Println("Another goroutine is running.")
}()
// 等待所有協程結束
wg.Wait()
}
func panicExample() {
defer func() {
if r := recover(); r != nil {
fmt.Println("Recovered from panic:", r)
}
}()
fmt.Println("Start of panicExample")
time.Sleep(1 * time.Second)
panic("Something went wrong!")
fmt.Println("End of panicExample") // 不會執行到這裡
}
在這個例子中，panicExample 函數中的 panic 不會影響另一個協程的正常執行。雖然一個協程中發生了 panic，但其他協程仍然可以繼續執行。
4. 總結
在Go中，runtime包是負責處理Go運行時（runtime）的細節，包括垃圾回收、協程調度等。當出現panic時，runtime包會負責處理這些異常情況。
當程式中出現panic時，Go運行時會按照以下步驟進行處理：
- 異常的傳播：當一個函數發生
panic時，該函數會立即停止執行，並將panic傳播到調用它的函數。這個過程會一直向上傳播，直到被捕獲或程式終止。 - 棧的展開（Unwinding）：在
panic發生時，Go運行時會開始展開調用棧（stack unwinding）。這意味著它會逆序執行當前調用棧中的函數，直到找到一個能夠處理panic的函數。 - 恢復（Recovery）：在展開調用棧的過程中，Go運行時會尋找一個適當的
recover函數來捕獲並處理panic。recover函數是在當前協程的上下文中執行的，用於捕獲並處理當前協程中的panic。如果找到了一個recover函數，並且它成功處理了panic（即沒有再次觸發panic），則程式會從發生panic的位置開始繼續執行。 - 如果沒有找到適當的
recover函數來處理panic，程式將終止執行，並列印出相應的錯誤信息。
在處理panic時，需要註意以下幾點：
panic通常表示程式中存在無法恢復的錯誤，因此應該儘量避免在正常的程式邏輯中使用panic。panic和recover是用於處理程式中的異常情況，而不是用於控製程序的正常流程。recover函數只能在協程（goroutine）的執行過程中使用，並且只能捕獲當前協程中的panic。- 當一個協程出現
panic時，其它協程不會受到影響，會繼續獨立執行。
聲明：本作品採用署名-非商業性使用-相同方式共用 4.0 國際 (CC BY-NC-SA 4.0)進行許可，使用時請註明出處。
Author: mengbin
blog: mengbin
Github: mengbin92
cnblogs: 戀水無意
騰訊雲開發者社區：孟斯特
