C++ std::future

news2025/1/19 20:28:16

std::future是用来接收一个线程的执行结果的,并且是一次性的。

共享状态shared state

future可以关联一个共享状态,共享状态是用来储存要执行结果的。这个结果是async、promise、packaged_task设置的,且这个结果只能设置一次。

创建future

创建future有四种方式

  1.  直接构造函数创建,这种创建的future没用共享状态。
    std::future<DataType> future;
  2. 调用std::async,返回一个future对象,返回的future有共享状态。std::async是执行一个异步任务,这个任务会放到线程池中的线程执行,并通过future返回执行结果。通常异步任务优先考虑使用std::async,而不是std::thread。
    auto future = std::async([]{
        return DataType{5};
    });
    std::cout <<"future is Valid:" << future.valid() 
              << " , async Result:" << future.get().n << std::endl;
  3. 创建std::promise,然后调用std::promise::get_future获取future对象,返回的future有共享状态。promise可以设置一个值传递给future,也可以设置一个异常传递给future。promise的set_value和set_exception 只能调用一次,调第二次时会抛出异常。如果promise在析构前都未设置结果,调用future::get获取结果会抛出异常。
        {
            std::cout << "------------- promise -----------------\n";
            std::promise<DataType> promise;
            promise.set_value({5});
            // promise.set_value({6}); //set_value只能调用一次,再次调用会抛出异常
            auto future = promise.get_future();
            // auto future2 = promise.get_future(); //get_future只能调用一次,再次调用会抛出异常
            std::cout <<"future is Valid:" << future.valid() << " , async Result:" << future.get().n << std::endl;
        }
        {
            std::cout << "------------- promise exception -----------------\n";
            std::promise<DataType> promise;
    
            try {
                throw std::runtime_error("error");
            } catch (...) {
                // 如果调用了 promise.set_value ,则不能调用 promise.set_exception ,
                // 否则 promise.set_exception 会抛出异常
                promise.set_exception(std::current_exception());
            }
            auto future = promise.get_future();
            try {
                auto data =  future.get();
                std::cout <<"future is Valid:" << future.valid() << " , async Result:" << data.n << std::endl;
            } catch (const std::exception& e) {
                std::cout << e.what() << std::endl;
            }
        }
    
  4. 创建std::packaged_task,然后调用get_futurestd::packaged_task::get_future获取future对象,返回的future有共享状态。
    std::cout << "------------- packaged -----------------\n";
    std::packaged_task<DataType(int)> task([](int a) {
        return DataType{a};
    });
    auto future = task.get_future();
    // auto future2 = task.get_future(); //get_future只能调用一次,再次调用会抛出异常
    task(5);
    std::cout <<"future is Valid:" << future.valid()
              << " , async Result:" << future.get().n << std::endl;

future状态

可以通过函数future::valid可以判断future是否有共享状态。如果有共享状态可以进一步通过函数future::wait_for(0s)来判读结果是否已经设置。wait_for有三个返回值:

  1. future_status::deferred 表示结果还未设置
  2. future_status::ready 表示结果已经设置
  3. future_status::timeout 表示超时

获取结果

通过future::get函数可以获取future的结果,调用get函数需要注意以下几点:

  1.  只有有共享状态的future才能获取结果,如果没有共享状态会抛出异常。
  2. 如果获取数据时future结果已经设置好,则会立即返回。
  3. 如果future状态还未设置好,则会挂起线程一直等待,直到结果被设置。如果相应async、promise、packaged_task到结束都一直未设置状态,则会抛出异常。
  4. get函数只能调用一次,调用完成后则会删除共享状态,再次调用get函数,会因为没有共享状态而抛出异常。

也可以调用wait,wait_for, wait_until等带结果被设置。

多线程调用future

获取future结果时,可以先判断future是否有共享状态,然后再调用get函数获取结果,代码如下:

        if (future.valid())
        {
            future.get();
        }

上面代码在单线程调用没有问题,如果在线程同时调用则会有问题,多个线程会同时判断future有共享状态,因此同时有多个线程调用get函数,而get函数只能被调用一次,从而引发异常。

可以通过加锁解决这个问题,但这并不是好的方法。更优雅的方法是通过future::share函数,为每个线程创建一个std::shared_future。future调用完share将不再拥有共享状态,如下:

如果future本身没有共享状态,调用share会生成一个没有共享状态的shared_future。

shared_future调用get函数时并不会清楚共享状态,所以shared_future可以多次调用get函数。

示例代码:

    std::promise<DataType> promise;
    auto future = promise.get_future();
    auto shadedFuture = future.share();
    std::cout << "future is valid: " << future.valid() << std::endl;
    
    std::thread threads[4];
    for (int i = 0; i < 4; ++i)
    {
        threads[i] = std::thread([future=shadedFuture](int i){
            std::cout << std::to_string(i) + ", future is Valid:" + std::to_string(future.valid())
                             + " , async Result:" + std::to_string(future.get().n) + "\n";
        }, i);
    }
    
    std::this_thread::sleep_for(std::chrono::milliseconds{100});
    promise.set_value({5});
    
    for (int i = 0; i < 4; ++i)
    {
        threads[i].join();
    }
    std::cout << std::endl;

future析构阻塞

当future是由async创建的,且future/shared_future是最后一个指向共享状态的future,如果async还在执行,则future在析构时会阻塞当前线程,等待async执行完成。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1007665.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【rtp-benchmarks】读取本地文件基于uvgRtp实现多线程发送

input 文件做内存映射 : get_mem D:\XTRANS\soup\uvg-rtp-dev\rtp-benchmarks\util\util.cc 文件中读取chunksize 到 vector 里作为chunks 创建多个线程进行发送 std::vector<std::thread*> threads;

C++数据结构X篇_12_树的基本概念和存储

学习二叉树之前先学习树的概念。 文章目录 1. 树的基本概念1.1 树的定义1.2 树的特点1.3 若干术语 2. 树的表示法2.1 图形表示法2.2 广义表表示法 3. 树的存储3.1 双亲表示法&#xff1a;保存父节点关系3.2 孩子表示法3.3 左孩子右兄弟表示法 1. 树的基本概念 之前所学均为线性…

22 相交链表

相交链表 题解1 快慢双指针改进 (acb bca)题解2 哈希表(偷懒) 给你两个单链表的头节点 headA 和 headB &#xff0c;请你找出并返回两个单链表相交的起始节点。如果两个链表不存在相交节点&#xff0c;返回 null 。 题目数据 保证 整个链式结构中不存在环。 注意&#xff…

Golang gorm manytomany 多对多 更新、删除、替换

Delete 移除 只删除中间表的数据 删除原有的 var a Article1db.Preload("Tag1s").Take(&a, 1)fmt.Printf("%v", a) {1 k8s [{1 cloud []} {2 linux []}]}mysql> select * from article1; ------------ | id | title | ------------ | 1 | k8s …

导数公式及求导法则

目录 基本初等函数的导数公式 求导法则 有理运算法则 复合函数求导法 隐函数求导法 反函数求导法 参数方程求导法 对数求导法 基本初等函数的导数公式 基本初等函数的导数公式包括&#xff1a; C0(x^n)nx^(n-1)(a^x)a^x*lna(e^x)e^x(loga(x))1/(xlna)(lnx)1/x(sinx)cos…

十大排序算法及Java中的排序算法

文章目录 一、简介二、时间复杂度三、非线性时间比较类排序冒泡排序&#xff08;Bubble Sort&#xff09;排序过程代码实现步骤拆解演示复杂度 选择排序&#xff08;Selection Sort&#xff09;排序过程代码实现步骤拆解演示复杂度 插入排序&#xff08;Insertion Sort&#xf…

用冒泡排序完成库函数qsort的作用

Hello&#xff0c;今天分享的是我们用冒泡函数实现qsort&#xff0c;也就是快排&#xff0c;之前我们也讲过库函数qsort的使用方法&#xff0c;今天我们尝试用冒泡函数实现一下&#xff0c;当然我们也见过qsort&#xff0c;后面也会继续完善的。这几天我是破防大学生&#xff0…

使用python制作一个简单的任务管理器

本篇文章教大家 使用 Python 创建一个简单的任务管理器应用程序。这个项目将帮助你练习 Python 编程的许多方面&#xff0c;包括文件操作、用户输入处理和基本的命令行界面设计。在这篇文章中&#xff0c;我将指导你创建一个基本的命令行任务管理器。 目录 任务管理器的用途任务…

NLP机器翻译全景:从基本原理到技术实战全解析

目录 一、机器翻译简介1. 什么是机器翻译 (MT)?2. 源语言和目标语言3. 翻译模型4. 上下文的重要性 二、基于规则的机器翻译 (RBMT)1. 规则的制定2. 词典和词汇选择3. 限制与挑战4. PyTorch实现 三、基于统计的机器翻译 (SMT)1. 数据驱动2. 短语对齐3. 评分和选择4. PyTorch实现…

App Inventor 2 实现Ascii码转换(Ascii编码与解码)

之前有同学问&#xff0c;App Inventor 2 字符及Ascii码如何进行转换&#xff0c;经过调查&#xff0c;其原生的组件和内置块无法完成这个功能&#xff0c;网上也有利用Web客户端组件执行js代码来进行转换&#xff0c;不过逻辑稍复杂效率还不高。这里介绍一个拓展可以非常方便的…

【算法系列 | 8】深入解析查找算法之—二分查找

序言 心若有阳光&#xff0c;你便会看见这个世界有那么多美好值得期待和向往。 决定开一个算法专栏&#xff0c;希望能帮助大家很好的了解算法。主要深入解析每个算法&#xff0c;从概念到示例。 我们一起努力&#xff0c;成为更好的自己&#xff01; 今天第8讲&#xff0c;讲一…

CrossOver 23 正式发布:可在 Mac 上运行部分 DX12 游戏

CodeWeivers 公司于今年 6 月发布了 CrossOver 23 测试版&#xff0c;重点添加了对 DirectX 12 支持&#xff0c;从而在 Mac 上更好地模拟运行 Windows 游戏。 该公司今天发布新闻稿&#xff0c;表示正式发布 CrossOver 23 稳定版&#xff0c;在诸多新增功能中&#xff0c;最值…

【经典小练习】JavaSE—拷贝文件夹

&#x1f38a;专栏【Java小练习】 &#x1f354;喜欢的诗句&#xff1a;天行健&#xff0c;君子以自强不息。 &#x1f386;音乐分享【如愿】 &#x1f384;欢迎并且感谢大家指出小吉的问题&#x1f970; 文章目录 &#x1f384;效果&#x1f33a;代码&#x1f6f8;讲解&#x…

Java学习之--类和对象

&#x1f495;粗缯大布裹生涯&#xff0c;腹有诗书气自华&#x1f495; 作者&#xff1a;Mylvzi 文章主要内容&#xff1a;Java学习之--类和对象 类和对象 类的实例化&#xff1a; 1.什么叫做类的实例化 利用类创建一个具体的对象就叫做类的实例化&#xff01; 当我们创建了…

预算有限但想改善客户服务?教你几招轻松解决~

这里有一个常见的误解&#xff1a;只有大公司需要客户服务。事实是&#xff0c;无论行业规模大小&#xff0c;出色的客户服务对每个企业都至关重要。事实上&#xff0c;企业规模越小&#xff0c;客户服务就越重要&#xff0c;因为他们无法承受失去客户的后果。 不仅如此&#…

连nil切片和空切片一不一样都不清楚?那BAT面试官只好让你回去等通知了。

连nil切片和空切片一不一样都不清楚&#xff1f;那BAT面试官只好让你回去等通知了。 问题 package mainimport ("fmt""reflect""unsafe" )func main() {var s1 []ints2 : make([]int,0)s4 : make([]int,0)fmt.Printf("s1 pointer:%v, s2 p…

【UE虚幻引擎】UE源码版编译、Andorid配置、打包

首先是要下载源码版的UE&#xff0c;我这里下载的是5.2.1 首先要安装Git 在你准备放代码的文件夹下右键点击Git Bash Here 然后可以直接git clone https://github.com/EpicGames/UnrealEngine 不行的话可以直接去官方的Github上下载Zip压缩包后解压 运行里面的Setup.bat&a…

浅谈C++|STL之vector篇

一.vector的基本概念 vector是C标准库中的一种动态数组容器&#xff0c;提供了动态大小的数组功能&#xff0c;能够在运行时根据需要自动扩展和收缩。vector以连续的内存块存储元素&#xff0c;可以快速访问和修改任意位置的元素。 以下是vector的基本概念和特点&#xff1a; 动…

第27章_瑞萨MCU零基础入门系列教程之freeRTOS实验

本教程基于韦东山百问网出的 DShanMCU-RA6M5开发板 进行编写&#xff0c;需要的同学可以在这里获取&#xff1a; https://item.taobao.com/item.htm?id728461040949 配套资料获取&#xff1a;https://renesas-docs.100ask.net 瑞萨MCU零基础入门系列教程汇总&#xff1a; ht…

Anaconda下Jupyter Notebook执行OpenCV中cv2.imshow()报错(错误码为1272)网上解法汇总记录和最终处理方式

零、我设备的相关信息 Python 3.8.8Anaconda3 2021.05查询匹配python3.8.*的OpenCV匹配版本为&#xff1a;4.1.* — 4.2.*&#xff0c;我最后安装4.2.0.32版本如下我记录了 “从发现问题&#xff0c;到不断试错&#xff0c;最后解决问题” 的完整过程&#xff0c;以备自己复盘…