C++多线程中,std::mutex用于防止数据竞争,配合lock_guard通过RAII机制自动加解锁,避免资源泄漏;使用std::lock可一次性获取多个锁以避免死锁,unique_lock则提供更灵活的控制,适用于复杂场景。

在C++多线程编程中,多个线程同时访问共享资源容易引发数据竞争问题。为保证线程安全,std::mutex 提供了基础的互斥机制。合理使用互斥锁并避免死锁,是编写稳定并发程序的关键。
mutex的基本用法
std::mutex用于保护临界区,确保同一时间只有一个线程可以执行特定代码段。
基本操作包括 lock() 和 unlock(),但直接调用容易出错,比如忘记解锁或异常导致提前退出。
- 声明一个 mutex 对象:std::mutex mtx;
- 在访问共享资源前调用 mtx.lock()
- 操作完成后调用 mtx.unlock()
更推荐的做法是配合RAII机制的封装类,如 lock_guard,自动管理加锁与解锁。
立即学习“C++免费学习笔记(深入)”;
使用lock_guard简化锁管理
std::lock_guard 是 RAII(Resource Acquisition Is Initialization)风格的锁管理类。它在构造时自动加锁,析构时自动解锁,避免手动控制带来的风险。
- 定义 lock_guard 对象时传入 mutex,例如:std::lock_guard<:mutex> guard(mtx);
- 作用域结束时,guard 自动析构并释放锁
- 适用于函数内简单临界区,无需显式调用 lock/unlock
示例:
std::mutex mtx;
void print_shared(const std::string& msg) {
std::lock_guard guard(mtx);
std::cout << msg << std::endl; // 安全输出
} // guard 析构,自动解锁
避免死锁的常见策略
死锁通常发生在多个线程以不同顺序获取多个锁。例如线程A持有锁1等待锁2,线程B持有锁2等待锁1,形成循环等待。
避免方法包括:
- 始终以相同的顺序获取多个锁。定义全局锁的层级关系
- 使用 std::lock() 一次性获取多个锁,它能自动避免死锁
- 优先使用 lock_guard 或 unique_lock 配合 std::adopt_lock 参数
例如:
std::mutex mtx1, mtx2;
void thread_func() {
std::lock(mtx1, mtx2); // 同时锁定,无顺序问题
std::lock_guard guard1(mtx1, std::adopt_lock);
std::lock_guard guard2(mtx2, std::adopt_lock);
// 处理共享资源
}
unique_lock的灵活使用
相比 lock_guard,std::unique_lock 更灵活,支持延迟加锁、手动加解锁、条件变量配合等场景。
- 构造时不立即加锁:std::unique_lock<:mutex> ulock(mtx, std::defer_lock);
- 可后续调用 ulock.lock() 或 ulock.unlock()
- 常用于配合 std::condition_variable 实现等待/通知机制
虽然功能更强,但在简单场景下仍推荐 lock_guard,因其更轻量且不易出错。
基本上就这些。掌握 mutex 的正确使用方式,结合 RAII 封装和统一加锁顺序,能有效防止数据竞争和死锁问题。不复杂但容易忽略细节。










