0

0

c++多线程编程如何避免数据竞争? (std::mutex用法详解)

穿越時空

穿越時空

发布时间:2026-01-10 14:07:02

|

947人浏览过

|

来源于php中文网

原创

std::mutex必须配合RAII机制使用,裸调用lock()/unlock()易因异常、提前return或分支遗漏导致死锁;应优先用std::lock_guard自动管理锁,避免重复lock引发未定义行为,且须确保所有数据访问路径均受保护。

c++多线程编程如何避免数据竞争? (std::mutex用法详解)

std::mutex 必须和 std::lock_guard 配合使用,裸调用 lock()/unlock() 极易出错

直接调用 mutex.lock()mutex.unlock() 是高危操作:异常、提前 return、逻辑分支遗漏都会导致 unlock 没被执行,造成死锁或资源永久占用。正确做法是依赖 RAII——用 std::lock_guard作用域开始自动加锁,离开作用域时自动解锁。

常见错误场景包括:

  • 函数中有多处 return,只在末尾 unlock
  • try-catch 中 catch 了异常但没 unlock
  • 循环内加锁后 break 跳出,忘记 unlock
std::mutex mtx;
int shared_value = 0;

void safe_increment() {
    std::lock_guard lock(mtx); // 自动构造即加锁
    ++shared_value;                         // 临界区
} // 自动析构即解锁 —— 即使此处抛异常也安全

不要对同一个 mutex 多次 lock,否则会死锁(尤其是递归场景)

std::mutex 不支持递归加锁。如果同一线程重复调用 lock(),行为是未定义的(多数实现直接阻塞自身,形成死锁)。即使你“确定”不会递归调用,编译器优化或间接调用链也可能打破这个假设。

替代方案:

立即学习C++免费学习笔记(深入)”;

  • 重构代码,避免临界区嵌套
  • 必要时改用 std::recursive_mutex(但应视为设计警告信号)
  • std::unique_lock + try_lock() 显式控制,避免盲等

注意:std::recursive_mutex 有额外开销,且掩盖了本该被发现的同步设计缺陷。

Meku
Meku

AI应用和网页开发工具

下载

保护的是数据访问路径,不是变量本身;漏掉任何一处读/写就等于没保护

一个 std::mutex 只对显式用它保护的代码段起作用。如果某处修改 shared_value 没加锁,哪怕其他 99 处都加了,数据竞争依然存在。尤其容易忽略:

  • 调试打印(std::cout )
  • 结构体/类的成员函数中隐式访问共享字段
  • lambda 捕获后在新线程中直接读写
  • std::vector::push_back() 等可能触发重分配并复制元素的容器操作

建议把共享数据封装成类,将 mutex 作为私有成员,所有访问通过加锁的公有方法进行:

class Counter {
    mutable std::mutex mtx; // mutable 允许 const 成员函数中加锁
    int value = 0;
public:
    void increment() { std::lock_guard l(mtx); ++value; }
    int get() const { std::lock_guard l(mtx); return value; }
};

std::mutex 不能拷贝,只能移动;跨线程传递必须用指针或引用

std::mutex 的拷贝构造函数和赋值运算符都被删除了。试图 std::thread t(func, mtx) 会编译失败——因为 std::thread 默认按值传递参数,触发拷贝。

正确方式只有两种:

  • std::ref(mtx) 传引用:std::thread t(func, std::ref(mtx))
  • 传指针:std::thread t(func, &mtx),并在函数内用 *mtx_ptr 访问

切记:传值 = 编译错误;传 std::move(mtx) = 移动后原 mutex 失效,后续使用崩溃。

多线程里最危险的不是锁没加,而是你以为加了——比如只锁了写没锁读,或者以为全局变量天然线程安全。真正守住临界区,靠的是每次访问都过一遍「这个操作是否涉及共享状态」的检查,而不是背熟 lock_guard 的写法。

相关专题

更多
java中break的作用
java中break的作用

本专题整合了java中break的用法教程,阅读专题下面的文章了解更多详细内容。

117

2025.10.15

java break和continue
java break和continue

本专题整合了java break和continue的区别相关内容,阅读专题下面的文章了解更多详细内容。

255

2025.10.24

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

479

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

143

2025.12.24

c++主流开发框架汇总
c++主流开发框架汇总

本专题整合了c++开发框架推荐,阅读专题下面的文章了解更多详细内容。

25

2026.01.09

c++框架学习教程汇总
c++框架学习教程汇总

本专题整合了c++框架学习教程汇总,阅读专题下面的文章了解更多详细内容。

24

2026.01.09

学python好用的网站推荐
学python好用的网站推荐

本专题整合了python学习教程汇总,阅读专题下面的文章了解更多详细内容。

72

2026.01.09

学python网站汇总
学python网站汇总

本专题整合了学python网站汇总,阅读专题下面的文章了解更多详细内容。

9

2026.01.09

python学习网站
python学习网站

本专题整合了python学习相关推荐汇总,阅读专题下面的文章了解更多详细内容。

9

2026.01.09

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
10分钟--Midjourney创作自己的漫画
10分钟--Midjourney创作自己的漫画

共1课时 | 0.1万人学习

Midjourney 关键词系列整合
Midjourney 关键词系列整合

共13课时 | 0.9万人学习

AI绘画教程
AI绘画教程

共2课时 | 0.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号