期貨，承諾和例外

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具有已準備就緒的共享狀態，其結果可能是值或異常。兩者都是有效的結果。如果你不想處理異常，那麼你應該確保首先不會在共享狀態中設置異常。