vs2019 c++20 规范的头文件 ＜future＞ 源码注释和几个结论

（1 探讨一）在多线程中，需要线程返回值的可以用该头文件中的类。该头文件中模板类和模板函数定义很多，用一幅图给出模板类之间的关系，方便从整体上把握和记忆：

（2 探讨二） 在 async 函数里调用了 _Fake_no_copy_callable_adapter 模板类，源码显示，异步函数的执行最终是调用这个模板类。

单独测试一下这个模板类：

（3 探讨三） 接下来图示一下，创建新线程时的各模板类的赋值流程，下一幅图示出延迟异步的赋值流程与 future 的驱动执行：

接下来给出 defer async 延时异步的求值流程，其求值确实是由 future . get() 驱动，否则不求函数返回值，如下图（这俩图一起看才完整）：

（4 探讨四）依据探讨三，可以直接调用这些类，编写 future 对象，不使用函数 async 。也是可以的。依据编译器的提示写的测试例子如下：

目的是为了测试：是否可以通过不同的 future 从同一个 _State_manager 读取函数值。答案是否定的。_State_manager 管理的函数返回值，只可以被使用一次。再次读取就会报错，测试如下：

（5 探讨五 ）关于创建 packaged_task 对象时是否会出现内存泄露的问题，也顺便检测下 STL 库代码的健壮性，如下图：

以及：

测试方法是在源码中增加打印语句，看看子类 _Packaged_state 中的函数对象是否会被析构，如下图：

测试结果如下：

（6 探讨六） 这里给出一个对模板 packagegd_task 的使用范例，如下图：

（7 探讨七）针对上面的使用范例，再分析下，此时函数的返回值是如何被初始化与读取的，也是验证我们对源码的理解是否正确，修改一下，如下图：

( 8 探讨八) 下面给出使用 promise 的引用作为函数形参得到函数返回值的例子：

(9 探讨九) 关于 share_future 的构造函数的一个探讨，如下图：

以上涉及了万能引用的使用，理解 forward 要结合万能引用来理解：

改造下 父类 _State_manager 的移动构造函数，此处发现，移动构造函数可以有多个形参的，大师这么用了：

测试结果如下：

(10 探讨十) 从 shared_future 的构造函数可以发现，没有直接的根据函数返回值构建 shared_future 对象的办法，只可以间接的通过 future 对象来实现。有两个办法：

shared_future<int> shFu = future<int> . share() ;

future<int> fu ;
shared_future<int> shFu(std::move(fu));

之所以可以多次从 shared_future 中 get() 返回值，是因为返回的都是对堆区中 _Associated_state 对象中的函数返回值的左值引用。

（11 探讨十一） 使用全局函数 async ，以 lauch::defered 方式运行，课本上写在 future . get() 时才可以驱动被调函数执行。其实 future . wait（ ） 函数也可以导致函数执行的，源码如下：

以及：

但 future . wait_for（） 不会导致 延时任务的启动执行，该函数会返回函数被延迟执行的事实：

以及：

谢谢