首页 > 后端开发 > C++ > 正文

c++如何使用条件变量(condition_variable)_c++线程同步机制讲解

裘德小鎮的故事
发布: 2025-11-16 20:25:02
原创
873人浏览过
条件变量需与互斥锁配合使用,实现线程间同步。通过wait()等待条件满足,notify_one()/notify_all()唤醒线程,避免轮询。常用场景如生产者-消费者模型,需注意虚假唤醒和退出逻辑处理。

c++如何使用条件变量(condition_variable)_c++线程同步机制讲解

在C++多线程编程中,条件变量std::condition_variable)是一种重要的同步机制,用于在线程之间协调执行顺序。它通常与互斥锁(std::mutex)配合使用,实现“等待某个条件成立”的逻辑,避免轮询带来的资源浪费。

条件变量的基本原理

std::condition_variable本身不存储状态,它只是一个通知机制。一个或多个线程可以等待该条件变量被“通知”(notify),而另一个线程在满足特定条件时发出通知,唤醒等待的线程。

关键点:

  • 必须配合std::unique_lock<:mutex></:mutex>使用
  • 等待操作会自动释放锁,并在被唤醒后重新获取锁
  • 使用wait()wait_for()wait_until()进行阻塞等待
  • 通过notify_one()notify_all()唤醒等待线程

基本用法示例:生产者-消费者模型

下面是一个典型的生产者-消费者例子,展示如何使用条件变量安全地共享队列:

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

#include <iostream>
#include <thread>
#include <queue>
#include <mutex>
#include <condition_variable>

std::queue<int> data_queue;
std::mutex mtx;
std::condition_variable cv;
bool finished = false;

void producer() {
    for (int i = 0; i < 5; ++i) {
        {
            std::lock_guard<std::mutex> lock(mtx);
            data_queue.push(i);
        }
        cv.notify_one(); // 通知一个消费者
        std::this_thread::sleep_for(std::chrono::milliseconds(100));
    }
    {
        std::lock_guard<std::mutex> lock(mtx);
        finished = true;
    }
    cv.notify_all(); // 唤醒所有等待线程
}

void consumer() {
    while (true) {
        std::unique_lock<std::mutex> lock(mtx);
        // 条件等待:队列非空 或 生产结束
        cv.wait(lock, []{ return !data_queue.empty() || finished; });
        if (finished && data_queue.empty()) break;
        if (!data_queue.empty()) {
            int value = data_queue.front();
            data_queue.pop();
            std::cout << "消费: " << value << std::endl;
        }
        lock.unlock();
    }
}

int main() {
    std::thread p(producer);
    std::thread c1(consumer);
    std::thread c2(consumer);

    p.join();
    c1.join();
    c2.join();
    return 0;
}

wait 的正确使用方式

直接调用wait()容易出错,推荐使用带谓词的版本或循环检查条件:

商汤商量
商汤商量

商汤科技研发的AI对话工具,商量商量,都能解决。

商汤商量 36
查看详情 商汤商量
  • 带谓词的 waitcv.wait(lock, predicate) 自动处理虚假唤醒
  • 手动循环检查:确保条件真正满足后再继续执行

例如:

cv.wait(lock, [] { return !data_queue.empty(); });

等价于:

while (data_queue.empty()) {
    cv.wait(lock);
}

超时等待与 notify 区别

wait_forwait_until 支持超时机制,适用于需要限时等待的场景:

if (cv.wait_for(lock, std::chrono::seconds(2), []{ return !data_queue.empty(); })) {
    // 在2秒内被唤醒且条件满足
} else {
    // 超时或条件仍不满足
}

notify_one() 唤醒一个等待线程,适合一对一通信;notify_all() 唤醒所有等待线程,适合广播场景,但可能引起“惊群效应”。

基本上就这些。掌握条件变量的核心是理解“等待-通知”模式,配合互斥锁保护共享数据,避免竞争条件。实际使用中注意处理虚假唤醒和线程退出逻辑,就能写出稳定高效的并发代码。

以上就是c++++如何使用条件变量(condition_variable)_c++线程同步机制讲解的详细内容,更多请关注php中文网其它相关文章!

c++速学教程(入门到精通)
c++速学教程(入门到精通)

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

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习

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