请解释 Go 语言中 sync.WaitGroup 的内部实现机制，包括其核心数据结构、Add、Done 和 Wait 方法的协作流程，以及它是如何实现并发等待与唤醒的。
考察说明
考察候选人对 Go 并发原语 WaitGroup 底层实现的理解，包括数据结构、同步机制和状态管理。
回答思路
- 【回答框架 1】WaitGroup 的核心是一个结构体，包含一个 state 字段（原子操作，高 32 位为计数器，低 32 位为等待者数量）和一个 sema 信号量。计数器表示未完成的 goroutine 数量，等待者表示调用 Wait 的 goroutine 数量。
- 【回答框架 2】Add(delta) 通过原子操作向计数器增加 delta，若计数器变为 0 且存在等待者，则通过 sema 信号量唤醒所有等待的 goroutine；若计数器为负则 panic。Done() 等价于 Add(-1)，实现上直接调用 Add 并传入 -1。
- 【回答框架 3】Wait() 将等待者计数加 1（通过原子操作），然后检查计数器是否为零，若不为零则阻塞在当前 goroutine 上，等待 sema 信号量唤醒；若为零则直接返回。
- 【回答框架 4】整个流程通过原子操作保证线程安全，避免使用锁，信号量机制用于实现阻塞与唤醒，保证高效同步。
- 【关键点 1】WaitGroup 基于原子操作和信号量实现，无锁设计，确保并发安全。
- 【关键点 2】Add 操作修改计数器，计数器归零时并存在等待者，会唤醒所有 Wait 阻塞的 goroutine。
- 【关键点 3】Wait 操作增加等待者计数并阻塞，直到计数器为零。
- 【关键点 4】计数器不能为负，否则触发 panic；需要确保 Add 调用先于 Done 或 Wait。
- 【易错点 1】错误使用 WaitGroup，如计数器未归零时复用，会导致未定义行为。
- 【易错点 2】WaitGroup 是值传递类型，不能复制，拷贝可能导致状态不一致。
- 【易错点 3】频繁调用 Add 和高并发下可能影响性能，应合理规划 Add 调用时机。