1.问题

我想比较一个int类型和char类型（将char类型-'0'）后进行比较，写了如下代码，
但是报错 [Error] template-id 'Compare_ab<>' for 'bool Compare_ab(int&, char&)' does not match any template declaration
代码如下

template<class T>
bool Compare_ab(T &a, T &b){
    if (a == b) return true;
    else return false;
}

template<>
bool Compare_ab(int &a, char &b){
    int temp = b - '0';
    if (a == temp) return true;
    else return false;
}

2.解决

模板特化首先必须要有一个基础的函数模板！！！
这里的是一个拥有两个不同类型参数的全特化模板，我们之前写的第一个基础模板只能匹配单种类型的特化模板，
如果这里想操作，必须在设置一个拥有两个不同类型参数的基础模板

template<class T>
bool Compare_ab(T &a, T &b){
    if (a == b) return true;
    else return false;
}

template<typename T, typename U>
bool Compare_ab(T &a, U &b){
    if (a == b) return true;
    else return false;
}

/* 模板特化首先必须要有一个基础的函数模板！！！ */
/* 全特化模板中若出现两个不同的参数类型，就不能用第一个模板了，那是针对一种类型的，需要另外设置一个基础模板*/
template<>
bool Compare_ab(int &a, char &b){
    int temp = b - '0';
    if (a == temp) return true;
    else return false;
}