C++多线程中如何正确使用condition_variable_any

陌枫同学_5800

陌枫同学_5800

2026-08-21

382人浏览

原创

condition_variable_any不能直接配std::mutex,因其要求锁支持移动语义,而std::mutex禁用移动;正确组合包括shared_mutex(独占模式)、recursive_mutex或自定义basiclockable锁;wait_for需显式指定chrono单位;必须用谓词循环检查防虚假唤醒;notify应在持有锁时调用以防丢失。

c++多线程中如何正确使用condition_variable_any

condition_variable_any 为什么不能直接配 std::mutex

它名字里带 any,不是为了让你图省事乱配锁,而是明确要求锁类型必须满足「可迁移」和「可拷贝语义」——std::mutex 不满足。你如果硬写 cv.wait(lock) 配 std::mutex,编译器大概率报错类似:no matching member function for call to 'wait',因为 std::mutex 的移动构造被删除,condition_variable_any::wait 内部需要临时转移锁所有权。

真正能用的常见组合是:

  • std::shared_mutex(C++17 起)——注意它支持 shared/unique 两种锁定模式,但 condition_variable_any::wait 只接受独占模式(即 lock() 或 try_lock()),不能传 lock_shared() 得到的锁
  • std::recursive_mutex——递归锁,适合需多次加同一把锁的场景,但性能略低,且容易掩盖设计问题
  • 自定义满足 BasicLockable 要求的锁类(比如带日志、超时包装的锁),但要确保 move 构造/赋值可用

wait 和 wait_for 的超时参数单位容易搞反

condition_variable_any::wait_for 第二个参数是 std::chrono::duration,不是毫秒整数。写成 cv.wait_for(lk, 1000) 是错的,它会被当成 1000 个「时钟周期」(通常是纳秒级),实际等待时间趋近于 0,导致忙轮询。

正确写法必须显式指定单位:

cv.wait_for(lk, std::chrono::milliseconds(1000)); // 等 1 秒
cv.wait_for(lk, std::chrono::seconds(5));          // 等 5 秒

另外注意:即使超时,wait_for 返回的是 std::cv_status 枚举,不是布尔值。别写 if (cv.wait_for(...)),应该写:

if (cv.wait_for(lk, std::chrono::milliseconds(500)) == std::cv_status::timeout) {
    // 真的超时了
}

虚假唤醒下忘记检查谓词就继续执行

condition_variable_any 不保证唤醒一定对应真实条件变化,系统调度、信号中断都可能触发虚假唤醒。如果你只调用 wait 不带谓词版本,又没在 wait 返回后重新检查状态,就会出逻辑错误。

最稳妥写法永远是带 lambda 谓词的重载:

C++ 算法竞赛自动化测试数据生成与校验框架
C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据,自动套用 testlib 模板,用于用户要求生成测试数据时。

下载
cv.wait(lk, [&ready] { return ready; });

这个版本内部等价于:

while (!ready) {
    cv.wait(lk);
}

而手动展开时容易漏掉 while,只写一次 if,那就危险了。尤其在多生产者、多消费者或涉及多个条件变量协作时,谓词检查缺一不可。

notify_one 和 notify_all 的时机与锁状态

调用 notify_one 或 notify_all 本身不要求持有锁,但强烈建议在**仍持有同一把锁时通知**。原因有两个:

  • 避免「通知丢失」:如果通知发生在等待线程进入 wait 之前(即先 notify 后 wait),而此时没有锁保护,那个通知就彻底丢弃了;加锁后通知能确保状态更新和通知原子地串在一起
  • 减少唤醒后竞争:被唤醒线程需重新获取锁才能继续,若通知方提前释放锁,被唤醒线程会立刻争锁,可能引发不必要的上下文切换

所以典型模式是:

lk.lock();
ready = true;
cv.notify_all();  // 在锁内通知
lk.unlock();

或者更简洁地用作用域锁:

{
    std::unique_lock<:shared_mutex> lk(shmtx);
    ready = true;
    cv.notify_all();
} // 自动 unlock
</:shared_mutex>

复杂点在于:condition_variable_any 的灵活性反而容易让人忽略锁类型的约束和谓词的必要性。它不强制你用什么锁,但每换一种锁,就得重新验证 move 语义、锁定模式、以及是否和你的等待逻辑兼容——这点比 condition_variable 更容易踩坑。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
c++和c语言的区别有哪些
c++和c语言的区别有哪些

c++和c语言的区别:1、面向对象编程(OOP)支持不同;2、新增特性不同;3、标准库不同;4、编译方式不同;5、命名空间不同等等。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.14

2088

9

c++和python学习顺序推荐
c++和python学习顺序推荐

一般建议先学习C++,再学习Python,因为这样可以逐步从较为底层的编程语言向更高级的语言过渡。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

959

6

python和c++学习性价比分析
python和c++学习性价比分析

Python易于学习,广泛应用于Web开发、数据科学和人工智能等领域,但性能较低。C语言性能高,适用于对性能要求较高的场景,如游戏开发和系统编程,但学习曲线陡峭,错误处理复杂。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

387

5

c语言和c++一样吗
c语言和c++一样吗

c语言和c++是两种不同的编程语言,虽然有相似之处,但存在显著差异。c语言专注于过程式编程和系统级开发,以简洁、高效著称。c++作为c语言的超集,引入了面向对象编程,增强了代码组织和管理能力,但学习曲线也更陡峭。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

307

5

c语言和c++先学哪个好
c语言和c++先学哪个好

初学者选择学习c语言还是c++语言,需要根据个人学习目标、背景以及编程兴趣和预期应用方向来决定。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

366

5

c语言和c++的区别和联系
c语言和c++的区别和联系

c语言和c++是计算机科学领域应用广泛的编程语言。虽然它们有着相似的基础,但它们在语言类型、语法功能和内存管理方面存在着显著差异。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

560

5

c++软件中文更改教程
c++软件中文更改教程

对于 ide,可通过打开设置,找到语言设置,选择中文,并保存更改。对于非 ide 应用程序,可查找设置或选项,选择语言设置,更改为中文,并保存更改。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.21

1389

9

python和java和c++学习性价比分析
python和java和c++学习性价比分析

Python以其易学性、丰富的库和活跃的社区而著称,适合数据科学、人工智能和Web开发。Java以其跨平台性、企业级应用开发和Android应用开发而闻名。C++以其底层控制能力、高效性能和游戏开发而著称。选择哪种语言取决于个人兴趣、职业方向和特定需求。想了解更多python和java和c++的相关内容,可以阅读本专题下面的文章。

2024.03.22

1177

7

c++和c语言学习顺序推荐
c++和c语言学习顺序推荐

对于初学者,建议先学习C语言,掌握编程基础后再转入C++,便于理解面向对象编程概念。有编程经验者可直接学习C++,快速接触高级编程技术。想了解更多c++和c语言的相关内容,可以阅读本专题下面的文章。

2024.03.25

1305

9

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

CMake 与 Conan 集成实践
CMake 与 Conan 集成实践

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习