C++11/14介绍（七）——语言级线程支持（二）

最新推荐文章于 2024-09-25 09:53:20 发布

RBLT

最新推荐文章于 2024-09-25 09:53:20 发布

阅读量447

点赞数

分类专栏： C++11/14 C++

本文链接：https://blog.csdn.net/eliminatedacmer/article/details/98973163

版权

这篇博客介绍了C++11/14中的线程支持，包括std::mutex和std::unique_lock的使用，以及std::future和std::packaged_task在异步操作中的角色。std::mutex提供基本的互斥锁功能，std::unique_lock提供了更灵活的锁管理。std::future简化了获取异步任务结果的过程，std::packaged_task允许封装任意可调用目标进行异步调用。还提到了std::condition_variable在解决死锁问题中的作用。

摘要由CSDN通过智能技术生成

std::mutex, std::unique_lock

C++11引入了 mutex 相关的类，其所有相关的函数都放在 <mutex> 头文件中。

std::mutex 是 C++11 中最基本的 mutex 类，通过实例化 std::mutex 可以创建互斥量，而通过其成员函数 lock() 可以仅此能上锁，unlock() 可以进行解锁。但是在在实际编写代码的过程中，最好不去直接调用成员函数，因为调用成员函数就需要在每个临界区的出口处调用 unlock()，当然，还包括异常。这时候 C++11 还为互斥量提供了一个 RAII 语法的模板类std::lock_gurad。RAII 在不失代码简洁性的同时，很好的保证了代码的异常安全性。

在 RAII 用法下，对于临界区的互斥量的创建只需要在作用域的开始部分，例如：

void some_operation(const std::string &message) {
    static std::mutex mutex;
    std::lock_guard<std::mutex> lock(mutex);

    // ...操作

    // 当离开这个作用域的时候，互斥锁会被析构，同时unlock互斥锁
    // 因此这个函数内部的可以认为是临界区
}

由于 C++保证了所有栈对象在声明周期结束时会被销毁，所以这样的代码也是异常安全的。无论 some_operation() 正常返回、还是在中途抛出异常，都会引发堆栈回退，也就自动调用了 unlock()。

而 std::unique_lo