如何理解“std::future shared state”？

Question

根据文档（ http://www.cplusplus.com/reference/future/future/get/ ），其中说：[强调我的]

一旦共享 state准备就绪，function 将解除阻塞并返回（或抛出）释放其共享的 state。 这使得未来的 object 不再有效：对于每个未来共享的 state ，该成员 function 最多应调用一次。

根据文档（ http://www.cplusplus.com/reference/future/future/ ），其中说：[强调我的]

“有效”期货是与共享 state关联的未来对象，并通过调用以下函数之一构建

异步

promise::get_future

packaged_task::get_future

根据文档（ http://www.cplusplus.com/reference/future/future/get/ ），其中说：[强调我的]

std::future::get

通用模板 (1) T get(); 参考

专业化（2）R&future::get()； // 当 T 是引用时

类型 (R&) void 特化 (3) void future::get(); // 当 T 为空时

返回：

value 通常为 (1)，std::move(x)，其中 x 是存储在共享 state中的值。

对于引用 (2)，对存储在共享 state中的值的引用。

对于无效期货 (3)，什么都没有。

我的问题是什么是“ std::future共享状态”？ 我如何理解“std::future shared state”？

我是C++的新手。虽然我想了又想，但还是抓不住思路。 我将非常感激能在这个问题上得到一些帮助。

Answer 1

根据std::future上的cppreference文档：

当异步操作准备好向创建者发送结果时，它可以通过修改链接到创建者的 std::future 的共享 state（例如 std::promise::set_value）来实现。

这里的共享 state 是指一些可变的东西可以被多个线程读写。 直接从文档中考虑示例：

std::promise<int> p;
std::future<int> f = p.get_future();
std::thread([&p]{ p.set_value_at_thread_exit(9); }).detach();
f.wait();

主线程和创建的线程共享p （并且由于p是有状态的，它们共享 state。）。 在 lambda 的主体内调用std::promise::set_value_at_thread_exit有效地修改了这两个线程之间的共享 state。 这基本上就是所有意思。

promise 给出的std::future是共享 state 的“有趣”部分的表示——您关心的值。