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<std::mutex> lock(mtx); // 自动构造即加锁
    ++shared_value;                         // 临界区
} // 自动析构即解锁 —— 即使此处抛异常也安全

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

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

替代方案:

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

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

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

Fish Audio
Fish Audio

为所有人准备的音频 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<std::mutex> l(mtx); ++value; }
    int get() const { std::lock_guard<std::mutex> 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 的写法。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

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

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

120

2025.10.15

java break和continue
java break和continue

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

261

2025.10.24

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

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

723

2023.08.10

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

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

372

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

本专题整合了java多线程相关教程,阅读专题下面的文章了解更多详细内容。

27

2026.01.21

C++多线程相关合集
C++多线程相关合集

本专题整合了C++多线程相关教程,阅读专题下面的的文章了解更多详细内容。

27

2026.01.21

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

102

2026.02.06

AI安装教程大全
AI安装教程大全

2026最全AI工具安装教程专题:包含各版本AI绘图、AI视频、智能办公软件的本地化部署手册。全篇零基础友好,附带最新模型下载地址、一键安装脚本及常见报错修复方案。每日更新,收藏这一篇就够了,让AI安装不再报错!

0

2026.03.04

Swift iOS架构设计与MVVM模式实战
Swift iOS架构设计与MVVM模式实战

本专题聚焦 Swift 在 iOS 应用架构设计中的实践,系统讲解 MVVM 模式的核心思想、数据绑定机制、模块拆分策略以及组件化开发方法。内容涵盖网络层封装、状态管理、依赖注入与性能优化技巧。通过完整项目案例,帮助开发者构建结构清晰、可维护性强的 iOS 应用架构体系。

24

2026.03.03

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
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号