C++模板中auto返回类型函数指针无法推导前置类型参数的问题

原版本能正常工作的逻辑 #

你最初编写的模板：

template <typename T, void (*Func)(T)>
struct foo { void bar(T t) { Func(t); } };

这里第二个非类型模板参数的类型是结构完全明确的固定形式：指向“返回void、接收一个T类型形参”的函数指针。推导流程非常直接：

• 实例化时显式指定T为int，编译器立刻把所有出现T的位置替换成int，得到完整的形参类型void (*)(int)
• 直接和传入的returnsVoid（真实类型为void(int)）做类型匹配，完全对齐，没有额外推导步骤，自然能正常编译。

换成auto返回类型后触发报错的根本原因 #

当你把返回值替换成auto之后，模板变为：

template <typename T, auto (*Func)(T)>
struct foo {
    void bar(T t) { Func(t); }
};

这里的关键差异是：非类型模板参数的类型里出现了占位符auto，而C++17标准对这种带占位符的非类型形参的推导规则，存在明确的优先级要求：

• 带占位符的类型推导优先级最高，会优先于显式模板实参的绑定流程执行。当编译器看到auto (*Func)(T)这个类型时，不会先拿你显式传入的T=int去替换类型中的T，反而会把整个类型表达式当成一个独立的推导单元，要求从传入的实参（也就是returnsVoid）出发，一次性把两个未知量全部推导出来：
  • 推导auto占位符的实际类型
  • 推导函数形参位置的模板参数T的实际类型
• 这种同一推导单元内同时推导占位符auto和模板参数T的场景，在C17的规则下是不被支持的。因为占位符设计的初衷，是让编译器直接从实参类型中提取auto对应的类型，不依赖其他模板参数的推导结果；但你把auto和T放在同一个函数签名里，等于让推导流程形成了循环依赖，编译器无法确定哪个参数应该先完成绑定。
  你看到的报错“mismatched types ‘T’ and ‘int’”，本质就是编译器在处理auto推导时，临时搁置了你显式指定的T=int，把T当成了待推导的未知量，最后在匹配时发现两边的绑定关系和预期不一致。
  你当前使用的g9.3、clang10的C17实现，尚未支持这种跨参数的同单元推导逻辑，因此会触发报错；后续C20标准对这部分推导规则做了放宽，允许在同一个函数签名内同时推导占位符auto和其他模板参数，新版编译器开启C++20模式后就能直接编译这段代码。

可行的解决方法 #

如果需要兼容C++17版本的编译器，可以调整模板结构，避开auto和T在同一非类型形参类型内的推导依赖：

template <typename T, typename FuncSig, FuncSig Func>
struct foo;

// 针对任意返回值、形参为T的函数指针做部分特化
template <typename T, typename Ret, Ret (*Func)(T)>
struct foo<T, Ret(T), Func> {
    void bar(T t) { Func(t); }
};

// 实例化方式
int main() {
    foo<int, decltype(returnsVoid), returnsVoid> a;
}

这种写法把Func的完整函数类型作为独立的类型模板参数传入，不需要在非类型形参的位置嵌入auto占位符，完全绕开了之前的推导优先级冲突，同时保留了“支持任意返回类型的函数指针”的能力。 #

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