c++ - 可变参数模板 lambda 参数的模板推导

Question

给定以下可变参数模板：

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

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

现在，当fun使用 lambda 调用时，我需要明确指定所有 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.0and进行编译-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);
}

这样，编译器可以选择在调用站点调用哪个重载，而不是在+运算符内部。正如评论中所说，+无论如何都没有为通用 lambda 定义运算符。

---

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);
}