模板特化不是重载，必须与主模板签名完全一致（参数类型、数量、cv限定符），仅返回类型不同会导致非法重定义；类模板全特化常见且安全，函数模板全特化应避免，推荐用constexpr if或SFINAE替代。
模板特化不是重载，不能只改返回类型
直接写两个 template<typename T> void foo(T) 和 template<> void foo<int>(int) 看似合理，但若仅靠返回类型不同（比如一个返回 int，一个返回 void），编译器会报错：这不是特化，是非法重定义。C++ 要求显式特化必须和主模板的签名完全一致（参数类型、数量、cv 限定符），否则不被识别为特化。
- 特化必须用
template<>开头，且类型实参要完整写出，比如template<> struct MyTrait<std::string> - 函数模板的全特化允许，但实践中更推荐用
constexpr if（C++17）或 SFINAE（C++11/14）来分流逻辑，避免特化爆炸 - 类模板特化更常见也更安全，比如为
bool提供紧凑存储的std::vector<bool>就是典型全特化
全特化必须在主模板定义之后、首次实例化之前声明
把 template<> struct Hash<const char*> 写在 template<typename T> struct Hash 定义前，或者写在某个 Hash<int> 已被使用的 .cpp 文件里，都会触发链接错误或 ODR 违反。编译器要么找不到特化，要么发现多个翻译单元里定义不一致。
- 类模板全特化应放在头文件中，紧随主模板定义之后
- 函数模板全特化建议避免；若必须用，确保它在所有包含该头文件的 TU 中可见且唯一
- 偏特化（
template<typename T> struct Hash<T*>）只适用于类模板，函数模板不支持偏特化
用 constexpr if 替代大量函数特化更灵活
为 std::vector<int>、std::string、int* 各写一个函数特化，维护成本高且无法处理用户自定义类型。C++17 的 constexpr if 在编译期分支，逻辑集中、可读性强，还能配合 std::is_same_v 或概念（C++20）做精准匹配。
template<typename T>
auto process(T&& x) {
if constexpr (std::is_same_v<std::decay_t<T>, std::string>) {
return x.length();
} else if constexpr (std::is_integral_v<T>) {
return x * 2;
} else {
return static_cast<int>(x);
}
}-
constexpr if分支未命中的代码不会参与编译，不存在未定义行为风险 - 比特化更容易扩展：加新类型只需改一个函数，不用新增特化声明+定义
- 注意：
if constexpr必须出现在函数模板内部，不能用于命名空间作用域
特化时小心 const/volatile 和引用折叠
声明 template<> void bar<int&&>(int&&) 特化，但调用 bar(42) 却匹配不到——因为字面量 42 是纯右值，推导出的类型是 int，不是 int&&。模板参数推导对引用类型有特殊规则，而特化是精确匹配。
立即学习“C++免费学习笔记（深入）”；
- 写特化前，先用
static_assert打印decltype(x)确认实际类型，比如static_assert(std::is_same_v<decltype(x), int&&>); - 对指针、const 限定类型特化时，注意
const char*和char* const是不同类型 - 万不得已才特化引用类型；多数场景用转发引用
T&&+std::forward更通用
真正难的不是写出语法正确的特化，而是判断「这里到底该用特化、constexpr if、SFINAE 还是概念约束」——类型分支逻辑越复杂，越容易掉进匹配优先级或 ODR 的坑里。
