C++中的mutex和lock是什么_C++多线程同步之互斥锁的使用

互斥锁（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 类型包括：

• 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）风格的锁管理类来自动管理锁的生命周期。

常用的 lock 类型有：

• std::lock_guard：最简单的自动锁，构造时加锁，析构时解锁，不可复制，适用于函数内简单临界区。
• std::unique_lock：更灵活的锁，支持延迟加锁、手动解锁、条件变量配合等，开销略大。

如何使用互斥锁保护共享数据？

下面是一个使用 std::mutex 和 std::lock_guard 实现线程安全计数器的例子：

#include 
#include 
#include 

int counter = 0;
std::mutex mtx;

void increment() {
    for (int i = 0; i < 100000; ++i) {
        std::lock_guard 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 lock(mtx, std::defer_lock);
// 此时不加锁

// 做一些不需要同步的工作...

lock.lock(); // 手动加锁
++counter;
lock.unlock(); // 可以提前释放

它还常用于与 std::condition_variable 配合实现线程等待与唤醒。

基本上就这些。合理使用 mutex 和 lock 能有效避免多线程程序中的竞态条件，关键是选择合适的锁类型并遵循 RAII 原则，让锁的管理自动化、安全化。