全特化必须在首次使用前于头文件中显式声明，类模板全特化需与主模板同作用域，函数模板全特化不参与重载决议且须写 template<>，偏特化仅支持类模板，特化与主模板访问权限不共享，签名须一致，ODR要求特化定义需inline或唯一。
模板全特化必须显式声明，否则编译器不认
你写了 template<> 但还是报错“no matching function”或“undefined reference”，大概率是没在头文件里提前声明全特化版本。C++ 要求：**全特化必须在首次使用前可见**，不能只在 .cpp 里定义。
- 类模板全特化要写在头文件中，和主模板同作用域（不能套在 namespace 里再漏掉）
- 函数模板全特化不能隐式实例化——它不参与重载决议，必须显式写出
template<> void foo<int>(int) - 如果主模板在 A.h，特化写在 B.cpp，那所有包含 A.h 的 TU 都看不到这个特化，链接时就会失败
偏特化只支持类模板，函数模板不行
想对 std::vector<T*> 做偏特化？可以。但写 template<typename T> void process(T*) 并期待它自动替代 process<int*>？不行——函数模板没有偏特化语法，编译器直接忽略。
- 函数模板只能靠重载或全特化来定制行为；偏特化是类模板专属机制
- 常见误操作：把函数偏特化写成
template<typename T> void f(T*)，以为这是“针对指针的偏特化”，其实这只是普通重载 - 真要模拟偏特化效果，得用类模板 +
static成员函数，或者 SFINAE +enable_if
特化和主模板的访问权限不共享
主模板里 private 的成员，在特化版本里不能直接访问，哪怕特化写在同一头文件里。这不是 bug，是标准规定：每个特化都是独立类型。
- 类模板特化后，
private、protected成员完全不可见，连friend关系都不继承 - 如果特化需要访问原模板的内部逻辑，要么把逻辑抽到辅助类/函数，要么在主模板里提供
protected接口（但要注意该接口对所有实例都开放） - 尤其注意 CRTP 场景：基类模板特化后，派生类无法调用基类特化的私有函数
别在特化里改返回类型或参数个数
主模板是 template<typename T> T foo(T)，你特化成 template<> int foo<double>(double)，看着能编，但会破坏调用一致性——用户传 foo(3.14) 时可能意外得到 int，且 IDE 和静态分析工具容易误判。
立即学习“C++免费学习笔记（深入）”；
- 特化应保持签名一致：参数类型、数量、const/volatile 修饰、返回类型都需与主模板可匹配
- 返回类型不一致会导致 ADL 失效、概念约束（C++20 concepts）检查失败
- 若真需要不同行为，优先用
constexpr if或if constexpr分支，而不是靠特化硬切类型
最常被忽略的是特化与 ODR（One Definition Rule）的冲突：同一特化在多个 TU 中定义，哪怕内容完全一样，也必须加 inline（C++17 起）或确保只在一个 TU 中定义。否则链接期随机崩溃不是玄学，是标准允许的未定义行为。
