函数指针参数的可变模板参数推导

Question

我正在尝试设计一个函数，它可以接受任意数量的返回不同类型的函数指针。我怎样才能让h编译？

#include <string>

template<typename T, typename U>
void g(T(*f1)(void) -> T, U(*f2)(void) -> U) {
}

template<typename ...T>
void h(T(*f)(void) -> T...) {
}

int main(int argc, char** argv) {
  g(
    +[]() -> int { return 123; },
    +[]() -> std::string { return "321"; }
  );

  h(
    +[]() -> int { return 123; },
    +[]() -> std::string { return "321"; }
  );
}

完全有可能我在这里真的很愚蠢。是参数扩展我做错了，还是别的什么？

Answer 1

您不需要在g和f声明中使用尾随的返回类型，而且...在错误的位置。

固定版本：

#include <string>

template<typename T, typename U>
void g(T(*f1)(void), U(*f2)(void)) {
}

template<typename ...T>
void h(T(*...f)(void)) {
}

int main(int argc, char** argv) {
  g(
    +[]() -> int { return 123; },
    +[]() -> std::string { return "321"; }
  );

  h(
    +[]() -> int { return 123; },
    +[]() -> std::string { return "321"; }
  );
}