模板特化允许针对特定类型提供特定实现。规则包括：存在完全匹配特化时，使用该特化。存在部分匹配特化时，使用该特化。不存在特化时，使用主模板。完全特化优先于部分特化。完全特化可重载，但部分特化和主模板不能。
C++ 泛型编程中的模板特化规则
模板特化允许我们为模板类或函数提供特定的实现，而不是将其应用于所有类型。这提供了更高的灵活性、效率和可读性。
规则：
立即学习“C++免费学习笔记（深入）”；
- 如果存在完全匹配模板参数的明确特化，编译器将使用该特化。
- 如果不存在完全匹配的特化，编译器将使用部分特化（仅指定部分模板参数）。
- 如果不存在完全或部分特化，编译器将使用主模板（未指定任何模板参数）。
- 完全特化优先于部分特化。
- 多个完全特化可以重载，但部分特化和主模板不能重载。
实战案例：
考虑以下模板函数，用于将两个元素交换：
template<typename T>
void swap(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}我们可以为特定类型创建完全特化，例如 int：
template<>
void swap(int& a, int& b) {
a ^= b;
b ^= a;
a ^= b;
}当我们调用 swap 时，编译器会根据传入的参数类型选择最匹配的特化：
int x = 1, y = 2; // 调用完全特化的 swap 函数 swap(x, y); // x = 2, y = 1
其他规则：
- 模板特化可以接受默认模板参数值。
- 特化可以被进一步特化，形成特化层次。
- 特化可以适用于类和函数模板。
