C++ 为什么std::apply可以调用lambda而不是等效的模板函数?
下面的代码片段(在OS X上使用gcc 6.3.0和-std=c++17编译)演示了我的难题:C++ 为什么std::apply可以调用lambda而不是等效的模板函数?,c++,templates,lambda,c++17,C++,Templates,Lambda,C++17,下面的代码片段(在OS X上使用gcc 6.3.0和-std=c++17编译)演示了我的难题: #include <experimental/tuple> template <class... Ts> auto p(Ts... args) { return (... * args); } int main() { auto q = [](auto... args) { return (... * args); }; p(1,2,3,4); /
#include <experimental/tuple>
template <class... Ts>
auto p(Ts... args) {
return (... * args);
}
int main() {
auto q = [](auto... args) {
return (... * args);
};
p(1,2,3,4); // == 24
q(1,2,3,4); // == 24
auto tup = std::make_tuple(1,2,3,4);
std::experimental::apply(q, tup); // == 24
std::experimental::apply(p, tup); // error: no matching function for call to 'apply(<unresolved overloaded function type>, std::tuple<int, int, int, int>&)'
}
#包括
模板
自动p(Ts…args){
返回(…*args);
}
int main(){
自动q=[](自动…参数){
返回(…*args);
};
p(1,2,3,4);//==24
q(1,2,3,4);//==24
auto tup=std::make_tuple(1,2,3,4);
标准::实验::应用(q,tup);/==24
std::experimental::apply(p,tup);//错误:调用“apply(,std::tuple&)”时没有匹配的函数
}
为什么应用程序可以成功地推断对lambda的调用而不是对模板函数的调用?这是预期的行为吗?如果是,原因是什么?两者之间的区别在于
p
是一个函数模板,而q
-一个通用lambda-几乎是一个带有模板化的调用操作符的闭包类
尽管所述调用运算符的定义与p
定义非常相同,但闭包类根本不是模板,因此它不会停留在std::experimental::apply
的模板参数解析方式中
这可以通过将p
定义为函子类来检查:
struct p
{
auto operator()(auto... args)
{ return (... * args); }
};
可能重复?该问题指的是将模板函数传递给另一个函数——该问题指的是对通用lambda(有效)和模板函数(无效)使用apply。“该问题指的是将模板函数传递给另一个函数”,如传递
p
(函数模板)要应用(另一个函数(模板))…?这个问题的答案并没有解释为什么functor类可以工作,也没有提到泛型labmda与functor类是同一件事,但除此之外是的,就是这样是的,它工作得很好。感谢您清楚地阐明了通用lambda函数和模板函数之间的区别——这将是未来一个有用的工具。