mutex是C++中用于保护共享资源的互斥锁，定义在<mutex>头文件中，通过std::lock_guard等RAII机制确保线程安全，避免数据竞争和死锁。
在C++多线程编程中，mutex（互斥量）是一种用于保护共享资源、防止多个线程同时访问造成数据竞争的核心同步机制。当多个线程尝试修改同一块共享数据时，若没有适当的同步控制，可能导致程序行为未定义。使用 mutex 可以确保任一时刻只有一个线程能进入临界区操作共享资源。
什么是 mutex？
mutex 是 "mutual exclusion" 的缩写，意为“互斥”。在 C++ 中，它被定义在 <mutex> 头文件中，最常见的类型是 std::mutex。它的基本作用是提供一个锁机制：线程在访问共享资源前必须先加锁，操作完成后释放锁。其他线程只有在锁被释放后才能获取锁并继续执行。
简单来说，mutex 就像一扇带锁的门，每次只允许一个线程通过。如果锁已被占用，其他试图加锁的线程会被阻塞，直到锁被释放。
如何使用 std::mutex
使用 std::mutex 通常包括以下几个步骤：
立即学习“C++免费学习笔记（深入）”；
- 声明一个 mutex 对象：可以是全局、类成员或局部静态变量。
- 在访问共享资源前调用 lock()：获取锁。
- 操作完成后调用 unlock()：释放锁。
更推荐的做法是使用 RAII（Resource Acquisition Is Initialization） 风格的锁管理类，如 std::lock_guard 或 std::unique_lock，它们在构造时自动加锁，析构时自动解锁。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
示例代码：
#include <iostream>
#include <thread>
#include <mutex>
std::mutex mtx;
int shared_data = 0;
void increment() {
for (int i = 0; i < 100000; ++i) {
std::lock_guard<std::mutex> lock(mtx); // 自动加锁/解锁
++shared_data;
}
}
int main() {
std::thread t1(increment);
std::thread t2(increment);
t1.join();
t2.join();
std::cout << "Final value: " << shared_data << std::endl;
return 0;
}
在这个例子中，两个线程并发对 shared_data 进行递增操作。由于使用了 std::lock_guard 和 mutex，保证了每次只有一个线程能修改该变量，避免了数据竞争。
常见的 mutex 类型
C++ 标准库提供了多种基于 std::mutex 的封装，适用于不同场景：
- std::mutex：最基本的互斥锁，不可递归，不支持重复加锁。
- std::recursive_mutex：允许同一线程多次加锁，适合递归函数或嵌套调用场景。
- std::timed_mutex：支持带超时的加锁操作，如 try_lock_for() 和 try_lock_until()。
- std::recursive_timed_mutex：兼具递归和超时功能。
使用注意事项
虽然 mutex 能有效防止数据竞争，但使用不当也会带来问题：
- 避免死锁：多个线程以不同顺序获取多个锁时可能形成循环等待。建议始终按固定顺序加锁。
- 粒度控制：锁的范围不宜过大，否则会降低并发性能；也不宜过小，否则失去保护意义。
- 不要在持有锁时执行耗时操作（如 I/O、网络请求），以免阻塞其他线程。
- 优先使用 lock_guard 或 unique_lock，而不是手动调用 lock/unlock。
基本上就这些。掌握 mutex 的使用是编写安全多线程 C++ 程序的基础。只要合理设计临界区、正确使用 RAII 锁管理，就能有效避免并发带来的问题。
