并发编程std::promise的使用及注意点

何处惹尘埃～

已于 2022-11-09 15:36:04 修改

阅读量493

点赞数

CC 4.0 BY-SA版权

分类专栏：并发编程文章标签： c++ 蓝桥杯开发语言

于 2022-10-13 10:21:36 首次发布

本文链接：https://blog.youkuaiyun.com/getline_class/article/details/127296141

并发编程专栏收录该内容

2 篇文章

订阅专栏

本文通过两个示例详细介绍了C++中promise的基本用法及其注意事项，包括如何正确地在不同线程间传递并设置值，以及如何避免常见的异常情况。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

##### 注意：正确的使用promise要必须知道它什么时候会抛出异常

enum class future_errc {
    broken_promise             = /* promise已被析构*/,
    future_already_retrieved   = /* get_future()多次 */,
    promise_already_satisfied  = /* set_value()多次 */,
    no_state                   = /* future.get()已经成功，后面又future.get()了一次 */
};

>example：

#include <iostream>
#include <memory>
#include <thread>
#include <future>
#include <mutex>
#include <chrono>
#include <string>
static std::string  future_string[] =
{ "ready",
   "timeout",
   "deferred"
};

int main()
{
    auto func = [](std::shared_ptr<std::promise<int>> ptr) {
        std::cout << "[thread]" << ptr.use_count() << std::endl;
        std::cout << "[thread] will set_value after 4s" << std::endl;
        std::this_thread::sleep_for(std::chrono::seconds(4));
        if (ptr != nullptr)
        {
            ptr->set_value(20);
            std::cout << "[thread] set value done111~ " << ptr.use_count() << std::endl;
            ptr = nullptr;
            std::cout << "[thread] set value done222~ " << ptr.use_count() << std::endl;
        }
    };

    std::thread th_;

    {
        //构建promise
        std::shared_ptr<std::promise<int>> sp = std::make_shared<std::promise<int>>();
        std::future<int> future = sp->get_future();
        std::future_status status;

        //创建线程， 以智能指针方式传递
        //以普通指针传递会有特殊情况，主线程等待超时都没等到函数退出
        //就会析构promise，此后线程中调用promise->setValue()就会报错
        th_ = std::thread(func, sp);

        try
        {
            //设置10s内轮询查看当前future状态
            for (int i = 0; i < 10; ++i)
            {
                status = future.wait_for(std::chrono::seconds(1));
                std::cout << "[main] ---> current status:  " << future_string[static_cast<int>(status)] << "\t" << i << "s" << std::endl;
                if (status == std::future_status::ready)
                {
                    std::cout << "[main get the promise result:   " << future.get() << std::endl;
                    break;  /*一定要退出，只能get一次，多次就会有异常*/
                }
            }
        }
        catch (const std::exception& e)
        {
            std::cerr << "error: " << e.what() << std::endl;
        }
        
                
        std::cout << "[main]  func will exit, start delete promise_________  " << sp.use_count() << std::endl;
    }

    th_.join();
    return 0;
}

#include <iostream>
#include <future>
#include <thread>
#include <chrono>
#include <mutex>
#include <atomic>

std::mutex mtx_;
std::atomic<bool>  stop_ = false;
int memory = 0;
std::shared_ptr<std::promise<int>>  sp_po = nullptr;

void test()
{
	while (!stop_)
	{
		std::unique_lock<std::mutex> lck(mtx_);
		if (sp_po != nullptr)
		{
			try {
				sp_po->set_value(memory);
                sp_po = nullptr;
			}
			catch (std::exception& ec)
			{
				std::cout << "error " << ec.what() << std::endl;
			}
		}			
		lck.unlock();
		
		std::cout << "thread set value " << memory << std::endl;
		memory++;		
		std::this_thread::sleep_for(std::chrono::milliseconds(500));
	}
}

int main()
{	
	std::thread th(test);

	while(1)
	{		
		std::unique_lock<std::mutex> lck(mtx_);		
		sp_po.reset(new std::promise<int>);
		lck.unlock();

		std::cout << "main get value: " << sp_po->get_future().get() << std::endl;
	}


	return 0;
}