std::lock_guard是RAII风格的自动锁管理工具,构造时加锁、析构时自动解锁,确保临界区安全;需配合全局或共享mutex使用,不可手动解锁或尝试加锁,适用简单独占场景。

在C++多线程编程中,mutex用于保护共享数据不被多个线程同时访问,而lock_guard是RAII风格的自动锁管理工具——它在构造时加锁、析构时自动解锁,避免忘记解锁或异常导致死锁。
基础用法:声明 mutex + lock_guard 管理临界区
最常见场景是多个线程并发修改同一个变量(如计数器),需用 std::mutex 保护,并用 std::lock_guard 确保安全:
#include <iostream>
#include <thread>
#include <vector>
#include <mutex>
int counter = 0;
std::mutex mtx; // 全局互斥锁
void increment() {
for (int i = 0; i < 100000; ++i) {
std::lock_guard<std::mutex> lock(mtx); // 构造即加锁
++counter; // 临界区:仅此处访问共享变量
// 析构自动解锁(即使提前 return 或抛异常也安全)
}
}
int main() {
std::vector<std::thread> threads;
for (int i = 0; i < 4; ++i) {
threads.emplace_back(increment);
}
for (auto& t : threads) t.join();
std::cout << "Final counter: " << counter << "\n"; // 输出 400000
}
注意:lock_guard 不能手动解锁,也不支持尝试加锁
std::lock_guard 是“独占且不可重入”的简单守卫,设计上不提供 unlock() 或 try_lock() 接口。如果需要更灵活控制,应改用 std::unique_lock:
- 不要写
lock.unlock()—— 编译失败,它没这个成员函数 - 不要期望它能“尝试加锁失败就跳过”,那得用
unique_lock配合try_to_lock标签 - 它的生命周期必须严格覆盖整个临界区,通常定义在作用域开头
常见错误:把 mutex 当局部变量或跨线程传递
mutex 必须是所有竞争线程都能访问的同一对象(通常是全局、类成员或静态变量):
立即学习“C++免费学习笔记(深入)”;
- ❌ 错误:每个线程创建自己的 mutex —— 完全起不到同步作用
- ❌ 错误:把 mutex 通过值传递给线程函数 —— 复制后各持一份,互不干扰
- ✅ 正确:传引用(
std::ref(mtx))或直接捕获(lambda 中 [&mtx])或作为全局/成员变量
进阶提示:类内使用 mutex 保护成员变量
封装更安全的方式是把 mutex 和受保护的数据放在一起,只暴露加锁后的操作接口:
class ThreadSafeCounter {
private:
mutable std::mutex mtx; // mutable 允许 const 成员函数里加锁
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;
}
};
这样调用者无需关心锁,也难以误操作;const 成员函数也能安全读取,因为 mutable 允许在 const 函数中修改 mutex。
基本上就这些。用好 lock_guard 的关键是理解 RAII —— 把“加锁”交给构造,“解锁”交给析构,不用操心时机和异常路径。不复杂但容易忽略细节。










