以下代码片段(在 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); }
};
关于c++ - 为什么 std::apply 可以调用 lambda 而不是等效的模板函数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42826184/