函数模板不支持偏特化，仅支持全特化；类模板才支持偏特化，且偏特化参数数量须与主模板一致，未特化参数名不可省略，匹配优先级为全特化＞偏特化＞主模板。
类模板偏特化只适用于类模板，函数模板不行
这是最容易踩的第一个坑：你写 template<typename t> void foo(T)</typename>，然后试图加个 template<typename t> void foo(T*)</typename> —— 编译器直接报错。C++ 标准明确禁止函数模板的偏特化，它只允许全特化（template void foo<int>(int)</int>）。想对指针、引用、容器等模式做“一类类型”的定制，必须用类模板套一层，再在类里放静态函数或可调用对象。
偏特化语法必须和主模板参数数量一致，但部分参数要具体化
比如主模板是 template<typename t typename alloc></typename>，那偏特化就得写成 template<typename t> class MyContainer<t std::allocator>></t></typename>，不能少参数，也不能把 T 也写死（那样就是全特化了）。常见错误包括：
- 漏写未特化的参数名，比如写成
template class MyContainer<t std::allocator>></t>（template是全特化写法） - 把偏特化当成重载，放在不同头文件或不同命名空间里，导致链接时找不到定义
- 偏特化版本里漏掉主模板中有的成员（比如主模板有
size()，偏特化没实现，调用就崩）
偏特化匹配优先级高于主模板，但低于全特化
编译器选哪个版本，看“匹配程度”：全特化 > 偏特化 > 主模板。例如：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename t> struct A { static void f() { cout struct A<t> { static void f() { cout struct A<int> { static void f() { cout <p>那么 <code>A<int>::f()</int></code> 输出 <code>int* full</code>，<code>A<double>::f()</double></code> 输出 <code>pointer</code>，<code>A<:string>::f()</:string></code> 输出 <code>primary</code>。注意：偏特化不能“交叉覆盖”，比如你写了 <code>A<t></t></code> 和 <code>A<:vector>></:vector></code>，那 <code>A<:vector>></:vector></code> 会走主模板，不会自动套两层——C++ 不支持递归偏特化。</p>
<h3>带非类型参数的偏特化要小心常量表达式约束</h3>
<p>像 <code>template<typename t size_t n> struct Array</typename></code> 这种，偏特化时若固定 <code>N</code>，必须确保它是字面量常量（如 <code>10</code>），不能是变量或运行期值。更隐蔽的坑是字符串字面量：</p>
<ul>
<li>
<code>template<const char s> struct Label</const></code> 合法，但 <code>S</code> 必须指向静态存储期地址（比如全局字符串字面量）</li>
<li>
<code>template<:string_view v></:string_view></code> 在 C++20 前非法——<code>std::string_view</code> 不是字面量类型</li>
<li>浮点数非类型参数（如 <code>template<double d></double></code>）在 C++20 前不被允许</li>
</ul>
<p>偏特化真正难的不是写法，而是判断“这个逻辑到底该放主模板、偏特化，还是用 <code>if constexpr</code> + 概念约束”。三者混用时，编译错误信息往往指向最外层匹配失败，而不是你真正写错的地方。</p></int></t></typename>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
