互斥锁（mutex）是C++中用于保护共享资源的同步机制，确保同一时刻仅一个线程访问临界区；lock则是RAII风格的锁管理类，如std::lock_guard和std::unique_lock，自动管理加锁与解锁过程，防止因异常或忘记释放导致的死锁。通过std::mutex与std::lock_guard结合使用，可安全实现线程间数据同步，例如在多线程环境下保护计数器操作；而std::unique_lock提供更灵活控制，支持延迟加锁、手动释放及与条件变量配合使用，适用于复杂场景。合理选择锁类型并遵循RAII原则，能有效避免数据竞争和未定义行为，提升程序稳定性。
在C++多线程编程中，多个线程同时访问共享资源可能导致数据竞争和未定义行为。为确保线程安全，需要使用同步机制，其中最常用的就是互斥锁（mutex）和锁（lock）。它们能有效保护临界区，防止多个线程同时操作共享数据。
什么是 mutex？
mutex（互斥量）是 C++ 标准库中提供的一种同步原语，定义在 <mutex> 头文件中。它的作用是保证在同一时刻只有一个线程可以获取该锁，从而进入临界区操作共享资源。
常见的 mutex 类型包括：
- std::mutex：最基本的互斥锁，不支持递归加锁。
- std::recursive_mutex：允许同一线程多次加锁，适合递归调用场景。
- std::timed_mutex：支持带超时的加锁操作，如 try_lock_for 和 try_lock_until。
- std::recursive_timed_mutex：兼具递归和超时功能。
什么是 lock？
直接使用 mutex 的 lock() 和 unlock() 方法容易出错，比如忘记解锁或异常导致提前退出。C++ 提供了 RAII（Resource Acquisition Is Initialization）风格的锁管理类来自动管理锁的生命周期。
立即学习“C++免费学习笔记（深入）”；
常用的 lock 类型有：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- std::lock_guard：最简单的自动锁，构造时加锁，析构时解锁，不可复制，适用于函数内简单临界区。
- std::unique_lock：更灵活的锁，支持延迟加锁、手动解锁、条件变量配合等，开销略大。
如何使用互斥锁保护共享数据？
下面是一个使用 std::mutex 和 std::lock_guard 实现线程安全计数器的例子：
#include <iostream>
#include <thread>
#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;
}
}
int main() {
std::thread t1(increment);
std::thread t2(increment);
t1.join();
t2.join();
std::cout << "Final counter value: " << counter << std::endl;
return 0;
}
在这个例子中，每次对 counter 的修改都由 lock_guard 保护，确保不会出现数据竞争。
使用 unique_lock 的高级用法
当需要更精细控制时，可使用 std::unique_lock。例如：
std::unique_lock<std::mutex> lock(mtx, std::defer_lock); // 此时不加锁 // 做一些不需要同步的工作... lock.lock(); // 手动加锁 ++counter; lock.unlock(); // 可以提前释放
它还常用于与 std::condition_variable 配合实现线程等待与唤醒。
基本上就这些。合理使用 mutex 和 lock 能有效避免多线程程序中的竞态条件，关键是选择合适的锁类型并遵循 RAII 原则，让锁的管理自动化、安全化。
