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

Question

以下代码片段（使用 gcc 6.3.0 在 OS X 上使用 -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>&)'
}

为什么apply可以成功推导lambda的调用，但不能推导模板函数的调用？这是预期的行为吗？如果是，为什么？

Answer 1

两者之间的区别在于 p 是一个函数模板，而 q - 一个通用的 lambda - 几乎是一个带有模板 [=22= 的闭包 class ]呼叫运营商。

虽然上述调用运算符的定义与p的定义非常相似，但闭包class根本不是模板，因此它不会停留在std::experimental::apply 的模板参数解析。

这可以通过将 p 定义为函子 class 来检查：

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

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

Why can std::apply call a lambda but not the equivalent template function?

c++

lambda

templates

c++17