面试题：Go中panic和recover在并发编程中的考量

panic对整个程序的影响：
- 在Go语言中，如果一个goroutine发生panic且没有被recover捕获，该goroutine会立即停止执行，并开始展开调用栈，释放该goroutine持有的所有资源。
- 如果main goroutine发生panic且未被捕获，整个程序会崩溃并输出panic信息及调用栈跟踪信息。
- 对于其他普通goroutine，若其panic未被捕获，不会直接导致整个程序崩溃，但可能会导致程序逻辑异常，因为该goroutine的任务未正常完成，可能影响依赖其结果的其他部分。
使用recover捕获并处理并发环境下的panic：
- recover只能在defer函数中使用，用于捕获当前goroutine的panic。当调用recover时，如果当前goroutine处于panic状态，recover会返回panic的参数值，从而可以对panic进行处理，使该goroutine继续正常执行。
代码示例：

package main

import (
    "fmt"
)

func worker(id int, resultChan chan int) {
    defer func() {
        if r := recover(); r != nil {
            fmt.Printf("Goroutine %d panicked: %v\n", id, r)
        }
    }()
    // 模拟可能发生panic的操作
    if id == 2 {
        panic("Simulated panic in goroutine 2")
    }
    result := id * 2
    resultChan <- result
}

func main() {
    numWorkers := 3
    resultChan := make(chan int, numWorkers)
    for i := 1; i <= numWorkers; i++ {
        go worker(i, resultChan)
    }
    for i := 1; i <= numWorkers; i++ {
        select {
        case result := <-resultChan:
            fmt.Printf("Result from goroutine: %d\n", result)
        default:
            // 处理没有接收到结果的情况（例如某个goroutine panic导致未发送结果）
            fmt.Printf("No result from some goroutine\n")
        }
    }
    close(resultChan)
}

可能遇到的坑及解决方案：
- 坑1：recover使用位置不当：
  - 描述：如果recover不在defer函数中调用，它将始终返回nil，无法捕获到panic。
  - 解决方案：确保recover在defer函数内部调用。
- 坑2：panic传递导致程序崩溃：
  - 描述：在一个goroutine中捕获了panic，但在处理过程中又重新引发了panic而未再次捕获，可能导致程序崩溃。例如，在处理panic时进行了一些可能再次panic的操作，如访问空指针。
  - 解决方案：在处理panic时，确保所有操作都是安全的，避免再次引发panic。如果必须进行可能panic的操作，要再次使用defer和recover进行保护。
- 坑3：未处理的goroutine panic导致结果丢失：
  - 描述：如示例中，如果某个goroutine发生panic且未正确处理，可能导致resultChan没有接收到该goroutine的结果，使得程序逻辑出现错误（例如期望所有goroutine都返回结果进行后续计算，但部分结果缺失）。
  - 解决方案：可以像示例中在接收结果时使用select语句结合default分支，处理某个goroutine因为panic未发送结果的情况，以保证程序逻辑的健壮性。

星途面试题库

面试题：Go中panic和recover在并发编程中的考量

知识考点

面试题答案