Question

以下代码片段（在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>&)'
}

为什么申请成功推断出对lambda的调用而不是对模板函数的调用？这是预期的行为，如果是，为什么？

Answer 1

两者之间的区别在于p是一个函数模板，而q - 一个普通的lambda - 几乎是一个带有模板化调用运算符的闭包类。

尽管所述调用运算符的定义与p定义非常相似，但闭包类根本不是模板，因此它不会以模板参数解析的方式保留std::experimental::apply。

可以通过将p定义为仿函数类来检查：

struct p
{
   auto operator()(auto... args)
   { return (... * args); }
};

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

1 个答案: