WaitGroup 计数为什么会变成负数,Add 与启动协程的顺序如何安排
我在排查一段批量任务代码时,先看到的是熟悉的 sync: negative WaitGroup counter,随后又发现另一处代码没有 panic,却在任务还没开始时就结束了等待。两种现象都和 WaitGroup 有关,但修法并不相同:前者是“注销次数超过登记次数”,后者是“Wait 看到计数仍为零”。
官方文档:https://pkg.go.dev/sync
- 稳定写法是先
Add(1),再执行go,并在 goroutine 内用defer wg.Done()。 - 计数变负只说明增减不匹配;Add 放进 goroutine 则可能让 Wait 提前返回,这是两个独立问题。
- 复用同一个 WaitGroup 时,上一轮
Wait返回后再登记下一轮;支持 Go 1.25+ 时可评估WaitGroup.Go。
把计数器看成任务合同:Add 先于 go
WaitGroup 不是“帮我启动协程”的容器,它维护的是待完成任务数。Add(1) 表示签下一份任务合同,Done() 表示合同完成,Wait() 只关心计数是否回到零。因此登记动作必须在创建任务前完成:
var wg sync.WaitGroup
for _, item := range items {
// 先登记任务,避免 Wait 观察到仍为零的计数。
wg.Add(1)
go func(item Item) {
// 无论中途 return 还是处理失败,都要注销这次登记。
defer wg.Done()
process(item)
}(item)
}
// 所有登记动作已经完成,再等待任务计数归零。
wg.Wait()
这里的关键不是“Add 必须在同一行”,而是正向增加计数的时机:当计数器原本为零时,Add(1) 要先于 Wait。如果把它放到 goroutine 内,主 goroutine 可能先执行 Wait,看到零后直接继续,新的任务才刚开始登记。

为什么计数会变成负数:先找多出来的 Done
官方定义很直接:Done() 等价于 Add(-1),计数器一旦小于零就 panic。最常见的排查顺序是把每个登记点和注销点配对,而不是先给 WaitGroup 加锁:
| 症状 | 通常原因 | 处理方式 |
|---|---|---|
negative WaitGroup counter | 重复 Done、分支额外 Done,或根本没有对应 Add | 让每个任务入口只有一个 Add,每个任务出口只有一个 Done |
| Wait 很快返回 | Add 在新 goroutine 中,正向 Add 与 Wait 竞争 | 把 Add 移到 go 之前 |
| Wait 永远不返回 | 某条 return 或错误分支漏掉 Done | 在任务入口立刻 defer Done |
一个容易忽视的坑是“主流程已经 defer Done,错误分支又手写一次 Done”。这种写法看起来是在补偿异常路径,实际会让同一个任务减两次。把 defer wg.Done() 放在 goroutine 函数的第一段通常更稳,然后只让业务代码负责返回错误。
负数、早退与复用是三种不同故障
不要把所有 WaitGroup 问题都归因于调度器。负数 panic 是计数账本已经被扣穿;Wait 早退是登记和等待发生在同一个零计数窗口;批次复用则是上一组任务尚未完全退出,就开始登记下一组。
如果要连续处理多批任务,可以把每一批封装成一个函数,让这一批的 Add、启动和 Wait 在同一层完成:
func runBatch(items []Item) {
var wg sync.WaitGroup
for _, item := range items {
// 当前批次先完成登记,再创建对应任务。
wg.Add(1)
go func(item Item) {
defer wg.Done() // 统一覆盖正常返回和错误返回。
process(item)
}(item)
}
// 返回前收口当前批次,下一批不会抢用这个计数器。
wg.Wait()
}

官方文档还提醒,WaitGroup 在第一次使用后不能复制。项目基线如果已经支持 Go 1.25+,WaitGroup.Go 可以把 Add、启动 goroutine 和返回时的 Done 收到一个方法里;但它不替代任务边界设计,传入的函数也不能 panic。旧版本项目继续使用 Add/Done 没有问题。
把这份检查清单放进代码评审
- 每个
Add(+1)是否明确对应一个任务,而不是对应一次循环重试? Done是否在 goroutine 入口立即 defer,是否存在第二个注销点?- 是否可能在计数器为零时并发执行正向 Add 与 Wait?
- 复用 WaitGroup 前,上一轮 Wait 是否已经返回?结构体是否意外复制过?
相关问题
把 Add 放在 goroutine 里一定会 panic 吗?
不一定。它更直接的风险是 Wait 可能提前返回;当计数仍大于零时再增加任务也可能符合规则,但初始登记必须先完成,代码更容易读和审查。
为什么推荐 defer wg.Done?
它把注销动作绑定到 goroutine 返回,不容易遗漏错误分支;前提是每个任务只登记一次,不能再额外手写 Done。
WaitGroup 能不能跨批次复用?
可以,但下一批的 Add 必须等上一批 Wait 返回后再开始;如果批次关系复杂,分批创建局部 WaitGroup 通常更清楚。
Python 3.14 自由线程文档完善后,扩展兼容性怎么评估
- 上一篇
- Python 3.14 自由线程文档完善后,扩展兼容性怎么评估
- 下一篇
- PHP 枚举承载业务状态时怎样避免数据库值漂移
-
- Golang · Go问答 | 20分钟前 | 数据隔离 循环变量 Go测试 t.Parallel 并行子测试
- 并行子测试为什么会拿到同一个循环变量,应该怎样隔离数据
- 205浏览 收藏
-
- Golang · Go问答 | 1小时前 | Context · 并发编程 · 接口设计 · Go问答 · 生命周期 结构体 context.Context 向后兼容 Go context 取消传播
- 为什么不建议把 Context 保存进结构体,例外场景是什么
- 227浏览 收藏
-
- Golang · Go问答 | 2小时前 | golang · Context · 并发编程 · 超时控制 WithTimeout WithCancel Go context 取消传播 WithoutCancel
- WithCancel、WithTimeout 与 WithoutCancel 的边界怎么选
- 202浏览 收藏
-
- Golang · Go问答 | 2小时前 | goroutine · Context · 并发编程 · 故障排查 · Go问答 · channel WaitGroup Go context ctx.Done 阻塞排查 context.Canceled
- Context 已取消但函数仍不退出,通常漏查了哪些阻塞点
- 144浏览 收藏
-
- Golang · Go问答 | 3小时前 |
- 无缓冲和有缓冲 Channel 的选择应看吞吐还是同步语义
- 421浏览 收藏
-
- Golang · Go问答 | 3小时前 | channel · panic · 并发编程 · Go问答 · 并发安全 go channel关闭 send on closed channel Golang panic Channel关闭权 多生产者
- 向已关闭 Channel 发送为什么会 panic,关闭权应归谁
- 156浏览 收藏
-
- Golang · Go问答 | 4小时前 | 并发 · channel · goroutine · go · Context · context 并发限制 工作池 Go channel worker pool Goroutine生命周期
- 任务数很多时应该每任务一个协程还是固定工作池
- 458浏览 收藏
-
- Golang · Go问答 | 4小时前 | 并发 · goroutine · go · pprof · 故障排查 · goroutine泄漏 并发排查 Goroutine生命周期 Go pprof runtime metrics
- Goroutine 数量持续上涨却没有报错,如何定位泄漏入口
- 458浏览 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 485次学习
-
- PubMedQA
- 深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
- 363次使用
-
- H2O EvalGPT
- H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
- 417次使用
-
- LMArena
- LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
- 430次使用
-
- HELM
- 深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
- 384次使用
-
- MMBench
- MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
- 210次使用
-
- GosyncWaitGroup使用深入理解
- 2022-12-22 122浏览
-
- Go语言同步等待组sync.WaitGroup结构体对象方法详解
- 2022-12-30 201浏览
-
- Go WaitGroup及Cond底层实现原理
- 2022-12-29 241浏览
-
- Go基础教程系列之WaitGroup用法实例详解
- 2023-01-07 452浏览
-
- Golang 标准库 tips之waitgroup详解
- 2023-01-09 303浏览

