为什么std :: apply可以调用一个lambda，但不能使用等价的模板函数？
下面的代码片段（在OS X上用-std = c ++ 17编译使用gcc 6.3.0）演示了我的难题：
#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的调用，而不是对模板函数的调用？ 这是预期的行为，如果是这样，为什么？
两者之间的区别在于p是一个函数模板，而q - 一个通用的lambda - 几乎是一个带有模板调用操作符的闭包类。
虽然所述调用操作符的定义与p定义非常相似，但闭包类根本不是模板，因此它不会停留在std::experimental::apply的模板参数解析方式中。
这可以通过将p定义为函子类来检查：
struct p
{
auto operator()(auto... args)
{ return (... * args); }
};
上一篇: Why can std::apply call a lambda but not the equivalent template function?