C++17 之 scoped_lock 死锁避免神器

介绍

用于多个互斥锁的免死锁 RAII 封装器，是一种更加灵活和安全的互斥量管理方式。
是一种独占互斥锁，它可以同时锁定多个互斥锁，并保证以原子方式获得所有互斥锁，从而有效避免死锁。

它可以接受多个互斥锁作为参数，并在构造函数中自动锁定这些互斥锁。
当std::scoped_lock对象出作用域时，它会析构并自动解锁所有已经锁定的互斥锁，确保互斥访问的安全性和正确性。

举个例子：

在多线程环境下，我们对访问一些资源的时候，可能需要获取2把及以上的锁，假设两个线程访同一个资源时需要同时获取两边锁，一个线程获取了锁A，另外一个线程获取锁B，此时两个线程都阻塞无法继续向下执行就形成了死锁。

scoped_lock 就可以避免这种情况，他会同时为当前线程获取参数中传入的所有的锁。

scoped_lock类模板原型

  template<typename... _MutexTypes>
    class scoped_lock
    {
    public:
      explicit scoped_lock(_MutexTypes&... __m) : _M_devices(std::tie(__m...))
      { std::lock(__m...); }

      explicit scoped_lock(adopt_lock_t, _MutexTypes&... __m) noexcept
      : _M_devices(std::tie(__m...))
      { } // calling thread owns mutex

      ~scoped_lock()
      {
	std::apply([](_MutexTypes&... __m) {
	  char __i[] __attribute__((__unused__)) = { (__m.unlock(), 0)... };
	}, _M_devices);
      }

      scoped_lock(const scoped_lock&) = delete;
      scoped_lock& operator=(const scoped_lock&) = delete;

    private:
      tuple<_MutexTypes&...> _M_devices;
    };

1. 构造函数是一个可变参，即同时可以接受多个锁，构造函数中对每个锁进行获取；
2. 提供包含adopt_lock_t参数的重载构造，告诉所传递的锁已经获取到，解包存放在成员变量_M_devices；
3. 与lock_guard原理是一样的；
4. 删除了左值的拷贝构造函数和赋值运算符重载。

使用

std::mutex mtx1,mtx2;
//依次调用两个锁的lock()方法，进行加锁
std::scoped_lock slck(mtx1,mtx2);