为什么要使用 unique_lock<> 包装器？

Why would I use a unique_lock<> wrapper?

本文关键字：lt gt 包装 lock unique 为什么      更新时间：2023-10-16

为什么要使用 unique_lock<> 包装器？

我有时会看到这样的代码

std::unique_lock<std::mutex> lock(m_active_sessions_guard); // lock() the associated mutex
m_active_sessions[request_id] = session;
lock.unlock();

其中创建unique_lock<>只是为了锁定关联的互斥锁。

搜索后，我发现这个类是不可复制的。这是使用它的唯一好处吗？

unique_lock利用RAII来保证异常安全的代码。请注意，C++没有 finally 语句。

如果引发异常，互斥锁仍将正确释放。

请考虑以下代码：

int func()
{
    m_active_sessions_guard.lock();
    ... some code ... 
    if (x > y) 
    {
        return -1;
    }
    ... some more code ... 
    m_active_sessions_guard.unlock();
    return  1;
 }

我们"忘记"了早期回归的unlock，而x > y是真的。这可能会使我们的程序陷入僵局，或者（更糟！）导致程序运行缓慢/以其他方式行为不正常。

通过使用在调用析构函数时自动解锁锁的类型，可以保证您不会"忘记"解锁锁。我当然花了很多时间寻找这样的问题，我不希望它发生在任何人身上——尤其是那些触发它锁定或运行缓慢的情况只是偶尔发生一次，所以即使要"抓住"失败，你也必须很幸运（也许x > y只发生在星期四， 在没有"r"的月份中，当日期可以被 7 和 3 整除时。因此，如果您不幸在四月底收到错误报告，您将调试一段时间...... :)

基础是 RAII（"资源分配即初始化"），这与为什么要使用std::vector而不是指针并自己调用 new/delete 的逻辑相同。任何时候你都可以让编译器为你完成这项工作，你就有很大的好处，那就是"不必记住"。计算机程序，如编译器，非常擅长"记住"事物。

相关文章：