在 C++11 中引入的 std::async是一個(gè)用于異步執(zhí)行任務(wù)的工具，它簡(jiǎn)化了多線程編程的復(fù)雜度，通過返回 std::future對(duì)象實(shí)現(xiàn)對(duì)異步任務(wù)結(jié)果的獲取。

??一、核心概念??

std::async用于啟動(dòng)一個(gè)異步任務(wù)（可能在獨(dú)立線程中執(zhí)行），并返回一個(gè) std::future對(duì)象，通過該對(duì)象可以：

• 阻塞等待任務(wù)完成并獲取返回值（future::get()）；
• 查詢?nèi)蝿?wù)狀態(tài)（future::valid()、future::wait_for()等）；
• 異常傳遞（任務(wù)中的異常會(huì)延遲到 get()時(shí)拋出）。

??二、函數(shù)原型與啟動(dòng)策略??

std::async的聲明如下：

template< class Function, class... Args >
std::future<typename std::result_of<Function(Args...)>::type>
    async( Function&& f, Args&&... args );
 
template< class Function, class... Args >
std::future<typename std::result_of<Function(Args...)>::type>
    async( std::launch policy, Function&& f, Args&&... args );

其中第二個(gè)模板參數(shù)是??啟動(dòng)策略??（std::launch枚舉），控制任務(wù)的執(zhí)行方式：

??三、基礎(chǔ)用法示例??

??1. 最簡(jiǎn)用法（無顯式策略）??

template< class Function, class... Args >
std::future<typename std::result_of<Function(Args...)>::type>
    async( Function&& f, Args&&... args );
 
template< class Function, class... Args >
std::future<typename std::result_of<Function(Args...)>::type>
    async( std::launch policy, Function&& f, Args&&... args );

• std::async(compute, 2, 3)啟動(dòng)異步任務(wù)，傳遞函數(shù) compute和參數(shù) 2, 3。
• future.get()阻塞主線程，直到任務(wù)完成并返回結(jié)果。

??2. 顯式指定啟動(dòng)策略??

// 強(qiáng)制異步執(zhí)行（新線程）
auto future_async = std::async(std::launch::async, compute, 2, 3);
 
// 延遲執(zhí)行（當(dāng)前線程同步執(zhí)行）
auto future_deferred = std::async(std::launch::deferred, compute, 2, 3);
 
future_async.get(); // get()阻塞等待
future_deferred.get(); // 此時(shí)在當(dāng)前線程同步執(zhí)行 compute(2,3)

??四、參數(shù)傳遞與引用語義??

std::async支持傳遞任意可調(diào)用對(duì)象（函數(shù)、Lambda、函數(shù)對(duì)象等）和參數(shù)。若需傳遞引用，需用 std::ref包裝：

#include <functional>
 
void modify(int& value) {
    value = 100;
}
 
int main() {
    int x = 0;
    // 錯(cuò)誤：直接傳遞引用會(huì)被復(fù)制（值語義）
    // auto future = std::async(modify, x); 
 
    // 正確：用 std::ref 傳遞引用
    auto future = std::async(modify, std::ref(x)); 
    future.get();
    std::cout << x << std::endl; // 輸出 100（x 被修改）
 
    return 0;
}

??五、std::future 的常用接口??

std::async返回的 std::future提供以下關(guān)鍵方法：

??六、異常處理??

異步任務(wù)中拋出的異常會(huì)被 std::future捕獲，直到調(diào)用 get()時(shí)重新拋出：

int risky_compute(int x) {
    if (x < 0) throw std::runtime_error("x is negative");
    return x * 2;
}
 
int main() {
    auto future = std::async(risky_compute, -1);
    try {
        int result = future.get(); // 拋出 std::runtime_error
    } catch (const std::exception& e) {
        std::cerr << "Error: " << e.what() << ""; // 捕獲異常
    }
    return 0;
}

??七、注意事項(xiàng)??

1. ??生命周期管理??：

   std::future析構(gòu)時(shí)，若任務(wù)未完成且未被 get()或 wait()，可能導(dǎo)致程序終止（取決于實(shí)現(xiàn)）。若需共享結(jié)果，使用 std::shared_future。

2. ??線程復(fù)用??：

   std::async不保證任務(wù)一定在新線程中執(zhí)行（尤其是 deferred策略或編譯器優(yōu)化），依賴具體實(shí)現(xiàn)。

3. ??性能開銷??：

   相比手動(dòng)管理 std::thread，std::async自動(dòng)管理線程生命周期，但頻繁創(chuàng)建小任務(wù)可能有額外開銷（適合中高耗時(shí)任務(wù)）。

??八、典型應(yīng)用場(chǎng)景??

• ??并行計(jì)算??：同時(shí)執(zhí)行多個(gè)獨(dú)立任務(wù)（如圖像處理中的多區(qū)域計(jì)算）。
• ??異步IO??：發(fā)起IO操作后異步等待結(jié)果，避免阻塞主線程。
• ??任務(wù)編排??：結(jié)合 std::future::wait_for實(shí)現(xiàn)超時(shí)控制（如監(jiān)控任務(wù)是否超時(shí)）。

??總結(jié)??

std::async是 C++11 中簡(jiǎn)化異步編程的核心工具，通過 std::future提供結(jié)果獲取和狀態(tài)查詢能力。合理使用其啟動(dòng)策略和異常處理機(jī)制，可有效提升代碼的并發(fā)性能和可維護(hù)性。

到此這篇關(guān)于淺談C++11 std::async()基礎(chǔ)用法示例的文章就介紹到這了,更多相關(guān)C++11 std::async()內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論