Go语言并发编程中WaitGroup计数器匹配的正确实践-Golang-PHP中文网

Go语言并发编程中WaitGroup计数器匹配的正确实践

本文详解go中sync.waitgroup的典型误用场景：当启动goroutine与主goroutine并行执行时，必须确保add()调用次数严格等于实际需等待的goroutine数量，否则将导致计数器不匹配、程序提前退出或panic。

本文详解go中sync.waitgroup的典型误用场景：当启动goroutine与主goroutine并行执行时，必须确保add()调用次数严格等于实际需等待的goroutine数量，否则将导致计数器不匹配、程序提前退出或panic。

在Go并发编程中，sync.WaitGroup 是协调多个goroutine同步完成的核心工具。其工作原理依赖三个关键方法：

Add(delta int)：增加计数器（通常在启动goroutine前调用）；
Done()：原子递减计数器（每个goroutine结束时调用一次）；
Wait()：阻塞当前goroutine，直到计数器归零。

初学者常犯的关键错误是：仅对显式用 go 启动的goroutine 调用 Add()，却忽略了在主goroutine中直接调用的函数也属于需等待的并发任务之一。

以原问题代码为例：

w.Add(1)          // ❌ 错误：只计了 go say("world")，漏掉 main 中的 say("hello")
go say("world")   // → 单独运行于新 goroutine
say("hello")      // → 在 main goroutine 中同步执行（仍属逻辑上并行的任务）
w.Wait()          // 等待计数器为0，但实际需等2个任务完成

此时 w.Done() 被调用两次（world 和 hello 各一次），而 Add(1) 仅初始化计数器为1，导致第二次 Done() 执行后计数器变为 -1 —— 触发 sync: negative WaitGroup counter panic（尽管在简单示例中因调度偶然性可能未立即暴露，但行为不可靠）。

✅ 正确做法是：有多少个独立的、应被 Wait() 等待的执行单元，就 Add() 多少次。本例中存在两个逻辑并发任务：

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

go say("world") → 1个goroutine
say("hello") → 主goroutine中同步执行，但仍需纳入同步等待范围（因其输出与前者存在竞态，且业务语义上属于“并行打印”任务的一部分）

因此应改为：

func main() {
    w.Add(2)        // ✅ 明确声明：共2个需等待的任务
    go say("world") // goroutine #1
    say("hello")    // goroutine #2（即 main goroutine 自身）
    w.Wait()        // 阻塞至两个 Done() 均被执行
}

? 重要注意事项：