模板特化是优先选择更具体的版本，泛型版本仍存在但不被选中；全特化必须用template<>并显式指定所有类型，语法缺一不可。
模板特化不是“覆盖”，而是让编译器在实例化时**优先选择更具体的版本**。只要语法合法、声明可见、匹配精确，泛型版本就自然退居二线——它不会被修改或删除，只是不被选中。
全特化必须写成 template 并显式指定所有类型
这是硬性语法要求，缺一不可。比如你有个通用打印函数：
template<typename T>
void print(const T& v) { std::cout << v << "\n"; }
想让它对 const char* 输出字符串内容而非地址，就得这样写全特化：
template<>
void print<const char*>(const char* const& v) {
std::cout << (v ? v : "(null)") << "\n";
}
-
template开头不能省，哪怕尖括号里空着 -
print<const char></const>中的类型必须和主模板参数展开后完全一致：主模板是const T&，T 代入const char*后就是const char* const&，特化参数也得这么写 - 如果写成
void print(const char* v)，编译器会当作重载函数，而不是特化，行为不可控
类模板偏特化只允许用于类，函数模板不行
你想为“所有指针类型”定制逻辑？函数模板不能偏特化，这是 C++ 标准禁止的。下面这段代码直接报错：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
// ❌ 非法！C++ 不允许函数模板偏特化
template<typename T>
void process(T* ptr) { /* ... */ }
正确做法是用类模板 + 偏特化 + 静态成员函数封装：
template<typename T>
struct processor {
static void run(const T& x) { /* 通用逻辑 */ }
};
<p>template<typename T>
struct processor<T<em>> {
static void run(T</em> ptr) { /<em> 指针专用逻辑 </em>/ }
};</p><p>// 使用时：
processor<int*>::run(ptr);
- 偏特化类模板必须保留至少一个未绑定参数，否则就是全特化
- 两个偏特化若都能匹配同一类型（如
processor<const int></const>同时匹配T*和const T*），编译器会报ambiguous partial specialization
特化版本必须在首次使用前声明，且在同一作用域
如果你把特化写在 .cpp 文件里，而调用点在另一个翻译单元，链接时大概率找不到特化实现——因为模板特化不是普通函数，它依赖于 ODR（One Definition Rule）一致性。
- 所有特化（包括全特化和偏特化）都该放在头文件中，和主模板一起暴露给所有使用者
- 如果主模板在命名空间
ns内，特化也必须在ns内，不能在全局或子命名空间里写 - 特化顺序无关紧要，但声明必须出现在任何实例化之前；否则编译器会用泛型版本生成代码，后续再看到特化也无济于事
真正容易被忽略的是 cv 修饰符的逐字匹配：int*、int* const、const int*、const int* const 是四种完全不同的类型，各自需要独立特化，漏掉任何一个，那个类型就会回落到泛型版本——而且往往静默出错，直到运行时才发现行为异常。
