C++并发 | std::future原理

最新推荐文章于 2025-11-10 11:34:08 发布

原创最新推荐文章于 2025-11-10 11:34:08 发布 · 1.5k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++

c++ 专栏收录该内容

19 篇文章

订阅专栏

本文探讨了C++中使用std::future和std::packaged_task进行异步编程的概念。std::future作为一个线程间同步的工具，可以获取异步任务的结果。std::packaged_task则允许将任务和参数打包，形成可调用的对象。通过packaged_task的()运算符重载，可以执行任务。当调用future的.get()方法时，当前线程会被阻塞，直到异步任务完成并返回结果。整个过程中，内部使用了原子操作确保线程安全。

只是了解future可以异步返回一个函数的返回值,和std::packaged_task一起使用,但是不了解其中原理,上网看了一些资料做个总结^^

std::future 可以用来获取异步任务的结果，因此可以把它当成一种简单的线程间同步的手段.

通过用packaged_task和目标任务和参数打包形成的packaged_task类,我的理解是里面重载了()运算符,使对象成为可调用的仿函数,

struct st
{
	int val;
	void operator()(int x)
	{
		val = x;
		cout << val << endl;
	}
};
int main()
{
	st s;
	s(1);
	return 0;
}

在这里插入图片描述

当使用get_future()方法时,返回一个future对象,因为packaged_task的成员有class _Promise

class _Promise

promise,promise对象是future对象配对兄弟，二者都能暂时拥有一个shared state (用来表现一个结果或者异常值)，但是future object允许你取回数据，promise是让你提供数据。其中promise的声明位于头文件中。

,当future对象使用.get()时,会使当前线程阻塞,直到目标函数执行完毕返回函数值,其中使用acomic< unsigned>的原子对象,然后自旋等待异步线程结束