全特化就是全部特化,即针对所有的模板参数进行特化。《c++ primer》
注意:
1.虽然你可以全特化类模板中的成员函数,但是你不能偏特化他们;
2.你不能偏特化命名空间级别(namespace-level)的函数(non-member).最接近"命名空间级别模板函数"的偏特化机制就是函数重载,那就意味着你对"函数参数"(而非返回值类型或内部所用类型)有很精致的特化能力;
3.特化或全特化时,template后面的尖括号中不带任何内容;
总结:
模板特化/全特 化是指给每一个模板参数一个具体的类型,以具体实现这个模板,而且 template后面的尖括号中不带任何内容 ;
模板偏特化是指只给部分模板参数一个具体的类型,来实现这个模板;
偏特化就是部分特化,即针对部分模板参数进行特化。《c++ primer》
其形式分别为:
template<class U,class T>
class C{};
全特化:
template<>
class C<int,char>{};
template<class U,class T>
class C{};
偏特化:
template<class U>
class C<U,int>{};
#include <iostream>
using namespace std;
template <class T>
T mymax(const T t1, const T t2)
{
return t1 < t2 ? t2 : t1;
}
/**
* @brief 需要全特化的情况,当原来定义的模板类型对于一些特殊的输入不满足时
* 就需要特化,比如这里定义的函数模板对指针的输入,仅仅比较两个指针
* 而不是其内容。就需要特化
*/
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后面的尖括号中不带任何内容 ;
模板偏特化是指只给部分模板参数一个具体的类型,来实现这个模板;
推荐博客:http://blog.csdn.net/peter_teng/article/details/9698977