将std::async与模板函数结合使用

using std::async with template functions

本文关键字：函数 结合 std async      更新时间：2023-10-16

如何将模板函数传递给async？

这是代码：

//main.cpp
#include <future>
#include <vector>
#include <iostream>
#include <numeric>
int
main
    ()
{      
    std::vector<double> v(16,1);
    auto r0 =  std::async(std::launch::async,std::accumulate,v.begin(),v.end(),double(0.0));
    std::cout << r0.get() << std::endl;
    return 0;
}

以下是错误消息：

^a.cpp:13:88：注：候选人为：在a.cp:1:0:/usr/include/c++/4.8/export:1523:5:注意：模板std:：future:：type>std:：async（std:：launch，_Fn&&，_Args&&…）async（启动__policy、_Fn&&__Fn、_Args&&…__Args）^/usr/include/c++/4.8/foreth:1523:5:注意：模板参数推导/替换失败：a.cpp:13:88：注意：无法推导模板参数'_Fn'auto r0=std:：async（std:：launch：：async，std:：accumulate，v.begin（），v.end（），double（0.0））；^在a.cp:1:0:/usr/include/c++/4.8/export:1543:5:注意：模板std:：future:：type>std:：async（_Fn&&，_Args&&…）异步（_Fn&&__Fn，_Args&&…__Args）^/usr/include/c++/4.8/foreth:1543:5:注意：模板参数推导/替换失败：/usr/include/c++/4.8/export:替换"template std:：future:：type>std:：async（_Fn&&，_Args&&…）[with_Fn=std:：launch；_Args={}]"：a.cpp:13:88：此处必填/usr/include/c++/4.8/foreth:1543:5:错误："class std:：result_of"中没有名为"type"的类型

问题是，要将第二个参数传递给std::async，编译器必须将表达式&std::accumulate转换为函数指针，但它不知道您想要函数模板的哪种特殊化。对于人类来说，很明显你想要一个可以用async的剩余参数调用的，但编译器不知道这一点，必须分别评估每个参数。

作为PiotrS答案是，您可以通过显式模板参数列表或使用强制转换来告诉编译器您想要哪个std::accumulate，或者您也可以只使用lambda表达式：

std::async(std::launch::async,[&] { return std::accumulate(v.begin(), v.end(), 0.0); });

在lambda的主体中，编译器为对std::accumulate的调用执行重载解析，从而确定要使用哪个std::accumulate。

您必须通过显式传递模板参数或使用static_cast来消除可能的实例化之间的歧义，因此：

auto r0 = std::async(std::launch::async
                     , &std::accumulate<decltype(v.begin()), double>
                     , v.begin()
                     , v.end()
                     , 0.0);

或：

auto r0 = std::async(std::launch::async
       , static_cast<double(*)(decltype(v.begin()), decltype(v.end()), double)>(&std::accumulate)
       , v.begin()
       , v.end()
       , 0.0);
相关文章：