条款25:考虑写出一个不抛异常的swap函数,中提到了模板的全特化,很遗憾,我又没有听过。
全特化:就是全部特化,即针对所有的模板参数进行特化。
偏特化:就是部分特化,即针对部分模板参数进行特化。
#include <iostream>
using namespace std;
template <class T>
T mymax(const T t1, const T t2)
{
return t1 < t2 ? t2 : t1;
}
template <>
const char* mymax(const char* t1, const char* t2)
{
return (strcmp(t1, t2) < 0) ? t2 : t1;
}
int main()
{
int highest = mymax(5, 6); //mymax(5,10)解析出模板函数参数为int。
char c = mymax('a', 'z'); //mymax(‘a’, ’z’)解析出模板函数的参数为char
cout << highest << endl;
cout << c << endl;
//const char* p2 = "world";
const char* p1 = "hello";
const char* p2 = "world";
const char* p = mymax(p1, p2); //此时mymax直接比较两个指针p1 和 p2 而不是其指向的内容
cout << &p1 << endl;
cout << &p2 << endl;
cout << p << endl;
}
注意:
1.虽然你可以全特化类模板中的成员函数,但是你不能偏特化他们;
2.你不能偏特化命名空间级别(namespace-level)的函数(non-member).最接近"命名空间级别模板函数"的偏特化机制就是函数重载,那就意味着你对"函数参数"(而非返回值类型或内部所用类型)有很精致的特化能力;
3.特化或全特化时,template后面的尖括号中不带任何内容;
总结:
模板特化/全特化是指给每一个模板参数一个具体的类型,以具体实现这个模板,而且template后面的尖括号中不带任何内容;
模板偏特化是指只给部分模板参数一个具体的类型,来实现这个模板;