问std的行为：：异步(std：：std：：递延)+std：：future：：of

EN

在我看来，这似乎是TS中的一个bug。或者至少有一个文件不足的陷阱。

以下是TS的文本：

2.3未来.独特的未来.6-10

模板见下文(F& func)； 要求： 调用(DECAY_COPY (std::forward(func))、std::move(*this))应该是一个有效的表达式。 效果： 该函数创建一个与返回的未来对象关联的共享状态。另外， 当对象的共享状态准备就绪时，将在未指定的执行线程上调用延续INVOKE(DECAY_COPY(std::forward<F>(func)), std::move(*this))，然后在调用的线程中计算对DECAY_COPY()的调用。 从延续返回的任何值都存储在结果的未来的共享状态中。从连续执行中传播的任何异常都存储为结果未来的共享状态的异常结果。 返回： 当result_of_t<decay_t<F>(future<R>)>为future<R2>时，对于某些类型的R2，该函数返回future<R2>。否则，函数返回future<result_of_t<decay_t<F>(future<R>)>>。[注:上述规则称为隐式展开。如果没有这条规则，那么接受可调用的返回future<R>的返回类型将是future<future<R>>。此规则避免了这种嵌套的未来对象。下面的f2类型是future<int>，而不是future<future<int>>： [例子： 未来f1 = g()；未来f2 =f1.然后(future f{future f{ f3 = h()；返回f3；})； -最终例子] -尾注] 邮政条件： valid() == false关于最初的未来。从那时起，valid() == true又回到了未来。注:在隐式展开的情况下，在延续完成后，才能确定从那功能返回的未来的有效性。如果它无效，则生成的未来就会就绪，只有std::future_error类型例外，错误条件为std::future_errc::broken_promise。-尾注

推迟以后的任务没有特例。如果该延迟的未来任务在调用.then之前还没有准备好，那么就没有办法使其就绪，因此无法调用已损坏的func副本。

shared_future的文本类似；在那里，您仍然可以在调用.then之后使shared_future做好准备。

如果这是有意的，那么在一个没有准备好的、延迟的、唯一的未来上的.then将导致一个永远无法准备好的future的返回值--这在TS/标准中应该是明确的。如果不打算这样做，则需要更改标准文本。

请注意，这些更改不会出现在2018年发布的N4762标准草案中。

我不确定标准应该如何解决这个问题；.then语义对于shared_future来说是合理的，但对于future则不合理，不同的语义将是令人惊讶的。