在 Go 语言中，有哪些方法可以用来检测数据竞争（Data Race）问题？请阐述常用的解决策略。
考察说明
考查候选人对 Go 并发编程中数据竞争问题的理解，以及检测和解决手段的掌握程度。
回答思路
- 【回答框架 1】数据竞争是指多个 goroutine 并发访问同一内存地址，且至少有一个是写操作时，未经过同步而发生的竞态条件。其典型特征为读写交错，导致结果不确定。Go 使用 goroutine 和 channel 进行并发，但若共享变量被无保护地读写，就会引发数据竞争。
- 【回答框架 2】检测手段主要依赖 Go 自带的竞态检测器（race detector）。在编译或测试时加上 -race 标志，例如 go test -race 或 go run -race，该工具会在运行时检测内存访问并记录访问序列，一旦发现未同步的读写竞争就输出报告。它基于 C/C++ 的 ThreadSanitizer 实现，但仅在运行包含竞争代码的路径时才会触发，因此无竞争时不会报错。
- 【回答框架 3】解决问题的核心是建立同步机制，确保同一时刻只有一个 goroutine 能写共享变量。常见做法有：使用互斥锁（sync.Mutex）保护临界区；使用 channel 进行通信，通过发送和接收来传递数据，避免共享变量直接暴露；或者使用原子操作（sync/atomic）处理简单的计数器等场景。
- 【回答框架 4】另一种思路是避免共享状态，例如通过复制变量或使用只读数据（在初始化后保持不变），从设计上消灭竞争。对于并发读多写少的场景，可使用读写锁（sync.RWMutex）提升性能，同时保证写互斥。
- 【回答框架 5】此外，可以使用 go vet 等静态分析工具辅助发现潜在问题，但它们无法完全取代运行时检测。最后，结合代码审查和压测（带 -race）来覆盖更多执行路径，减少数据竞争漏检。
- 【关键点 1】Go 的 race detector 通过 -race 标志启用，是检测数据竞争的主要工具。
- 【关键点 2】互斥锁 sync.Mutex 可以保护临界区，确保同一时刻只有一个 goroutine 访问共享变量。
- 【关键点 3】使用 channel 传递数据，避免多个 goroutine 直接操作同一变量。
- 【关键点 4】原子操作 sync/atomic 适用于简单计数或标志位，不使用锁。
- 【关键点 5】从设计上减少共享可变状态，例如使用不可变数据和副本，可彻底规避数据竞争。
- 【易错点 1】仅仅使用 -race 检测，但没有覆盖所有并发路径，可能会遗漏竞争。
- 【易错点 2】使用锁时，如果忘记在正确的位置加解锁，或者锁粒度不恰当，仍可能产生竞争或死锁。
- 【易错点 3】误以为 channel 能自动解决所有并发问题，但 channel 内部的数据传递仍需使用者遵守设计。