模板特殊化(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，虽然它与通用模板中的构造函数是一样的）。这样做的原因就是特殊化不会继承通用模板的任何一个成员。