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

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>&)'
}

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

Answer 1

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

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

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

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