C++如何避免数据竞争_C++多线程编程中互斥锁、读写锁和原子变量的正确使用

应使用互斥锁、读写锁或原子变量避免数据竞争：1. std::mutex配合lock_guard保护临界区；2. std::shared_mutex在C++17中支持多读单写；3. std::atomic实现无锁操作，适用于计数器等简单类型。

在C++多线程编程中，数据竞争是常见且危险的问题。多个线程同时访问共享资源，至少有一个线程进行写操作时，若未正确同步，会导致未定义行为。要避免这类问题，关键在于合理使用互斥锁、读写锁和原子变量。下面介绍它们的适用场景和正确用法。

互斥锁（std::mutex）保护临界区

当多个线程可能同时修改同一块共享数据时，使用 std::mutex 是最直接的解决方案。互斥锁确保任意时刻只有一个线程能进入临界区。

使用要点：

始终成对使用 lock() 和 unlock()，但更推荐使用 RAII 风格的 std::lock_guard 或 std::unique_lock，避免因异常或提前返回导致死锁。

尽量缩小加锁范围，只保护真正需要同步的代码段，提升并发性能。

示例：

std::mutex mtx;
int shared_data = 0;

void increment() {
    std::lock_guard lock(mtx);
    ++shared_data;
}

读写锁（std::shared_mutex）优化读多写少场景

如果共享数据的访问模式是“频繁读取、较少修改”，使用普通的互斥锁会限制并发性。此时应使用 std::shared_mutex，它允许多个线程同时读，但写操作独占访问。

使用建议：

读操作使用 std::shared_lock 获取共享所有权。

写操作使用 std::unique_lock 获取独占所有权。

C++17 起支持 std::shared_mutex，需包含 头文件。

示例：

std::shared_mutex rw_mtx;
std::vector data;

void read_data() {
    std::shared_lock lock(rw_mtx);
    // 可安全读取 data
}

void write_data(int value) {
    std::unique_lock lock(rw_mtx);
    data.push_back(value);
}

原子变量（std::atomic）实现无锁编程

对于简单的共享变量（如计数器、标志位），使用 std::atomic 可以避免加锁开销，实现高效的无锁同步。

注意事项：

仅适用于基本类型（int、bool、指针等），不支持复杂对象。

默认使用顺序一致性内存序（memory_order_seq_cst），安全性高但可能影响性能；在明确需求时可指定更宽松的内存序。

复合操作（如先读再写）仍需额外同步，除非使用 compare_exchange_weak/strong。

示例：

std::atomic counter{0};

void safe_increment() {
    counter.fetch_add(1, std::memory_order_relaxed);
}

bool flag = false;
std::atomic ready(flag);

void wait_for_ready() {
    while (!ready.load()) {
        std::this_thread::yield();
    }
}

基本上就这些。根据实际场景选择合适的同步机制：互斥锁通用可靠，读写锁提升读密集场景性能，原子变量用于简单变量的高效操作。关键是理解每种工具的边界和语义，避免过度同步或同步不足。