瞭解std :: future的延續::然後

Question

任何人都可以用C++中的示例來解釋async([](){x(); y();})和async([](){x();}).then([](){y();})之間的區別是什麼？我的理解是，在後一種情況下，x,y中的每一個都可能立即在不同的線程中開始，並且如果在作爲輸入傳遞的將來調用get()時將僅阻塞（在它們各自的線程中）。

Answer 1

這樣的get()永遠不會阻塞。這是在相關建議N3558中設計的。

#include <future> 
using namespace std; 
int main() { 
    future<int> f1 = async([]() { return 123; }); 

    future<string> f2 = f1.then([](future<int> f) { 
     return f.get().to_string(); // here .get() won’t block 
    }); 
} 

[..]

每個延續不會開始，直到前述已完成。

的好處是，你現在可以在表現手法譜寫幾個異步操作。你能把所有的代碼捆綁到一個lambda中嗎？當然。但是，不可重複使用，也不能特別維護。

此外，還有一些異常處理魔法爲您完成。我建議閱讀定義std::future::then實際上會做什麼的提案，但我承認那裏的「基本原理」部分沒有多少內容：它似乎專注於阻止主線程等待未來完成的缺點，並沒有提到你陳述的替代用例。那麼，也許這就是問題所在：這個功能不是非常想取代它。這就是爲什麼你在努力尋找功能差異。

在異步編程中，一個異步操作在完成時調用第二個操作並將數據傳遞給它是很常見的。目前的C++標準不允許註冊延續到未來。然後，不等待結果，而是繼續「附加」到異步操作，在結果準備就緒時調用異步操作。使用.then函數註冊的繼續將有助於避免在輪詢中阻止等待或浪費線程，從而大大提高應用程序的響應性和可伸縮性。

Answer 2

...是什麼async([](){x(); y();})和async([](){x();}).then([](){y();})之間的區別？

真的不多 - 那爲什麼呢？

單個單詞可組合性。它允許我們在異步環境中以給定問題域的表達方式構建基於模塊化功能（或功能塊）的抽象。

這並不是說一方是對的，另一方是錯的 - 它只是意味着這些語義（.then()）在處理異步操作時特別有意義。

單線程計算的語言是「這樣做和這樣做和這樣做...」，異步計算的語言是‘做到這一點，當它完成，然後做此，當它完成，然後做這個......’