std ::列表<std::future>析構函數不會阻止

Question

我有一個多線程的應用程序，有一個循環等待用戶輸入作爲主線程。 在正確的輸入上，它應該停止循環並等待所有其他線程，以便正常結束。

爲此，我創建了一個的std ::名單中，我把的std ::線程創建

std::list<std::future<int>> threads; 
threads.emplace_front(std::async(std::launch::async, ...)); 

我的印象是創造未來對象，讓列表因爲列表的析構函數將破壞所有的 std :: future元素和the destructor of those將等待線程完成。

編輯：既然是相關的，我將其添加在這裏： 這是Win7上與MSVC版本的Visual Studio 2013專業版 /EDIT

當我嘗試這樣做，它沒有塊，我不得不添加

for (auto it = threads.begin(); it != threads.end(); ++it) { 
    it->get(); 
} 

要結束的功能，要正確地阻止。

我誤解了一些東西，還是必須以不同的方式創建線程，才能做我想在這裏做的事情？

Answer 1

這是一個MSVC bug that has been fixed，但直到MS發佈了Visual C++的新版本，在2015年可能是一些時間（這也是available in the CTP for the new version，但它的使用，對於任何生產一個非常糟糕的主意修復將不可用代碼...）

如斯科特邁爾斯在his blog post解釋的那樣，通過使用launch::async策略std::async調用返回一個std::future的析構函數需要阻塞，直到產生的線程完成執行（§30.6.8[期貨。異步]/P5）：

如果實現選擇了launch::async政策，

• [...]
• 相關線程完成與（1.10）的 從返回同步第一個函數，它成功檢測到共享狀態的準備就緒狀態，或者從最後一個函數 返回的狀態釋放共享狀態，以先發生者爲準。

在這種情況下，future的析構函數是‘釋放的共享狀態最後一個函數’，所以線程完成必須同步與（即之前發生）是函數的返回。

Answer 2

我看過的std ::未來的文檔，發現這個對的std ::未來的析構函數：

發佈任何共享的狀態。這意味着

• 如果返回的對象或提供商保留最後的參考到它的共享狀態，該共享狀態被破壞;和
• 返回對象或提供者放棄對其共享狀態的引用;和
• 這些操作不會阻止共享狀態準備就緒，除非它可能會阻止如果以下所有條件都成立：共享狀態是通過調用std :: async創建的，共享狀態是尚未準備就緒，這是共享狀態的最後一個參考。

注意最後一點。在我看來，你必須在範圍的最後打電話給get。