<future>
包含标准标头 <future>，以定义类模板和支持模板，它们可简化（可能在单独线程中的）函数运行并检索其结果。 结果可以是由函数返回的值或由函数发出但函数中未捕获的异常。
此标头使用并发运行时 (ConcRT)，以便可将其与其他 ConcRT 机制一起使用。 有关 ConcRT 的详细信息，请参阅并发运行时。
语法
#include <future>
备注
注意
在使用 /clr 编译的代码中，禁止使用此标头。
异步提供程序存储函数调用的结果。 异步返回对象用于检索函数调用的结果。 关联异步状态提供一个异步提供程序和一个或多个异步返回对象之间的通信。
程序不会直接创建任何关联异步状态对象。 程序在需要异步提供程序时会创建一个异步提供程序，且随之会创建一个与提供程序共享其关联异步状态的异步返回对象。 异步提供程序和异步返回对象管理保留其共享关联异步状态的对象。 最后一个引用关联异步状态的对象释放状态时，则保留关联异步状态的对象会被销毁。
不具有关联异步状态的异步提供程序或异步返回对象即为空。
只有当其异步提供程序存储了返回值或存储了异常时，关联的异步状态才会为准备就绪。
模板函数 async 以及类模板 promise 和 packaged_task 是异步提供程序。 类模板 future 和 shared_future 描述异步返回对象。
promise、future 和 shared_future 每个类模板都具有一个类型 void 的专用化和一个用于按引用存储和检索值的部分专用化。 这些专用化与主模板的唯一区别是用于存储和检索返回值的函数的签名和语义。
除保留后向兼容性的情况外，类模板 future 和 shared_future 从不会在其析构函数中阻塞：不同于其他所有 future，对于附加到以 std::async 开始的任务的 future（或最后一个 shared_future），如果任务尚未完成，则析构函数会阻塞；即，如果此线程尚未调用 .get() 或 .wait() 且任务仍在运行，则此析构函数会阻塞。 如下可用性注释已添加到草案标准中 std::async 的描述中：“[注意：如果将从 std::async 获取的 future 移出本地范围外，则使用此 future 的其他代码必须意识到此 future 的析构函数可能阻塞，直到共享状态变为准备就绪。—尾注]”在其他所有情况下，需要使用 future 和 shared_future 析构函数，且需保证其永不阻塞。
成员
类
| “属性” | 描述 |
|---|---|
| future 类 | 描述异步返回对象。 |
| future_error 类 | 描述可由管理 future 对象的类型方法引发的异常对象。 |
| packaged_task 类 | 描述作为调用包装器且其调用签名为 Ty(ArgTypes...) 的异步提供程序。 除可能的结果外，其关联异步状态还保留可调用对象的副本。 |
| promise 类 | 介绍异步提供程序。 |
| shared_future 类 | 描述异步返回对象。 相较于 future 对象，异步提供程序可与任意数量的 shared_future 对象关联。 |
结构
| 名称 | 描述 |
|---|---|
| is_error_code_enum 结构 | 指示 future_errc 适合存储 error_code 的专用化。 |
| uses_allocator 结构 | 始终保持 true 的专用化。 |
函数
| 名称 | 描述 |
|---|---|
| async | 表示一个异步提供程序。 |
| future_category | 返回一个描述与 future 对象相关联错误的 error_category 对象的引用。 |
| make_error_code | 创建具有 error_category 对象（此对象描述 future 错误的特点）的 error_code。 |
| make_error_condition | 创建具有 error_category 对象（此对象描述 future 错误的特点）的 error_condition。 |
| swap | 将一个 promise 对象的关联异步状态与另一对象的关联异步状态交换。 |
枚举
| 名称 | 描述 |
|---|---|
| future_errc | 为 future_error 类报告的错误提供符号名称。 |
| future_status | 为计时等待函数可返回的原因提供符号名称。 |
| launch | 表示描述模板函数 async 的可能模式的位掩码类型。 |