mutex是C++中用于防止多线程数据竞争的同步机制，通过std::mutex和std::lock_guard等工具保护临界区，确保同一时间仅一个线程访问共享资源，避免死锁与异常问题，提升程序稳定性。
在C++多线程编程中，多个线程同时访问共享资源容易引发数据竞争（data race），导致程序行为不可预测。为解决这一问题，C++11引入了std::mutex作为基础的同步机制，用于保护临界区，确保同一时间只有一个线程可以访问共享数据。
什么是mutex？
mutex（互斥锁）是一种同步原语，用来防止多个线程同时进入临界区。当一个线程锁定mutex后，其他试图锁定它的线程会被阻塞，直到该mutex被释放。
C++标准库中的mutex定义在<mutex>头文件中，最常用的是std::mutex类。
基本用法：lock() 与 unlock()
最直接的使用方式是调用lock()和unlock()函数：
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
#include <thread>
#include <mutex>
std::mutex mtx;
void print_block(int n, char c) {
mtx.lock();
for (int i = 0; i < n; ++i) {
std::cout << c;
}
std::cout << '\n';
mtx.unlock();
}
这段代码确保每次只有一个线程能执行输出循环，避免字符交错。但直接使用lock()和unlock()存在风险：如果在临界区内抛出异常，unlock()可能不会被执行，造成死锁。
推荐方式：使用std::lock_guard
为了避免手动管理锁带来的问题，应使用RAII（Resource Acquisition Is Initialization）风格的锁管理类，如std::lock_guard。
void print_block(int n, char c) {
std::lock_guard<std::mutex> guard(mtx);
for (int i = 0; i < n; ++i) {
std::cout << c;
}
std::cout << '\n';
} // lock_guard析构时自动释放锁
std::lock_guard在构造时自动加锁，析构时自动解锁，即使发生异常也能保证锁被正确释放，是更安全的选择。
其他类型的锁
C++标准库还提供了几种变体，适应不同场景：
-
std::unique_lock：比
lock_guard更灵活，支持延迟锁定、条件变量配合、可移动等特性。 - std::recursive_mutex：允许同一线程多次加锁，适合递归调用场景。
- std::shared_mutex（C++17起）：支持共享读锁和独占写锁，适用于读多写少的场景。
典型应用场景
常见用途包括保护共享变量、容器或文件操作：
#include <vector>
#include <thread>
std::vector<int> data;
std::mutex data_mtx;
void add_data(int value) {
std::lock_guard<std::mutex> lg(data_mtx);
data.push_back(value);
}
每次向data添加元素时都通过mutex保护，避免多个线程同时修改引发未定义行为。
注意事项
- 避免长时间持有锁，只将真正需要同步的代码放入临界区。
- 不要在持有锁时调用用户自定义函数，除非确定其不会引起死锁或耗时过长。
- 多个mutex需注意加锁顺序，防止死锁。
- 尽量使用
lock_guard或unique_lock，而非手动调用lock/unlock。
基本上就这些。合理使用mutex能有效避免多线程环境下的数据竞争问题，提升程序稳定性。关键是理解临界区范围，并借助RAII机制简化锁管理。不复杂但容易忽略细节。
