c++ - 模板函数可以推导出 lambda 的参数吗？

Question

采用函数指针的模板函数可以像这样推导该函数指针的参数:

template<class... Args>
void func(void (*ptr)(Args&& ...)) {
    //Do something useful knowing the Args...
}

你能用 lambda 作为参数做同样的事情吗？无需求助于 std::function 或编写像 function_traits 这样的元编程特征类？即仅使用函数推导参数。

Answer 1

不，那是不可能的。模板参数推导只能推导类型、常量和作为参数类型“组合”部分的模板，例如从 推导 void 和 Args... >void(*)(Args&&...) 如您的示例所示，或从 T(&)[N] 推导出 T 和 N 。它无法推断出任何未出现在类型中的内容。

对于非多态 lambda 类型 T，&T::operator() 的类型包含有关 lambda 参数类型的可推导信息。但是 T 本身没有。