函数模板不能偏特化是C++标准硬性规定，仅类模板支持；正确做法是用类模板偏特化（如template<typename T> struct trait<T>）或函数重载替代，非法写法如template<typename T> void func<T>(T*)直接报错。
模板偏特化不能用于函数模板，只对类模板有效；想为某类类型（比如所有指针、所有 const 引用）提供定制行为，必须用类模板 + 偏特化，而不是重写函数模板。
为什么函数模板不能偏特化
这是 C++ 标准硬性规定，不是编译器限制。写 template<typename t> void func<t>(T*)</t></typename> 会直接报错：不是语法错误，而是语言不允许。试图绕过会导致未定义行为或编译失败。
常见替代方案只有两个：
- 用函数重载——更直观、更安全，且支持 SFINAE
- 把逻辑包装进类模板，再对那个类做偏特化，最后通过
operator()或静态成员函数暴露接口
类模板偏特化的合法写法
偏特化必须保留至少一个未绑定的模板参数，否则就是全特化。关键看参数列表是否还有泛型空间。
立即学习“C++免费学习笔记（深入）”；
假设原始模板是：template<typename t> struct trait</typename>
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- ✅ 正确偏特化（匹配所有裸指针）：
template<typename t> struct trait<t></t></typename> - ✅ 正确偏特化（匹配所有 const 引用）：
template<typename t> struct trait<const t></const></typename> - ❌ 错误写法（实为全特化，只匹配 int*）：
template struct trait<int></int> - ❌ 参数不匹配（原模板单参，这里双参）：
template<typename t typename u> struct trait<t u></t></typename>
多个偏特化之间的冲突风险
编译器按“最特殊”原则选择，但两个偏特化如果对同一类型都可匹配，就会报 ambiguous partial specialization。
例如同时定义：
template<typename t> struct X<t></t></typename>template<typename t> struct X<const t></const></typename>
那么 X<const int></const> 就可能歧义：它既匹配 T*（取 T = const int），也匹配 const T*（取 T = int）。解决办法是明确覆盖顺序，或改用更宽泛模式（如统一用 template<typename t> struct X<t></t></typename> + 类型特征判断）。
偏特化里访问基类成员要小心
偏特化版本默认不继承泛型版本的构造函数，也不自动获得私有/保护成员访问权。
- 若需转发构造，必须显式写
using base::base;或手动委托 - 泛型模板里的
private成员，在偏特化里不可见，哪怕类型相同 - 偏特化中调用基类方法，必须确保该方法在泛型版本中是
public或protected且可被派生访问
真正容易被忽略的是 const/volatile 修饰符的精确匹配：int const*、int* const、const int* 是三种不同类型，偏特化不会自动“归一化”它们。需要分别覆盖，或借助 std::remove_cv_t 等类型操作在内部处理。
