C++模板函数指针绑定原理及合法性疑问

先贴出你的代码供参考：

template <typename T>
T funcC(int a, double b) {
    return a + b;
}

int main() {
    int (*anythingInt)(int, double) = &funcC;
    double (*anythingDouble)(int, double) = &funcC;
    
    // 示例调用结果
    int resInt = anythingInt(20, 9.5);  // 得到29
    double resDouble = anythingDouble(20, 9.5);  // 得到29.5
    return 0;
}

代码是否合法？ #

完全合法，这是C++标准明确允许的行为。模板函数本身不是可执行的代码实体，但编译器会根据上下文自动生成对应的实例化版本。

背后的机制：模板参数推导 #

你疑惑的“不用显式指定类型就能赋值”，核心是模板参数推导规则在起作用：

• 当你把&funcC赋值给int (*)(int, double)类型的指针时，编译器会匹配这个指针的签名：它需要一个“入参是int+double、返回值是int”的函数。
• 编译器会自动把模板函数funcC的模板参数T推导成int，生成对应的实例化函数int funcC(int, double)——这个实例的类型和函数指针完全匹配，所以赋值成立。
• 同理，赋值给double (*)(int, double)指针时，编译器推导T=double，生成double funcC(int, double)实例，同样匹配指针类型。

额外补充两点：

• 模板名funcC不是真正的函数名，只有当它出现在需要具体函数类型的语境（比如赋值给函数指针、直接调用）时，编译器才会触发推导，生成对应的实例。
• 推导过程严格匹配类型：这里函数指针的参数类型和模板函数的参数列表完全一致，所以只需要推导返回值类型T。如果参数类型不匹配（比如函数指针是int (*)(double, int)），推导会直接失败，编译器报错。

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