条款25：全特化和偏特化

条款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后面的尖括号中不带任何内容;
模板偏特化是指只给部分模板参数一个具体的类型,来实现这个模板;