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
这种情况下可能互相等待，形成死锁。
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，它让并发编程更安全、更简洁。
