std::scoped_lock通过一次性安全加锁多个互斥量防止死锁，其内部采用防死锁算法确保线程安全，适用于多互斥量场景如账户转账，相比std::lock更简洁，是C++17推荐的RAII式同步工具。
在C++17多线程编程中，std::scoped_lock 是避免死锁的重要工具。它通过自动加锁多个互斥量并采用“一次性全部加锁”的策略，从根本上防止了因加锁顺序不一致导致的死锁问题。
为什么会出现死锁？
死锁通常发生在多个线程以不同顺序对多个互斥量进行加锁时。例如：
Thread 1: lock(mutex_a); → lock(mutex_b);Thread 2: lock(mutex_b); → lock(mutex_a);
如果两个线程同时运行，可能造成 Thread 1 持有 mutex_a 等待 mutex_b，而 Thread 2 持有 mutex_b 等待 mutex_a，形成循环等待，导致死锁。
std::scoped_lock 如何避免死锁？
std::scoped_lock 是 C++17 引入的模板类，能同时对多个互斥量加锁，且保证：要么全部成功，要么阻塞等待直到可以全部获得锁。关键在于，它内部使用了防死锁的加锁算法（如尝试加锁重排或系统级调度），确保不会发生死锁。
立即学习“C++免费学习笔记（深入）”；
使用方式非常简洁：
#include <mutex>
#include <thread>
std::mutex mutex_a;
std::mutex mutex_b;
void thread_function() {
// 自动按安全顺序加锁，避免死锁
std::scoped_lock lock(mutex_a, mutex_b);
// 执行共享资源操作
// ...
} // lock 析构时自动释放两个互斥量
实际应用场景示例
假设有两个银行账户转账操作，需要同时锁定两个账户的互斥量：
struct Account {
double balance;
std::mutex mtx;
};
void transfer(Account& from, Account& to, double amount) {
// 使用 scoped_lock 同时锁定两个互斥量
std::scoped_lock lock(from.mtx, to.mtx);
if (from.balance >= amount) {
from.balance -= amount;
to.balance += amount;
}
}
无论多个线程如何调用 transfer(A, B) 或 transfer(B, A)，std::scoped_lock 都会保证两个互斥量被安全地同时获取，不会因为调用顺序不同而死锁。
与 std::lock 和 std::unique_lock 的对比
- std::lock(std::unique_lock<>, ...)：也能避免死锁，但需要手动管理 unique_lock 对象，代码更繁琐。
- std::scoped_lock：RAII 风格，构造即加锁，析构即解锁，语法更简洁，推荐用于多互斥量同步。
- 若只需锁一个互斥量，仍使用 std::lock_guard 或 std::unique_lock 即可。
基本上就这些。只要涉及多个互斥量加锁，优先考虑 std::scoped_lock，它是C++17中实现线程安全又避免死锁的简洁方案。不复杂但容易忽略。
