C++ mutex互斥锁用法详解_C++多线程数据竞争的解决方案

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

C++ mutex互斥锁用法详解_C++多线程数据竞争的解决方案

2025-12-01

浏览次数：次

返回列表

mutex是C++中用于防止多线程数据竞争的同步机制，通过std::mutex和std::lock_guard等工具保护临界区，确保同一时间仅一个线程访问共享资源，避免死锁与异常问题，提升程序稳定性。

c++ mutex互斥锁用法详解_c++多线程数据竞争的解决方案

在C++多线程编程中，多个线程同时访问共享资源容易引发数据竞争（data race），导致程序行为不可预测。为解决这一问题，C++11引入了std::mutex作为基础的同步机制，用于保护临界区，确保同一时间只有一个线程可以访问共享数据。

什么是mutex？

mutex（互斥锁）是一种同步原语，用来防止多个线程同时进入临界区。当一个线程锁定mutex后，其他试图锁定它的线程会被阻塞，直到该mutex被释放。

C++标准库中的mutex定义在<mutex></mutex>头文件中，最常用的是std::mutex类。

基本用法：lock() 与 unlock()

最直接的使用方式是调用lock()和unlock()函数：

#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。

Mistral AI

Mistral AI被称为“欧洲版的OpenAI”，也是目前欧洲最强的 LLM 大模型平台

182 查看详情 Mistral AI

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保护，避免多个线程同时修改引发未定义行为。