多线程中需用std::mutex等同步机制保证共享数据访问安全,核心是所有读写均须在持锁下进行;推荐RaiI方式如std::lock_guard或std::unique_lock管理锁,避免手动lock/unlock出错;注意mutable修饰互斥量以支持const函数加锁,多锁场景优先用std::scoped_lock防死锁。

多线程环境下,多个线程同时访问共享数据容易引发数据竞争(data race),导致结果不可预测。c++ 提供 std::mutex 等同步机制来保证线程安全,核心原则是:**任何对共享资源的读写,都必须在持有互斥锁的前提下进行**。
mutex 基本用法:加锁、解锁、RAII 自动管理
手动调用 lock() 和 unlock() 容易出错(比如忘记解锁、异常跳过解锁)。推荐使用 RAII 封装类:std::lock_guard(作用域内自动加锁/解锁)或更灵活的 std::unique_lock。
-
std::lock_guard<:mutex> guard(mtx);</:mutex>—— 构造时加锁,离开作用域自动解锁(不能转移、不可复制) -
std::unique_lock<:mutex> lock(mtx);</:mutex>—— 支持延迟加锁、手动解锁、条件变量配合等 - 不要手动调用
mtx.unlock()配合lock_guard,否则会触发未定义行为
保护共享变量:典型线程安全计数器示例
下面是一个带锁的线程安全计数器:
class ThreadSafeCounter { mutable std::mutex mtx; int value = 0; public: void increment() { std::lock_guard<std::mutex> lock(mtx); ++value; } int get() const { std::lock_guard<std::mutex> lock(mtx); return value; } };
注意:mutable 允许在 const 成员函数中修改互斥量(因为锁操作不改变逻辑状态);get() 是 const 函数,但内部仍需加锁读取共享值。
立即学习“C++免费学习笔记(深入)”;
避免死锁:按固定顺序加锁 & 使用 std::scoped_lock
多个互斥量同时使用时,若线程 A 锁 mtx1 再锁 mtx2,而线程 B 反过来先锁 mtx2 再锁 mtx1,就可能死锁。
- 统一加锁顺序(如地址大小、ID 编号)——需人工约定,易出错
- 更推荐:用
std::scoped_lock(C++17 起),可安全同时锁定多个互斥量,自动避免死锁 - 示例:
std::scoped_lock lock(mtx1, mtx2);—— 内部按无死锁策略加锁,构造成功才全部持有
常见误区与注意事项
实际开发中容易踩坑的地方:
- 只保护写操作,忽略读操作——读操作同样需要锁(除非用原子类型或读写锁)
- 锁粒度太大(如整个函数都持锁)→ 性能差;太小(如每行都加锁)→ 逻辑错误或漏锁
- 在持有锁时调用未知外部函数(如用户回调、IO、new/delete)——可能阻塞或抛异常,延长持锁时间甚至引发死锁
-
std::mutex不可拷贝、不可移动,只能通过引用或指针共享;多个线程应共用同一个 mutex 实例
基本上就这些。用好 mutex 的关键是:明确共享数据边界、最小化临界区、优先用 RAII、警惕死锁和异常路径。不复杂但容易忽略细节。