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

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

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

2025-11-29

浏览次数：次

返回列表

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

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

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

std::scoped_lock 是什么？

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

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

为什么能避免死锁？

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

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

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

GoEnhance

全能AI视频制作平台：通过GoEnhance AI让视频创作变得比以往任何时候都更简单。

347 查看详情 GoEnhance

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;
}