模板函数和模板类的特例化
在C++中，模板是一种功能强大而灵活的工具，它允许我们编写通用的代码，这些代码可以处理各种不同的数据类型。然而，在某些情况下，我们可能希望对某些特定的数据类型使用特定的代码实现，而不是使用通用的模板。这就是特例化的作用。
函数模板特例化：对于函数模板，我们可以提供特定类型的特例化版本。当这个特定类型的函数被调用时，编译器会优先选择这个特例化版本的函数，而不是通用的模板函数。
// 通用模板函数
template <typename T>
void print(const T& value) {
std::cout << value << "\n";
}
// 特例化版本，用于std::string类型
template <>
void print<std::string>(const std::string& value) {
std::cout << "String value: " << value << "\n";
}
在这个例子中，如果我们调用print(42)，编译器会选择通用模板函数；如果我们调用print(std::string("Hello"))，编译器会选择特例化版本的函数。
类模板特例化：对于类模板，我们也可以提供特定类型的特例化版本。当我们用这个特定类型来实例化这个模板类时，编译器会使用这个特例化版本的类，而不是通用的模板类。
// 通用模板类
template <typename T>
class MyArray {
// ...一些通用的实现...
};
// 特例化版本，用于bool类型
template <>
class MyArray<bool> {
// ...一些针对bool类型的特殊实现...
};
在这个例子中，如果我们写MyArray<int> myIntArray;，编译器会使用通用模板类；如果我们写MyArray<bool> myBoolArray;，编译器会使用特例化版本的类。