C++调用Choice函数模板报错：无匹配的函数模板实例

你遇到的这个「no instance of function template "Choice" matches the argument list」错误，核心原因是Choice函数模板中定义的Sort函数指针参数类型，和你传入的Interchange函数的类型完全不匹配。

咱们来拆解一下问题：
看你定义的Choice函数模板：

template <class T>
void Choice(T a[], int n, bool(*Cmp)(T, T), void(*Sort)(T*, int, bool*)) {
    Sort(a, n, Cmp);
}

这里第四个参数Sort被声明为一个函数指针，它的第三个参数是bool*（布尔类型的指针）。但你实际传入的Interchange函数，它的第三个参数是bool(*Cmp)(T, T)——这是一个「接收两个T类型参数、返回bool值」的函数指针，和bool*完全是两种不同的类型，编译器找不到对应的模板实例，自然就报错了。

修正方案 #

把Choice函数中Sort参数的第三个参数类型，改成和Interchange（以及Insertion）一致的函数指针类型即可。

直接修正版本

修改Choice函数的参数定义：

template <class T>
void Choice(T a[], int n, bool(*Cmp)(T, T), void(*Sort)(T*, int, bool(*)(T, T))) {
    Sort(a, n, Cmp);
}

更易读的版本（推荐）

可以先通过using定义一个函数指针类型别名，让代码结构更清晰：

// 先定义通用的比较函数指针类型
template <class T>
using CompareFunc = bool(*)(T, T);

template <class T>
void Choice(T a[], int n, CompareFunc<T> Cmp, void(*Sort)(T*, int, CompareFunc<T>)) {
    Sort(a, n, Cmp);
}

修正之后，你调用Choice<int>(a, 4, &IsBigger, &Interchange)就能正常匹配模板了，因为此时Sort参数的类型和Interchange的函数签名完全一致。

另外提个小细节：你的Insertion函数里x = a[i];可以改成T x = a[i];，这样能保证模板对所有T类型都通用，避免潜在的类型问题。

内容的提问来源于stack exchange，提问作者Huỳnh Lương Phương Trúc