C++ template学习笔记之模板特化

函数模板特化

好处: 针对特殊类型，提供优化的函数

#include <iostream> using namespace std; template<class T> float GetDecimalFraction(T t) { int low = (int)t; return t - low; } //函数模板特化的好处 template<> float GetDecimalFraction(int v) { return 0.0; } void main() { cout << GetDecimalFraction(6.3) << endl; int k = 9; cout << GetDecimalFraction(k) << endl; }

类模板的特化

"你可以用模板实参来特化类模板，和函数模板的重载类似，通过特化类模板，你可以优化基于某种特定类型的实现。或者克服某种特定类型在实例化类模板时出现的不足。 另外如果要特化一个类模板，你还要特化该类模板的所有成员函数。虽然也可以只特化某个成员函数，但这个做法并没有特化整个类，也就没有特化整个类模板。 "

使用类模板物化的好处:

当智能指针的类型为int 时就不用调用析构函数了。

#include <iostream> using namespace std; template<class T> class SmartPtr { public: SmartPtr(T * t); ~SmartPtr(); protected: T * t; }; template<class T> SmartPtr<T>::SmartPtr(T * t) { this->t = t; } template<class T> SmartPtr<T>::~SmartPtr() { delete t; } class Apple { public: ~Apple() { cout << "delete apple" << endl; } }; template<> class SmartPtr<int> { public: SmartPtr(int * t); ~SmartPtr(); protected: int * t; }; SmartPtr<int>::SmartPtr(int * t) //注意:没有template<> { this->t = t; } SmartPtr<int>::~SmartPtr() { //delete t; } void main() { Apple * ap = new Apple; SmartPtr<Apple> apPtr(ap); SmartPtr<int> it = new int(9); }

类模板的局部特化

类模板的局部特化又称为偏特化。

注意偏特化代码是这段

template<class T>

class Compare<T*>

...........................

下面这个例子来源 http://www.cppblog.com/SmartPtr/archive/2007/07/04/27496.aspx #include <iostream> using namespace std; // general version template<class T> class Compare { public: static bool IsEqual(const T& lh, const T& rh) { return lh == rh; } }; // specialize for float template<> class Compare<float> { public: static bool IsEqual(const float& lh, const float& rh) { return abs(lh - rh) < 10e-3; } }; // specialize for double template<> class Compare<double> { public: static bool IsEqual(const double& lh, const double& rh) { return abs(lh - rh) < 10e-6; } }; // specialize for T* template<class T> class Compare<T*> { public: static bool IsEqual(const T* lh, const T* rh) { return Compare<T>::IsEqual(*lh, *rh); } }; void main() { // int int i1 = 10; int i2 = 10; bool r1 = Compare<int>::IsEqual(i1, i2); // float float f1 = 10; float f2 = 10; bool r2 = Compare<float>::IsEqual(f1, f2); // double double d1 = 10; double d2 = 10; bool r3 = Compare<double>::IsEqual(d1, d2); // pointer int* p1 = &i1; int* p2 = &i2; bool r4 = Compare<int*>::IsEqual(p1, p2); }

下面这个例子是我自己写的

#include <iostream> using namespace std; //要求输出相加后的整数部分 template<class T1, class T2> class AddOperation { public: void Add(T1 t1, T2 t2) { cout << "T -- T" << endl; cout << (int)t1 + (int)t2 << endl; // 仅为了说明偏特化问题才这样写 } }; //要求输出相加后的整数部分 template<class T1> class AddOperation<T1, int> { public: void Add(T1 t1, int t2) { cout << "T -- int" << endl; cout << (int)t1 + t2 << endl; // 仅为了说明偏特化问题才这样写 } }; //要求输出相加后的整数部分 template<> class AddOperation<int, int> { public: void Add(int t1, int t2) { cout << "int --- int" << endl; cout << t1 + t2 << endl; // 仅为了说明偏特化问题才这样写 } }; //处理是指针的情况 void main() { AddOperation<float, float> add1; add1.Add(1.3,1.2); AddOperation<float, int> add2; add2.Add(2.6,1); AddOperation<int, int> add3; add3.Add(3,6); }

结果

T -- T

2

T -- int

3

int --- int

9

通过这两个例子，就能清楚地明白类模板的局部特化的好处了。