可变模板lambda参数的模板推导

Question

给定以下各种模板：

template<typename... Params>
void fun(void(*f)(Params...), Params... params) {
  f(params...);
}

int main() {
  fun(+[](int a, int b) {}, 2, 3);
}

现在，当使用lambda调用fun时，我需要显式地指定所有lambda参数的类型。这似乎是多余的，因为int, int可以从2, 3中推断出来。有没有办法使它更加简洁和自动？

我想让以下几点发挥作用，但事实并非如此：

template<typename... Params>
void fun(void(*f)(Params...), Params... params) {
  f(params...);
}

int main() {
  fun(+[](auto a, auto b) {}, 2, 3);
}

我正在用g++ 5.4.0和-std=c++14编译。

Answer 1

通过T而不是指针来获取函数：

template<typename T, typename... Params>
void fun(T f, Params... params) {
  f(params...);
}

int main() {
  fun([](auto a, auto b) {}, 2, 3);
}

这样，编译器可以选择哪些重载是调用站点的权限，而不是在+操作符中调用。正如注释中所说的，无论如何都没有为泛型lambdas定义+操作符。

或者，您可以通过使用标识别名来禁用编译器试图从函数指针推断Params，但我并不推荐它为。不管怎样，给你：

template<typename T>
struct identity { using type = T; };

template<typename T>
using identity_t = typename identity<T>::type;

template<typename... Params>
void fun(void(*f)(identity_t<Params>...), Params... params) {
  f(params...);
}

int main() {
  //  v----- no unary +. That operator is not defined for generic lambdas.
  fun([](auto a, auto b) {}, 2, 3);
}