thread 的mutex优化-CSDN博客

本文链接：https://blog.csdn.net/doubleintfloat/article/details/148099722

std::mutex mtx;
int shared_data = 0;

void increment() {
    std::lock_guard<std::mutex> lock(mtx);  // 自动加锁
    shared_data++;  // 临界区
}  // 离开作用域时自动解锁

std::lock_guard 在离开作用域时自动解锁的行为是基于 C++ 的 RAII (Resource Acquisition Is Initialization) 设计模式实现的。这种模式将资源的生命周期与对象的生命周期绑定，确保资源在对象析构时自动释放。

RAII 机制解析

当你创建一个 std::lock_guard 对象时：

构造函数：在对象创建时立即获取锁（调用 mutex::lock()）
析构函数：在对象生命周期结束时自动释放锁（调用 mutex::unlock()）

template <typename Mutex>
class lock_guard {
public:
    explicit lock_guard(Mutex& m) : mtx(m) {
        mtx.lock();  // 构造时加锁
    }
    
    ~lock_guard() {
        mtx.unlock();  // 析构时解锁
    }
    
private:
    Mutex& mtx;  // 引用底层互斥锁
};

作用域规则与对象生命周期

C++ 规定，局部对象在离开其定义的作用域时会自动析构。例如：

void func() {
    // 进入作用域
    
    {  // 子作用域开始
        std::lock_guard<std::mutex> lock(mtx);  // 构造 + 加锁
        // 临界区
    }  // 子作用域结束 → lock 对象析构 → 自动解锁
    
    // lock 对象在此处已不存在
}  // 函数结束 → 所有局部对象析构

为什么这种设计更安全？

对比手动管理锁的方式：

// 手动管理锁（不推荐）
void increment() {
    mtx.lock();  // 手动加锁
    
    try {
        shared_data++;  // 临界区
        // 如果此处抛出异常，锁将不会被释放
    } catch (...) {
        mtx.unlock();  // 需要在每个异常处理路径中解锁
        throw;
    }
    
    mtx.unlock();  // 手动解锁（必须确保执行）
}

手动管理锁的问题：

容易遗漏解锁：如果临界区中有多个 return 语句或异常抛出
代码冗余：每个锁都需要配套的解锁操作
难以维护：修改临界区逻辑时可能忘记调整解锁位置

RAII 的优势

使用 std::lock_guard 的好处：

自动解锁：无论临界区如何退出（正常返回或异常），锁都会被释放
代码简洁：无需显式编写 unlock 语句
异常安全：即使发生异常，资源也能正确释放
防止死锁：锁的持有时间严格限定在作用域内

扩展：更灵活的 `std::unique_lock`

std::unique_lock 是比 std::lock_guard 更灵活的锁管理工具，支持延迟加锁、锁的转移和定时锁等功能：

void func() {
    std::unique_lock<std::mutex> lock(mtx, std::defer_lock);  // 构造时不加锁
    
    // 执行一些无需锁的操作
    
    lock.lock();  // 手动加锁
    // 临界区
    
    lock.unlock();  // 手动解锁（可以提前释放锁）
    
    // 执行一些无需锁的操作
    
    lock.lock();  // 再次加锁
    // 临界区
}  // 离开作用域时，如果锁是锁定状态，则自动解锁