模板偏特化仅适用于类模板，函数模板不支持；正确做法是用函数重载或类模板+偏特化替代，非法偏特化如template void func(T)直接报错。

模板偏特化必须针对类模板，函数模板不支持

这是最容易踩的坑：C++ 标准明确禁止对函数模板做偏特化（partial specialization），只允许全特化。如果你写了类似 template void foo(T); 然后试图偏特化成 template void foo(T*);，编译器会报错——典型错误信息是 error: function template partial specialization is not allowed。正确做法是用函数重载替代，或者把逻辑包装进类模板里再偏特化该类。

类模板偏特化的语法格式和约束

偏特化本质是“为某类类型模式提供更具体的实现”，它必须基于已有主模板声明，且偏特化版本的模板参数列表不能比主模板少（但可以更具体）。常见写法是：

template<typename t>
struct MyContainer { /* 主模板 */ };
<p>template<typename t>
struct MyContainer<t>> { / 偏特化：所有指针类型 */ };</t></typename></p>
<p>template<typename t>
struct MyContainer<:vector>> { /<em> 偏特化：所有 vector<t></t></em>/ };
</:vector></typename></p></typename>

注意三点：

• 偏特化声明必须在主模板之后、首次使用之前
• 偏特化中未指定的参数（如上面 T* 里的 T）仍需出现在模板参数列表中，不能省略
• 偏特化不能有默认模板参数，否则编译失败

偏特化与全特化的优先级关系

当多个特化都匹配时，编译器按“最特化”原则选择：全特化 > 偏特化 > 主模板。比如：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

template<typename t> struct A {};                    // 主模板
template<typename t> struct A<t> {};              // 偏特化1
template<typename t> struct A<t const> {};        // 偏特化2
template struct A<int> {};                       // 全特化
</int></t></typename></t></typename></typename>

对 A 的实例化，会选全特化；对 A，选偏特化1；对 A，选偏特化2。但如果偏特化2写成 template struct A {}，则和偏特化1产生二义性，编译失败。

偏特化实际用在哪些地方

真正需要偏特化的场景不多，但几个典型用途很实用：

• 为容器内部类型提供定制行为，比如 std::hash 对 std::pair 的偏特化
• 规避 SFINAE 或 enable_if 的冗长写法，例如为可调用对象（std::function、lambda）单独写偏特化来提取返回类型
• 实现类型分类工具，比如 is_pointer_v 底层就依赖对 T* 的偏特化
• 避免重复定义，比如对所有智能指针统一处理：template struct MyDeleter<:shared_ptr>> {}

偏特化不是语法糖，它直接影响模板匹配路径和实例化结果。写的时候务必确认偏特化形式能被唯一推导，否则容易触发模糊匹配或意外回退到主模板。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！