函数模板的特化、偏特化以及优先级

先看如下示例代码，展示了函数重载、基础模板函数、偏特化模板函数（实际上不支持）和全特化模板函数：

#include <iostream>
using namespace std;

template <typename T>
void fun(T a) {
	cout << a << " Base Template" << endl;
}

//函数模板不允许使用偏特化，无法通过编译
//template<typename T>
//void fun<T*>(T* a) {
//	cout << a << " T* partial specialized" << endl;
//}

//使用模板函数重载代替模板函数偏特化
template<typename T>
void fun(T* a) {//没有了<T*>
	cout << a << " T* partial specialized" << endl;
}

//模板函数的全特化，可以通过编译
template <>
void fun<int>(int a) {
	cout << a << " int complete specialized" << endl;
}
//实际上函数模板的全特化也不被推荐，可以直接用函数重载代替，匹配优先级高于全特化
void fun(int a) {
	cout << a << " function overload" << endl;
}

int main() {
	int a=0;
	char b='b';
	int * p = &a;
	fun(b);
	fun(a);
	fun(p);
	return 0;
}

输出：

匹配规则：

(1) 普通函数，如果类型匹配，优先选中，重载解析结束；（也就是重载的优先级高于所有模板）

(2) 如果没有普通函数匹配，那么所有的基础函数模版进入候选，编译器开始平等挑选，类型最匹配的，则被选中，注意，此时才会进入第(3)步继续筛选；

(3) 如果第(2)步里面选中了一个模版基础函数，则查找这个模版基础函数是否有全特化版本，如果有且类型匹配，则选中全特化版本，重载解析结束，否则使用(2)里面选中的模版函数，重载解析依然结束。

(4) 如果第(2)步里面没有选中任何函数基础模版，那么匹配失败，编译器会报错，程序员需要检查下代码。

 

总结：

• 函数模板不允许使用偏特化，如有需求，改成模板函数的重载
• 函数模板的全特化也不推荐，如有需求，直接使用函数重载。
• 函数模板的全特化也不是一无是处，比如：std命名空间不允许增添任何新的函数重载，但是可以增添模板函数的全特化，Effective_C++_条款二十五： 考虑写出一个不抛出异常的swap函数就是一个例子。详见：https://blog.csdn.net/songchuwang1868/article/details/91350392