std::scoped_lock是C++17引入的RAII锁管理工具，能原子性地锁定多个互斥量，避免因加锁顺序不同导致的死锁。它支持多种互斥类型，适用于需同时操作多个共享资源的场景，如银行转账。相比std::lock_guard和std::unique_lock，scoped_lock在多锁时更安全简洁，推荐在C++17中优先使用。
在C++17中，std::scoped_lock 是一个用于管理多个互斥锁（mutex）的便捷工具，它能自动加锁和解锁，最关键的是——它能防止死锁。相比以前的 std::lock_guard 和 std::unique_lock，scoped_lock 支持同时锁定多个互斥量，并采用“原子性”的加锁策略，避免因加锁顺序不同导致的死锁问题。
什么是 scoped_lock？
std::scoped_lock 是 C++17 引入的模板类，位于 <mutex> 头文件中。它的作用是在构造时对一个或多个互斥量加锁，在析构时自动释放锁，实现 RAII（资源获取即初始化）机制。
它的最大优势是：当你传入多个 mutex 时，它会使用一种不会死锁的算法（通常是 std::lock 的内部机制）来同时加锁，从而避免了因线程以不同顺序加锁而导致的死锁。
基本用法示例
假设你有两个共享资源，分别由两个互斥量保护：
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
#include <thread>
#include <mutex>
#include <vector>
std::mutex mtx1, mtx2;
int data1 = 0, data2 = 0;
void unsafe_operation() {
// ❌ 潜在死锁风险：如果两个线程以相反顺序加锁
std::lock_guard<std::mutex> lock1(mtx1);
std::this_thread::sleep_for(std::chrono::milliseconds(10)); // 模拟耗时
std::lock_guard<std::mutex> lock2(mtx2);
data1++;
data2++;
}
void safe_operation() {
// ✅ 使用 scoped_lock 同时锁定多个互斥量，避免死锁
std::scoped_lock lock(mtx1, mtx2); // 原子性加锁
data1++;
data2++;
}
在 safe_operation 中，即使多个线程同时调用，也不会因为加锁顺序不同而死锁。std::scoped_lock 内部会调用类似 std::lock 的机制，确保所有互斥量要么全部被锁住，要么都不锁。
支持多种互斥类型
scoped_lock 不仅支持 std::mutex，还支持 std::recursive_mutex、std::timed_mutex 等任何满足 BasicLockable 或 Lockable 概念的类型。
std::timed_mutex tmtx1, tmtx2;
void timed_example() {
std::scoped_lock lock(tmtx1, tmtx2); // 同样适用
// 安全操作共享数据
}
与 lock_guard 和 unique_lock 的区别
- std::lock_guard：只能管理单个 mutex，不支持多锁，也不能转移所有权。
- std::unique_lock：支持延迟加锁、条件变量配合、可移动，但构造时不支持自动多锁原子加锁（需配合 std::lock 手动使用）。
- std::scoped_lock：专为多锁设计，C++17 起新增，构造时自动安全地锁定所有传入的互斥量。
如果你只需要锁一个 mutex，lock_guard 和 scoped_lock 效果一样；但一旦涉及多个，scoped_lock 更安全简洁。
实际应用场景
常见于需要同时修改多个共享对象的场景，比如：
- 银行转账：从账户 A 扣钱，向账户 B 加钱，两个账户都有各自的锁。
- 图结构更新：同时修改两个节点及其连接关系。
struct Account {
mutable std::mutex mtx;
int balance = 0;
};
void transfer(Account& from, Account& to, int amount) {
std::scoped_lock lock(from.mtx, to.mtx); // 避免死锁
if (from.balance >= amount) {
from.balance -= amount;
to.balance += amount;
}
}
即使 transfer 被并发调用且参数顺序不同（A→B 和 B→A），scoped_lock 也能保证加锁过程不会死锁。
基本上就这些。只要你在 C++17 及以上环境开发，并发访问多个互斥量时，优先考虑 std::scoped_lock，它让代码更安全、简洁。不复杂但容易忽略。
