主流标准库与x64系统中C++ async任务是否多线程并行执行？

问题描述 #

C++的<futures>是异步任务标准库，异步操作常用于需等待外部操作的IO场景，但CPU密集型任务能否通过它实现并行？标准未保证任务会在其他线程并行执行（如std::async仅说明“异步运行函数，可能在新线程中”），但想了解GCC、Clang、MSVC对应的标准库在x64现代桌面系统中的实际表现：async任务是否会在可用线程间并行？

示例（仅作CPU密集型并行场景演示）：能否用async暴力统计浮点数区间内的数量，还是需手动创建线程来实现并行？

示例代码 #

unsigned long long count_floats(float from, float to)
{
    unsigned long long count = 0;
    for (float f = from; f < to; f = std::nextafter(f, std::numeric_limits<float>::infinity()))
    {
        ++count;
    }
    return count;
}

int main()
{
    unsigned long long count = 0;
    std::vector<std::future<unsigned long long>> counters;

    for (float f = -100.0f; f < 99.0f; f += 1.0f)
    {
        counters.push_back(std::async(count_floats, f, f + 0.1f));
    }

    unsigned long long total_floats = 0;
    for (auto& counter : counters)
    {
        total_floats += counter.get();
    }

    std::cout.imbue(std::locale(""));   
    std::cout << "total: " << total_floats << std::endl;
}

回答 #

一、std::async的标准规则

std::async默认采用std::launch::async | std::launch::deferred的混合启动策略——标准允许实现选择立即开新线程执行，或是延迟到调用future::get()/wait()时在当前线程同步执行，没有强制要求必须并行。但实际主流编译器的实现都偏向于并行优化。

二、三大编译器的实际表现（x64桌面系统）

• GCC（libstdc++）：默认策略下会用线程池调度任务，线程池大小匹配CPU逻辑核心数，CPU密集型任务会自动在空闲线程上并行执行，不会串行同步跑。
• Clang（libc++）：行为和GCC一致，默认策略优先使用线程池并行处理任务，充分利用多核资源。
• MSVC（STL）：同样会通过线程池管理std::async任务，默认策略下任务会并行执行，线程数基于系统核心数动态调整。

简单说：在x64现代桌面环境的三大主流编译器中，std::async默认就能让CPU密集型任务在多线程并行运行。

三、示例代码的可行性

你提供的代码完全可以通过std::async实现并行统计：

1. 循环创建的每个std::async任务，会被分配到不同线程（或线程池空闲线程）并行执行，无需手动管理线程。
2. 调用counter.get()时，当前线程会等待对应任务完成，但其他任务早已在后台并行运行，整体能利用多核提升效率。
3. 如果想彻底避免延迟执行的可能，显式指定std::launch::async策略即可：

   counters.push_back(std::async(std::launch::async, count_floats, f, f + 0.1f));
   

结论

在GCC、Clang、MSVC的x64桌面环境下，std::async完全可以用来实现CPU密集型任务的并行，你的示例代码不需要手动创建线程就能利用多核CPU。若要确保绝对并行，显式指定std::launch::async策略即可。

内容的提问来源于stack exchange，提问作者bolov