避免数据竞争需确保共享数据访问的互斥性与可见性，常用方法包括：①用std::mutex加锁保护所有访问路径；②优先使用thread_local减少共享；③对基础类型用std::atomic实现无锁安全操作；④设计上规避共享，如消息传递或不可变数据。
避免数据竞争的核心是确保多个线程对共享数据的**同时访问满足互斥性与可见性**——简单说，就是“别让多个线程在没商量好的情况下，又读又写同一块内存”。
用互斥锁（std::mutex）保护临界区
这是最常用、最直接的方式。只要所有访问共享变量的代码路径都经过同一把锁的保护，就能排除数据竞争。
- 定义一个 std::mutex 对象（通常作为全局、类成员或静态局部变量）
- 用 std::lock_guard 或 std::unique_lock 在作用域内自动加锁/解锁，避免忘记 unlock
- 确保所有读写该变量的地方都加同一把锁——漏掉任意一处，就可能出问题
示例：
std::mutex mtx;int counter = 0;
void increment() {
std::lock_guard<:mutex> lock(mtx);
counter++; // 安全：读-改-写被完整保护
}
减少共享，优先使用线程局部存储（thread_local）
如果每个线程只需操作自己的副本，就根本不需要锁。用 thread_local 声明变量，每个线程获得独立实例。
立即学习“C++免费学习笔记（深入）”；
- 适合缓存、计数器、临时缓冲区等无需跨线程同步的场景
- 注意：不能用于需要线程间通信的数据
- 初始化在线程首次访问时发生，不是程序启动时
示例：
thread_local int local_counter = 0; // 每个线程一份，互不干扰用原子操作（std::atomic）替代简单读写
对基础类型（如 int、bool、指针）的单次读、写或读-改-写（如 ++），可用 std::atomic 提供无锁但线程安全的操作。
- 自动保证操作的原子性 + 内存序（默认 memory_order_seq_cst，最安全）
- 比 mutex 轻量，适合高频、低冲突场景（如计数器、标志位）
- 不适用于复合操作（比如“先读再决定是否写”这类需条件判断的逻辑）
示例：
std::atomicvoid safe_increment() {
atomic_counter.fetch_add(1, std::memory_order_relaxed); // 线程安全
}
设计上规避共享：消息传递 or 不可变数据
更彻底的办法是压根不共享可变状态。
- 用 std::queue + mutex 或 boost::lockfree::queue 实现线程间消息传递
- 函数式风格：输入 → 处理 → 输出新对象，原数据不修改（尤其配合 const 和值语义）
- 共享只读数据（如配置表、查找表）通常是安全的，前提是初始化完成后不再修改
基本上就这些。关键不在“用了什么工具”，而在于“是否覆盖了所有访问路径”。锁没加全、原子用错场景、或误以为 const 就线程安全——这些才是数据竞争最常见的根源。
