模板特化和偏特化是C++泛型编程中为特定类型或类型模式提供定制实现的关键手段；全特化完全指定所有参数，仅支持类模板；偏特化匹配一类类型模式，也仅限类模板；变量模板支持全特化，别名模板需借类模板间接实现偏特化。

模板特化和偏特化是 C++ 泛型编程中控制“具体行为”的关键手段——不是所有类型都该用同一套逻辑，而特化让你能为特定类型（或类型模式）提供定制实现。

全特化：完全指定所有模板参数

当你对某组确定的模板实参有特殊处理需求时，就写全特化。它必须和原模板签名一致，但所有参数都被具体类型/值替代。

• 函数模板不支持全特化（会引发重载歧义），只支持类模板全特化
• 类模板全特化要加 template，后面直接跟类名+具体参数
• 全特化本质是独立类型，不继承原模板的成员，需重新定义所有需要的成员

例子：

template struct IsPtr { static constexpr bool value = false; }; template struct IsPtr { static constexpr bool value = true; }; template struct IsPtr { static constexpr bool value = true; };

偏特化：匹配一类类型模式

偏特化只适用于类模板（函数模板仍不支持），它不指定全部参数，而是给出更宽泛的类型约束，让编译器能自动匹配符合模式的实例。

立即学习“C++免费学习笔记（深入）”；

C++14

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

下载

• 常见形式：指针、引用、const 修饰、容器嵌套等模式识别
• 偏特化声明也以 template<...> 开头，但参数列表是部分占位符 + 部分具体形式
• 多个偏特化之间不能有二义性；若同时匹配，更特化的那个胜出（如 T* 比 T 更特化）

例子：

template struct IsPtr { static constexpr bool value = false; }; template struct IsPtr { static constexpr bool value = true; }; // 偏特化：所有指针类型

变量模板和别名模板也能特化

C++14 起变量模板支持全特化；C++11 起别名模板虽不能直接偏特化，但可通过间接方式（比如用类模板偏特化 + using）达成效果。

• 变量模板特化写法类似类模板全特化：template constexpr bool is_integral_v<char> = true;</char>
• 别名模板想“偏特化”，就定义一个带偏特化的类模板，再用 using 引出它的 type 成员

例子（别名模板模拟偏特化）：

template struct RemoveRefHelper { using type = T; }; template struct RemoveRefHelper { using type = T; }; template struct RemoveRefHelper { using type = T; }; template using remove_reference_t = typename RemoveRefHelper::type;

注意优先级和限制

编译器选择模板实例时，按严格顺序匹配：普通模板 → 偏特化 → 全特化。但有些组合不合法，容易踩坑。

• 函数模板只允许重载，不允许特化（哪怕语法通过，行为也不可靠）
• 不能只偏特化某个成员函数，必须整个类模板偏特化
• 偏特化不能出现在函数作用域内（必须在命名空间层级）
• 多个偏特化若无法明确排序（比如 T* 和 const T），编译失败

基本上就这些。用好特化和偏特化，能让泛型代码既保持通用性，又在关键路径上精准优化或适配特殊语义。不复杂，但容易忽略细节。