C++如何使用互斥锁(mutex)和锁守卫(lock_guard)?(代码示例)

std::lock_guard是RAII风格的自动锁管理工具,构造时加锁、析构时自动解锁,确保临界区安全;需配合全局或共享mutex使用,不可手动解锁或尝试加锁,适用简单独占场景。

在C++多线程编程中,mutex用于保护共享数据不被多个线程同时访问,而lock_guard是RAII风格的自动锁管理工具——它在构造时加锁、析构时自动解锁,避免忘记解锁或异常导致死锁。

基础用法:声明 mutex + lock_guard 管理临界区

最常见场景是多个线程并发修改同一个变量(如计数器),需用 std::mutex 保护,并用 std::lock_guard 确保安全:

#include 
#include 
#include 
#include 

int counter = 0;
std::mutex mtx; // 全局互斥锁

void increment() {
    for (int i = 0; i < 100000; ++i) {
        std::lock_guard lock(mtx); // 构造即加锁
        ++counter; // 临界区:仅此处访问共享变量
        // 析构自动解锁(即使提前 return 或抛异常也安全)
    }
}

int main() {
    std::vector threads;
    for (int i = 0; i < 4; ++i) {
        threads.emplace_back(increment);
    }
    for (auto& t : threads) t.join();
    std::cout << "Final counter: " << counter << "\n"; // 输出 400000
}

注意:lock_guard 不能手动解锁,也不支持尝试加锁

std::lock_guard 是“独占且不可重入”的简单守卫,设计上不提供 unlock()try_lock() 接口。如果需要更灵活控制,应改用 std::unique_lock

  • 不要写 lock.unlock() —— 编译失败,它没这个成员函数
  • 不要期望它能“尝试加锁失败就跳过”,那得用 unique_lock 配合 try_to_lock 标签
  • 它的生命周期必须严格覆盖整个临界区,通常定义在作用域开头

常见错误:把 mutex 当局部变量或跨线程传递

mutex 必须是所有竞争线程都能访问的同一对象(通常是全局、类成员或静态变量):

  • ❌ 错误:每个线程创建自己的 mutex —— 完全起不到同步作用
  • ❌ 错误:把 mutex 通过值传递给线程函数 —— 复制后各持一份,互不干扰
  • ✅ 正确:传引用(std::ref(mtx))或直接捕获(lambda 中 [&mtx])或作为全局/成员变量

进阶提示:类内使用 mutex 保护成员变量

封装更安全的方式是把 mutex 和受保护的数据放在一起,只暴露加锁后的操作接口:

class ThreadSafeCounter {
private:
    mutable std::mutex mtx; // mutable 允许 const 成员函数里加锁
    int value = 0;

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

    int get() const {
        std::lock_guard lock(mtx);
        return value;
    }
};

这样调用者无需关心锁,也难以误操作;const 成员函数也能安全读取,因为 mutable 允许在 const 函数中修改 mutex。

基本上就这些。用好 lock_guard 的关键是理解 RAII —— 把“加锁”交给构造,“解锁”交给析构,不用操心时机和异常路径。不复杂但容易忽略细节。