使用接受指针引用的函数作为参数的C++模板函数编译错误

你遇到的核心问题是指针类型的const修饰位置混淆，导致函数签名不匹配：

1. 当调用TestF<int>(IntNormal)时：

   • 模板参数T=int，因此TestF的参数要求是int(*)(const int&)
   • IntNormal的签名正好是int(const int&)，完全匹配，所以编译通过。

2. 当调用TestF<int*>(IntPointer)时：

   • 模板参数T=int*，此时const T&中的const是修饰T本身的，也就是int* const&（含义：对一个不可修改的int指针的引用，指针本身不能变，但指向的int值可以改）
   • 但IntPointer的签名是int(const int*&)（含义：对一个指向不可修改int的指针的引用，指针本身可以改，但指向的int值不能变）
   • 这两个函数类型完全不兼容，所以编译器报错。

至于错误信息里显示的T=const int*，是因为编译器在发现你显式指定的T=int*不匹配后，尝试自动推导模板参数：如果把T设为const int*，那么const T&就等价于const int*&，刚好和IntPointer的签名匹配，但你已经显式指定了T=int*，所以编译器无法使用这个推导结果，只能报错。

根据你的需求，有几种可行的解决方式：

方式1：调整模板参数的含义，让const修饰指针指向的类型 #

如果你希望TestF接受的函数参数是「指向const类型的指针的引用」，可以修改模板的参数声明：

template <typename T>
void TestF(int(*func)(const T*&)) {

}

// 调用时，传入指针的指向类型int即可
int main() {
    TestF<int>(IntPointer); // 正常编译
    return 0;
}

方式2：修改IntPointer的签名，匹配模板要求 #

如果你想保留原模板结构，把IntPointer的参数改成int* const&：

int IntPointer(int* const& x) {
    return *x;
}

// 此时原调用即可正常编译
int main() {
    TestF<int*>(IntPointer); // 正常编译
    return 0;
}

方式3：让编译器自动推导模板参数 #

去掉显式的模板参数指定，让编译器自动推导合适的T：

int main() {
    TestF(IntPointer); // 编译器自动推导T=const int*，匹配签名
    return 0;
}

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