函数作为模板实参：显式传递的编译失败问题解析

先把涉及的代码都列出来，方便对照分析：

基础函数：

int id(int x) { return x; }

✅ 可以正常编译的代码：

template <typename F> int f2(F f, int x) { return f(x); }
int id2(int x) { return f2(id, x); }

❌ 编译失败的代码：

template <typename F> int f1(int x) { return F(x); }
int id1(int x) { return f1<id>(x); }

问题核心原因 #

矛盾点在于模板参数的类型要求不匹配：

1. 先看能编译的f2：
   这里的模板参数F是编译器通过传入的实参id自动推导出来的。id是一个函数，它的类型是int(*)(int)（指向接受int返回int的函数指针），编译器能自动把F推导为这个函数指针类型，f(x)本质是调用指针指向的函数，完全合法。

2. 再看编译失败的f1<id>(x)：
   你写的template <typename F>明确要求F是一个类型，但你传递的id是一个具体的函数实体（是个值），根本不是类型！F(x)这种写法是把F当成类型来使用——要么是调用类的构造函数，要么是实例化函数类型，但id只是个函数对象，不是类型，编译器自然会报错。

两种可行的修正方案 #

方案一：传递正确的类型给模板参数

既然F要求是类型，那我们就传入id对应的函数类型/函数指针类型：

// 传入函数指针类型
int id1(int x) { return f1<int(*)(int)>(x); }
// 或者用decltype直接获取id的类型
int id1(int x) { return f1<decltype(id)>(x); }

注意此时f1的实现需要调整为可调用该类型的写法，比如：

template <typename F> int f1(int x) { return F{}(x); }

方案二：改用非类型模板参数

如果想直接把id作为模板参数传入，需要将模板参数声明为非类型参数，直接接受函数指针值：

// 模板参数是指向int(int)类型函数的指针
template <int(*F)(int)> int f1(int x) { return F(x); }
int id1(int x) { return f1<id>(x); }

此时F是一个非类型模板参数，接受具体的函数指针值，id可以隐式转换为对应指针类型，编译就能正常通过。

一句话总结 #

typename F要求模板参数是类型，但你传入的id是个函数值，类型不匹配导致编译失败；而f2能工作是因为编译器帮你自动推导了函数对应的指针类型作为模板参数。

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