期货，承诺和例外

Question

std::promise<int> p1; 
auto f = p1.get_future(); 

{ 
    std::promise<int> p2(std::move(pr)); 
} 

bool valid = f.valid(); // true 
f.wait(); // does not throw, or fail, but returns immediately 
f.get(); // throws an exception 

有没有什么办法可以在致电get之前检查未来是否会抛出？我希望valid会检查...我真的不知道如何让valid返回false。销毁promise而不设置值不会执行此操作。

Answer 1

有没有什么办法可以在拨打 之前检查未来是否会抛出？

不，因为这在某种程度上等于接收未来存储的值。

我希望有效的检查...我不太确定如何得到有效的 返回false。如果未来是指可以仅通过std::async，std::packaged_task或std::promise创建一个共享状态

有效将返回true。一个反例是默认构造的std::future。一旦您在有效（有效==真实）未来一次呼叫get或share，有效值也将为假。
调用除valid之外的任何其他函数或移动赋值运算符对无效（有效==虚假）将来都是UB。

销毁承诺而未设置值不会执行此操作。

不，如上所述不是有效的点，因为未来仍然指的是共享状态只是另一方 - 承诺 - 没有实现。如果破坏承诺，则不设置任何值或例外，则会设置一个例外来指示已破坏的承诺。

Answer 2

有什么办法可以在调用get之前检查未来是否会抛出？

你的问题等同于：
有没有什么办法来检查，如果功能会调用它之​​前扔？

这两个问题的答案总的来说不是。

考虑：

int func_that_might_throw() 
{ 
    if (rand() % 2) 
    throw 1; 
    return 0; 
} 

std::future<int> f = std::async(&func_that_might_throw); 

int result = f.get(); 

的async调用可以返回一个延迟功能，在这种情况下，功能甚至不运行，直到您叫get()，所以一般是没有办法事先知道是否结果将是一个值或一个例外。 （您可以通过调用f.wait_for(std::chrono::seconds(0))来检测延迟的函数，但async可能不会返回延迟函数，并且在这种情况下，当您尝试检查它是否存储异常时，该函数仍可能异步运行，因此您必须检查如果它已准备好并且存在异常，那么检查就会变得非常混乱。）

一个有效的future具有已准备就绪的共享状态，其结果可能是值或异常。两者都是有效的结果。如果你不想处理异常，那么你应该确保首先不会在共享状态中设置异常。