c++中的std::scoped_lock怎么用_c++17避免死锁的RAII锁

std::scoped_lock是C++17引入的RAII锁，用于安全管理多个互斥量；它在构造时自动按固定顺序加锁，析构时解锁，避免死锁；相比std::lock_guard和std::unique_lock，它更适用于多锁场景，代码简洁高效。

在C++17中，std::scoped_lock 是一个用于管理多个互斥量（mutex）的RAII风格锁，它能自动加锁和解锁，有效避免死锁。它的核心优势在于支持同时锁定多个互斥量，并通过内部的固定顺序加锁机制防止死锁。

std::scoped_lock 是什么？

std::scoped_lock 是 C++17 引入的模板类，定义在 <mutex> 头文件中。它是 std::lock_guard 的升级版，主要区别是支持多个互斥量的同时加锁。

它遵循 RAII（Resource Acquisition Is Initialization）原则：构造时加锁，析构时自动解锁，即使发生异常也能安全释放锁。

为什么能避免死锁？

多个线程以不同顺序对多个互斥量加锁时，容易引发死锁。例如：

立即学习“C++免费学习笔记（深入）”；

• 线程A先锁 mutex1，再锁 mutex2
• 线程B先锁 mutex2，再锁 mutex1

这种情况下可能互相等待，形成死锁。

Midjourney

当前最火的AI绘图生成工具，可以根据文本提示生成华丽的视觉图片。

454

查看详情

std::scoped_lock 在构造时调用 std::lock() 函数来同时锁定所有传入的互斥量。std::lock() 使用一种不会死锁的算法（通常是按地址或唯一ID排序后加锁），确保所有线程以相同顺序获取锁，从而避免死锁。

基本用法示例

以下是一个使用 std::scoped_lock 管理两个互斥量的简单例子：

#include <iostream>
#include <thread>
#include <mutex>
#include <vector>

std::mutex mtx1, mtx2;
int data1 = 0, data2 = 0;

void safe_increment() {
    // 同时锁定 mtx1 和 mtx2
    std::scoped_lock lock(mtx1, mtx2);
    ++data1;
    ++data2;
    // 自动解锁
}

int main() {
    std::vector<std::thread> threads;
    for (int i = 0; i < 5; ++i) {
        threads.emplace_back(safe_increment);
    }

    for (auto& t : threads) {
        t.join();
    }

    std::cout << "data1: " << data1 << ", data2: " << data2 << '\n';
    return 0;
}

在这个例子中，无论多少个线程调用 safe_increment，std::scoped_lock 都会以一致的顺序加锁，避免死锁。

与 std::lock_guard 和 std::unique_lock 的区别

• std::lock_guard：只能管理单个互斥量，不支持多个锁，也不能转移所有权。
• std::unique_lock：更灵活，支持延迟加锁、条件变量、可移动，但性能稍低。也支持多锁，但需要手动配合 std::lock()。
• std::scoped_lock：专为多锁设计，构造即加锁，简洁高效，推荐用于多个互斥量的场景。

基本上就这些。只要你在 C++17 或更高版本中需要保护多个共享资源，优先考虑 std::scoped_lock，它让并发编程更安全、更简洁。

以上就是c++++中的std::scoped_lock怎么用_c++17避免死锁的RAII锁的详细内容，更多请关注php中文网其它相关文章！