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

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

本文关键字：函数 apply std 调用 为什么 lambda      更新时间：2023-10-16

以下代码片段(在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 的调用，但不能推断对模板函数的调用？这是预期的行为吗？如果是，为什么？

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

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

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

struct p
{
auto operator()(auto... args)
{ return (... * args); }
};
相关文章：