模板特殊化(Template specialization)

模板的特殊化是当模板中的pattern有确定的类型时，模板有一个具体的实现。例如假设我们的类模板pair 包含一个取模计算（module operation）的函数，而我们希望这个函数只有当对象中存储的数据为整型(int)的时候才能工作，其他时候，我们需要这个函数总是返回0。这可以通过下面的代码来实现：

// Template specialization #include <iostream.h> template <class T> class pair {     T value1, value2; public:     pair (T first, T second){         value1=first;         value2=second;     }     T module () {return 0;} }; template <> class pair <int> {     int value1, value2; public:     pair (int first, int second){         value1=first;         value2=second;     }     int module (); }; template <> int pair<int>::module() {     return value1%value2; } int main () {     pair <int> myints (100,75);     pair <float> myfloats (100.0,75.0);     cout << myints.module() << '\n';     cout << myfloats.module() << '\n';     return 0; }

25 0

由上面的代码可以看到，模板特殊化由以下格式定义：
template <> class class_name <type>
这个特殊化本身也是模板定义的一部分，因此，我们必须在该定义开头写template <>。而且因为它确实为一个具体类型的特殊定义，通用数据类型在这里不能够使用，所以第一对尖括号<> 内必须为空。在类名称后面，我们必须将这个特殊化中使用的具体数据类型写在尖括号<>中。
当我们特殊化模板的一个数据类型的时候，同时还必须重新定义类的所有成员的特殊化实现（如果你仔细看上面的例子，会发现我们不得不在特殊化的定义中包含它自己的构造函数 constructor，虽然它与通用模板中的构造函数是一样的）。这样做的原因就是特殊化不会继承通用模板的任何一个成员。