模板是C++中一个很重要的特性，写一份代码能用于多种数据类型（包括用户自定义类型）。例如，STL的sort()函数可以用于多种数据类型的排序，类stack可以用作多种数据类型的栈。但是，如果我们想对特定的数据类型执行不同的代码（而不是通用模板）呢？这种情况下可以使用模板特例化（template specialization）。
　　一、函数模板特例化
　　当特例化一个函数模板时，必须为原模板中的每个模板参数都提供实参。使用关键字template后跟一个空尖括号<>，即template <>，以指出我们正在特例化一个模板。

 

template <typename T>
void fun(T a)
{
cout << "The main template fun(): " << a << endl;
}
template <>   // 对int型特例化
void fun(int a)
{
cout << "Specialized template for int type: " << a << endl;
}
int main()
{
fun<char>('a');
fun<int>(10);
fun<float>(9.15);
return 0;
}

　　输出结果：
　　The main template fun(): a
　　Specialized template for int type: 10
　　The main template fun(): 9.15
　　对于除int型外的其他数据类型，都会调用通用版本的函数模板fun(T a)；对于int型，则会调用特例化版本的fun(int a)。注意，一个特例化版本的本质是一个实例，而非函数的重载。因此，特例化不影响函数匹配。