模板是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)。注意，一个特例化版本的本质是一个实例，而非函数的重载。因此，特例化不影响函数匹配。
