模板特化与重载解析按优先级选择函数：非模板函数 > 模板特化 > 通用模板，SFINAE用于排除无效候选，enable_if可条件启用函数，指针版本模板通常更特化而优先生效。
在C++中，模板特化和函数重载解析是泛型编程中的核心机制。它们共同决定了编译器在面对多个候选函数或类模板时，选择哪一个进行实例化。掌握这两者的交互规则，能帮助我们写出更灵活、高效的代码。
模板特化的基本形式
模板特化允许我们为特定类型提供定制实现。分为全特化和偏特化两种。
类模板全特化：针对所有模板参数都指定具体类型的版本。
template<typename T>
struct Box {
void print() { std::cout << "Generic\n"; }
};
<p>// 全特化
template<>
struct Box<int> {
void print() { std::cout << "For int\n"; }
};</p>类模板偏特化：只对部分模板参数进行限定，适用于多个参数的情况。
立即学习“C++免费学习笔记（深入）”；
template<typename T, typename U>
struct Pair {};
<p>// 偏特化：第二个参数为int
template<typename T>
struct Pair<T, int> {};</p>注意：函数模板不支持偏特化，只能全特化或通过重载实现类似效果。
重载解析与模板优先级
当多个函数模板或普通函数可匹配调用时，编译器按以下顺序选择：
- 非模板函数（最优先）
- 函数模板的特化实例
- 通用模板（最次）
例如：
void foo(double) { } // (1) 普通函数
<p>template<typename T>
void foo(T) { } // (2) 通用模板</p><p>template<>
void foo<int>(int) { } // (3) 特化版本</p><p>foo(42); // 调用 (2)，因为 (3) 是特化但未被选为最佳匹配？</p>实际上，调用
foo(42)会匹配通用模板
foo(T)，因为整型到 double 的转换需要隐式转换，而模板可以精确推导为
int。此时 (2) 比 (1) 更优。
关键点：重载解析先做候选集收集，包括所有可见的函数模板及其特化，然后进行最佳匹配判断。普通函数参与竞争，但精确匹配的模板往往胜出。
SFINAE 与启用/禁用模板
Substitution Failure Is Not An Error（SFINAE）是控制重载解析的重要技巧。它允许我们在替换模板参数失败时不报错，而是将该候选从重载集中移除。
常见用途：根据类型特征启用特定函数。
template<typename T>
auto add(const T& a, const T& b) -> decltype(a + b) {
return a + b;
}
如果
T不支持
+，这个模板会被静默排除，不会引发编译错误。
C++11 后可用
std::enable_if显式控制：
template<typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
max(T a, T b) { return a > b ? a : b; }
<p>template<typename T>
typename std::enable_if<!std::is_integral<T>::value, T>::type
max(T a, T b) { /<em> floating-point version </em>/ }</p>两个
max函数通过
enable_if条件互斥，确保只有一个参与重载解析。
避免常见陷阱
模板特化和重载容易引发意料之外的行为。
- 不要在
std
命名空间中随意添加特化，除非原模板声明允许（如自定义类型的哈希）。 - 函数模板不能偏特化，尝试这样做会导致编译错误。
- 类模板特化可以放在命名空间外，但必须与原始模板在同一命名空间。
- 重载解析可能忽略看似“更特化”的模板，因为它依赖于类型推导和匹配等级。
例如，下面代码不会如预期工作：
template<typename T> void func(T); // #1 template<typename T> void func(T*); // #2 <p>int x; func(&x); // 调用 #2？不一定！取决于 T 的推导结果</p>
实际中，#2 可能比 #1 更具特异性，但在重载排序中需通过部分排序规则判定。指针版本通常被认为更特化，因此会被优先选择。
基本上就这些。理解模板特化与重载解析的关键在于熟悉匹配顺序、SFINAE 规则以及编译器如何评估候选函数的“优劣”。多实践典型场景，能有效提升泛型设计能力。
