跳到主要内容

C++锁

lock_guard 和 unique_lock​

std::lock_guard 和 std::unique_lock 都是用于管理互斥锁的 C++11 标准库类，它们的主要区别在于锁的管理方式和灵活性。

锁的管理方式​

std::lock_guard 是一种简单的锁管理器，它的作用是在构造函数中自动锁定互斥锁对象，并在析构函数中自动释放锁。由于 std::lock_guard 的锁定和释放是在构造函数和析构函数中完成的，因此它遵循 RAII 设计模式，可以避免在代码中手动管理锁的生命周期。
std::unique_lock 也是一种锁管理器，但相比 std::lock_guard，它提供了更加灵活的锁定和释放方式。std::unique_lock 的构造函数可以接受一个 std::defer_lock 参数，用于创建一个未锁定的 std::unique_lock 对象，而锁定操作则需要手动调用 lock() 方法来完成。此外，std::unique_lock 还提供了一些其他的特性，例如：

  • 可以在构造函数中传入一个 std::adopt_lock_t 参数，用于接管已经锁定的互斥锁对象的所有权。
  • 可以随时手动释放锁，并在需要时重新获取锁。
  • 可以通过 try_lock() 方法尝试锁定互斥锁对象，如果锁已经被其他线程持有，则返回 false。

灵活性​

由于 std::unique_lock 提供了更加灵活的锁定和释放方式，因此它比 std::lock_guard 更加灵活和适用于需要进行复杂同步操作的情况。例如，在需要等待某个条件变量满足时，可以使用 std::unique_lock 结合条件变量来实现等待操作，从而避免了忙等的情况，提高了程序的效率。
此外，由于 std::unique_lock 提供了更加灵活的锁定和释放方式，因此它的性能可能会比 std::lock_guard 稍微差一些。如果只需要一个简单的锁管理器来保护共享资源，而不需要进行复杂的同步操作，那么使用 std::lock_guard 可能更加合适。
总之，std::lock_guard 和 std::unique_lock 都是用于管理互斥锁的 C++11 标准库类，它们的主要区别在于锁的管理方式和灵活性。在需要进行复杂同步操作时，建议使用 std::unique_lock。在只需要一个简单的锁管理器时，可以使用 std::lock_guard 来简化代码。

可移动性​

可移动性：std::unique_lock 对象是可移动的，而 std::lock_guard 则不是。这意味着，可以使用 std::unique_lock 对象进行移动语义，从而避免了多余的互斥量锁定和解锁操作。而 std::lock_guard 则不支持移动语义，只能使用拷贝语义，这样可能会导致不必要的互斥量锁定和解锁操作。
C++11 标准中，std::lock_guard 并没有实现移动构造函数和移动赋值运算符。因为 std::lock_guard 的作用是在构造函数中自动锁定互斥锁对象，在析构函数中自动释放锁，因此它的实现方式不适合支持移动语义。如果支持移动语义，就可能导致移动后原来的对象不再具有锁定互斥锁的能力，或者移动后两个对象都具有锁定同一个互斥锁的能力，这都会导致不安全的多线程行为。
如果需要支持移动语义，可以使用 std::unique_lock。std::unique_lock 提供了更加灵活的锁定和释放方式，并支持移动语义。可以使用 std::move() 函数将一个 std::unique_lock 对象移动到另一个对象中，如下所示：

std::mutex mutex;
std::unique_lock<std::mutex> lock1(mutex);
std::unique_lock<std::mutex> lock2(std::move(lock1)); // 移动 lock1 到 lock2

需要注意的是，在使用移动语义时，需要确保原来的 std::unique_lock 对象不再使用互斥锁对象，否则可能会导致不确定的行为。由于 std::unique_lock 对象可以手动释放和重新获取锁，因此在使用移动语义时需要特别注意锁的状态和所有权的转移。