Warning: file_get_contents(/data/phpspider/zhask/data//catemap/3/templates/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
C++ 为什么std::apply可以调用lambda而不是等效的模板函数?_C++_Templates_Lambda_C++17 - Fatal编程技术网

C++ 为什么std::apply可以调用lambda而不是等效的模板函数?

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); /

下面的代码片段(在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); // == 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函数和模板函数之间的区别——这将是未来一个有用的工具。