C++ 并发编程指南（7）使用std::lock_guard与std::unique_lock管理锁

前言

在C++的多线程编程中，互斥锁的管理是确保数据一致性和线程同步的关键。std::unique_lock和std::lock_guard是两种用于管理互斥锁的智能锁对象，它们提供了便捷且安全的方式来处理并发访问共享资源的问题。下面我们来详细探讨这两种机制。

一、使用std::lock_guard与std::unique_lock管理锁

1、std::lock_guard

lock_guard 的实现原理主要基于 RAII（Resource Acquisition Is Initialization）原则，这是 C++ 中的一个重要编程技巧。RAII
意味着资源的获取（如内存分配、文件打开、互斥锁锁定等）与对象的初始化绑定在一起，而资源的释放（如内存释放、文件关闭、互斥锁解锁等）则与对象的析构绑定在一起。lock_guard 的实现通常包括以下几个部分：

• 构造函数：lock_guard 的构造函数接受一个互斥锁（或其他类型的锁）作为参数，并在构造函数内部调用该互斥锁的 lock() 方法来锁定互斥锁。这样，当 lock_guard 对象被创建时，互斥锁就被自动锁定了。
• 析构函数：lock_guard 的析构函数负责在对象生命周期结束时自动调用互斥锁的 unlock() 方法来解锁互斥锁。由于析构函数在对象离开其作用域时自动被调用，因此这确保了互斥锁在不再需要时会被正确地解锁，即使在异常情况下也是如此。
• 禁止复制和赋值：lock_guard 的实现通常会禁止对象的复制和赋值操作，这是为了避免出现多个 lock_guard 对象持有同一个互斥锁的情况，从而防止死锁的发生。

下面是一个简化的 lock_guard 实现示例：

template <typename Mutex>
class lock_guard {
   
public:
    explicit lock_guard(Mutex& mtx) : mutex_(mtx) {
   
        mutex_.lock(); // 在构造函数中锁定互斥锁
    }

    ~lock_guard() {
   
        mutex_.unlock(); // 在析构函数中解锁互斥锁
    }

    // 禁止复制和赋值
    lock_guard(const lock_guard&) = delete;
    lock_guard& operator=(const lock_guard&) = delete