2.2.1 全特化
全特化即是将模板参数列表中 所有的参数都确定化。
这里举例说明，并不完全写出类中所有功能。
template<class T1, class T2> class Data { public: Data() {cout<<"Data<T1, T2>" <<endl;} private: T1 _d1; T2 _d2; }; template<> class Data<int, char> { public: //这里只是为了更加方便观看结果 Data() {cout<<"Data<int, char>" <<endl;} private: int _d1; char _d2; } int main() { Data<int, int> d1; Data<int, char> d2; }
我们可以看得出，当某种类型需要特殊化处理，我们可以写类模板的特化，来决定这个特化的类模板中的具体功能实现。（当然与原模版实现功能不同）
2.2.3 偏特化
偏特化（半特化）：任何针对模版参数进一步进行条件限制设计的特化版本。
偏特化有以下两种表现方式：
部分特化；
将模板参数类表中的一部分参数特化；
下面我们一起看这两种具体的偏特化方式：
template<class T1, class T2> class Data { public: Data() {cout<<"Data<T1, T2>" <<endl;} private: T1 _d1; T2 _d2; }; //偏特化 // 将第二个参数特化为int template <class T1> class Data<T1, int> { public: Data() {cout<<"Data<T1, int>" <<endl;} private: T1 _d1; int _d2; }; //对参数的进一步限制 //两个参数偏特化为指针类型 template <typename T1, typename T2> class Data <T1*, T2*> { public: Data() {cout<<"Data<T1*, T2*>" <<endl;} private: T1 _d1; T2 _d2; }; //对参数的进一步限制 //两个参数偏特化为引用类型 template <typename T1, typename T2> class Data <T1&, T2&> { public: Data(const T1& d1, const T2& d2) : _d1(d1) , _d2(d2) { cout<<"Data<T1&, T2&>" <<endl; } private: const T1 & _d1; const T2 & _d2; }; void test2 () { Data<double , int> d1; // 调用特化的int版本 Data<int , double> d2; // 调用基础的模板 Data<int *, int*> d3; // 调用特化的指针版本 Data<int&, int&> d4(1, 2); // 调用特化的指针版本 }
4. 模板总结
【优点】
1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生
2. 增强了代码的灵活性
【缺陷】
1. 模板会导致代码膨胀问题，也会导致编译时间变长
2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误
我们下期再见！
