c++禁止函数模板偏特化，只允许类模板偏特化；禁用特定类型需用类模板偏特化+static_assert（c++17前）、concept+requires（c++20起）或=delete（针对具体重载签名）。
为什么不能用函数模板偏特化来禁止重载调用
你写不出 template<typename t> void foo(T);</typename> 的偏特化版本，因为 C++ 标准明确禁止函数模板偏特化，编译器会直接报错：error: partial specialization of function templates is not allowed。
这不是编译器实现差异，而是语法层硬性限制——函数模板只允许全特化，而全特化只是提供另一个实现，并不阻止泛型版本被调用。
【偏特化只对类模板开放】 想做类型级拦截，必须把逻辑转移到类模板中，再通过类的偏特化控制行为边界。
用类模板偏特化 + static_assert 禁用特定类型调用（C++17 及以前）
第一步：把要禁用的函数逻辑封装进类模板的 operator() 或静态成员函数中。
第二步：为主模板提供通用实现，允许所有类型通过编译。
第三步：对目标禁用类型（如 std::string）做全特化，并在该特化版本中触发 static_assert 错误。
示例代码中，processor<:string>{}</:string> 被调用时，static_assert(sizeof(std::string) == 0, "processor<:string> is explicitly disabled")</:string> 立即触发编译失败，错误位置精准指向调用点，而非模板定义处。
C++20 起：用 concept + requires 直接约束成员函数模板
方法一：定义 concept 限定合法类型
template<typename t> concept valid_for_process = !std::is_same_v<t std::string> && !std::is_same_v<t char>;</t></t></typename>
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
方法二：在成员函数模板声明中添加 requires 子句
template<valid_for_process t> void process(T t) { /* 正常逻辑 */ }</valid_for_process>
当传入 std::string{} 时，编译器提示 valid_for_process<:string> is not satisfied</:string>，错误直接出现在实参位置，不进入函数体，也不生成临时对象。
注意：requires 只接受编译期可判定表达式，不可写 t.size() > 0 这类运行期条件。
delete 成员函数不是万能解，但它是唯一能彻底封杀重载调用的方式
如果你的目标是禁止某个具体签名的重载（比如 void f(int)），而不是按类型分类拦截，则必须用 = delete。
void f(int) = delete; 声明后，任何上下文（包括类内部、友元、模板实例化）调用都会触发 use of deleted function 错误。
这和 private 有本质区别：private 仅限制访问权限，仍可能被隐式转换绕过；= delete 则让该函数参与重载决议并强制失败，确保不会误入歧途。
【= delete 必须写在声明末尾，不能加函数体】 写成 void f(int) = delete {} 或在定义处写 = delete 都是非法的。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
