模板参数包适配可变参数函数指针时的编译错误原因排查

原有模板函数：

template<typename Ret, typename Arg, Ret Func(Arg)> void foo() {
  // do something with Ret and Arg
}

以及普通函数：

int bar(float a) { return 0; }

此时语句 foo<int, float, &bar>; 可正常编译。

将模板改为可变参数版本以支持任意参数的函数指针后：

template<typename Ret, typename... Args, Ret Func(Args...)> void foo() {
  // do something with Ret and Args
}

原调用语句无法编译，在MinGW(C++17)中报错：

error: statement cannot resolve address of overloaded function

问题出在模板参数的推导规则限制：

• 当模板参数列表中，可变参数包typename... Args之后还有其他模板参数时，这个参数包属于「非推导上下文」，编译器无法从后续的非类型模板参数Ret Func(Args...)反向推导出Args...的具体类型。
• 你显式指定的int, float无法匹配Ret, Args...的参数结构——因为Args...是参数包，编译器会认为你只指定了Ret=int，而Args...仍未被推导，导致它无法解析&bar的具体函数类型，误判为存在重载函数（实际不存在），从而抛出错误。

调整模板参数的设计逻辑，让编译器能正确推导函数指针的类型：

1. 将函数指针作为函数参数传入（最直观的方式）：

template<typename Ret, typename... Args>
void foo(Ret (*Func)(Args...)) {
  // 操作Ret和Args...
}
// 调用：foo(&bar);

2. 利用C++17的auto非类型模板参数，直接推导函数指针类型，再通过类型萃取提取返回值和参数：

#include <type_traits>

template<auto Func>
void foo() {
  using FuncPtr = decltype(Func);
  // 提取返回值类型
  using Ret = std::result_of_t<FuncPtr>;
  // 提取参数类型包可通过自定义 trait 实现
}
// 调用：foo<&bar>();

内容的提问来源于stack exchange，提问作者csk