為什麼 std::async() 傳回的 Future 有阻塞析構函式？

非同步Future 中的阻塞析構函數

當從std::async 傳回future 時，其析構函式會隱式阻塞，從而導致呼叫線程暫停。雖然這種行為看起來令人驚訝，但它是為了安全和正確性而有意為之。

阻止析構函數的原因

正如Hans Boehm 在白皮書“N3679：異步（ ) 未來的析構函數必須等待”，由async() 返回的future 等待其關聯的共享狀態在析構函數中準備就緒。這可以防止這樣的情況出現：一旦 future 被銷毀，相關執行緒就會繼續運行，而無法等待其完成。如果不採取額外措施，這種「失控」線程可能會超出其依賴物件的生命週期，從而可能導致跨線程「記憶體崩潰」和安全漏洞。

範例

考慮這個程式碼片段：

std::future<int> future = std::async(std::launch::async, run_async_task);</int>

如果future 的析構函式沒有阻塞，則執行緒執行即使future 被破壞， run_async_task 也可以繼續運作。如果此執行緒存取任何已被銷毀的對象，則會發生執行階段錯誤。

替代方法

為了避免阻塞行為，請明確呼叫 future.get()或 future.wait() 在銷毀 future 之前。這確保相關任務已經完成，不再依賴被破壞的未來。

更新

Michael Wong 在 2013 年 9 月 C 標準會議之後的「旅遊報告」提供了有關此主題的最新觀點。雖然進行了重要的討論，但沒有對 std::future 析構函數的阻塞行為進行任何更改。此外，一項反對使用非同步的提案最終被拒絕。

以上是為什麼 std::async() 傳回的 Future 有阻塞析構函式？的詳細內容。更多資訊請關注PHP中文網其他相關文章！