Go WaitGroup 计数为负时怎么找到多余的 Done

看到 sync: negative WaitGroup counter 时，先别盯着 Wait。这个 panic 的直接含义是：某条执行路径调用 Done() 的次数，已经超过了此前通过 Add() 登记的任务数。因为 Done() 等价于 Add(-1)，多一次释放就会让计数器越过零点。

先把负计数还原成一次 Add(-1) 过量

WaitGroup 可以看成一个任务计数器。每登记一个异步任务就增加一次，任务结束时减少一次；Wait() 只负责等待计数器归零。下面这张图把故障还原成一个简单账本：如果只有两个任务，却执行了第三次 Done()，问题已经发生在计数器层面。

因此，panic 栈只能告诉你“哪一次减少让计数越界”，不一定就是第一次错误。排查时把所有正向 Add、所有 Done 和 Wait 放在同一张表里：

先查 defer，再查错误分支和 helper

最容易漏看的写法是“默认 defer 一次，失败时又手动释放一次”。下面的例子只登记一个任务，但 return 前的手动调用和函数退出时的 defer 会连续执行两次：

func run(wg *sync.WaitGroup, ok bool) {
	// 一个 run 调用只对应外层启动者登记的一项任务。
	defer wg.Done()
	if !ok {
		// 错误分支不应再次释放同一项任务。
		wg.Done()
		return
	}
	// 这里执行实际工作。
}

修复时保留一个释放出口即可。通常把 defer wg.Done() 放在真正拥有 goroutine 生命周期的函数第一段，然后删除分支里的 Done()。如果某个 helper 也写了 Done，要继续向上追踪：它是否被多个 worker 调用？它释放的是不是 caller 已经登记的同一项任务？

可以用一个很小的责任约定快速判断：caller 负责 Add，worker 负责一次 defer Done，helper 不接触 WaitGroup，只返回错误。这样业务分支再多，也不会把计数释放权散落到各处。

用单一生命周期修复并验证

改成下面的形态后，每个 go worker 都有且只有一次 Done。注意 Add(1) 在创建 goroutine 之前执行，避免计数器仍为零时与 Wait 形成错误时序。

func start(wg *sync.WaitGroup, id int) {
	// caller 只登记任务，不负责 worker 的结束清理。
	wg.Add(1)
	go func() {
		// worker 生命周期唯一拥有 Done。
		defer wg.Done()
		if err := process(id); err != nil {
			// 记录或返回错误，但不要再次调用 Done。
			log.Printf("worker %d: %v", id, err)
		}
	}()
}

func process(id int) error {
	// helper 只处理业务结果，不操作 WaitGroup。
	return nil
}

验证时先用一个任务和一个明确的失败分支跑测试，再扩大并发数。可以临时在 Add 和 Done 附近记录任务 ID，但不要用日志顺序推断严格时序；并发日志可能交错。更可靠的是让每次登记和释放都对应同一个 worker 生命周期，并用 go test -race 排除另一个共享数据竞态问题。

这些边界别和负计数混在一起

如果是“永远等不回来”，优先怀疑漏掉了 Done、goroutine 被阻塞或任务根本没有被正确登记；如果是“计数为负”，优先怀疑多次 Done 或某处调用了负数 Add。两者都可能出现在同一个复杂流程里，但修复方向相反。

另外，WaitGroup 不能在首次使用后复制；复用同一个 WaitGroup 等待多组独立任务时，上一轮 Wait 返回后才能开始下一轮新的正向 Add。使用支持 WaitGroup.Go 的 Go 版本时，也可以让它统一管理启动和结束，但传入函数仍应遵守该 API 的 panic 约束。

相关问题

只写 defer wg.Done 还会出现负计数吗？

会。只要同一任务在 caller、helper 或错误分支中还有第二个 Done，defer 并不能抵消重复释放。

WaitGroup 计数为负和 Wait 卡住有什么区别？

负计数说明减少次数过多；Wait 卡住通常说明计数没有回到零，常见原因是漏掉 Done 或任务没有结束。

能不能在循环里直接调用 Add？

可以，但要保证正向 Add 在计数器为零时先于 Wait，并且每一项新任务都有明确的 Done。更简单的做法是先登记，再启动对应 goroutine。