模板特化是优先选择更具体的版本，泛型版本仍存在但不被选中；全特化必须用template并显式指定所有类型，语法缺一不可。
模板特化不是“覆盖”，而是让编译器在实例化时**优先选择更具体的版本**。只要语法合法、声明可见、匹配精确，泛型版本就自然退居二线——它不会被修改或删除，只是不被选中。
全特化必须写成 template 并显式指定所有类型
这是硬性语法要求，缺一不可。比如你有个通用打印函数：
template<typename t>
void print(const T& v) { std::cout <p>想让它对 <code>const char*</code> 输出字符串内容而非地址，就得这样写全特化：</p>
<pre class="brush:php;toolbar:false;">template
void print<const char>(const char* const& v) {
std::cout <ul>
<li>
<code>template</code> 开头不能省，哪怕尖括号里空着</li>
<li>
<code>print<const char></const></code> 中的类型必须和主模板参数展开后完全一致：主模板是 <code>const T&</code>，T 代入 <code>const char*</code> 后就是 <code>const char* const&</code>，特化参数也得这么写</li>
<li>如果写成 <code>void print(const char* v)</code>，编译器会当作重载函数，而不是特化，行为不可控</li>
</ul>
<h3>类模板偏特化只允许用于类，函数模板不行</h3>
<p>你想为“所有指针类型”定制逻辑？函数模板不能偏特化，这是 C++ 标准禁止的。下面这段代码直接报错：</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<pre class="brush:php;toolbar:false;">// ❌ 非法！C++ 不允许函数模板偏特化
template<typename t>
void process(T* ptr) { /* ... */ }
</typename>
正确做法是用类模板 + 偏特化 + 静态成员函数封装：
template<typename t>
struct processor {
static void run(const T& x) { /* 通用逻辑 */ }
};
<p>template<typename t>
struct processor<t>> {
static void run(T ptr) { /<em> 指针专用逻辑 </em>/ }
};</t></typename></p>
<p>// 使用时：
processor<int>::run(ptr);
</int></p></typename>
- 偏特化类模板必须保留至少一个未绑定参数，否则就是全特化
- 两个偏特化若都能匹配同一类型（如
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 是四种完全不同的类型，各自需要独立特化，漏掉任何一个，那个类型就会回落到泛型版本——而且往往静默出错，直到运行时才发现行为异常。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
