函数模板不支持偏特化，故无法用其禁止重载调用；C++20应使用concept+requires约束参数，C++17前需借助类模板偏特化加static_assert实现禁止。
函数模板不支持偏特化，所以你根本不能用它来“禁止重载调用”——编译器会直接报错，不是写法不对，是语法根本不允许。
为什么 template void foo(T) 无法用偏特化禁用某类型调用
你写的类似 template<typename t> void foo(T*)</typename> 这种尝试，编译器会立刻拒绝，错误信息通常是：error: partial specialization of function templates is not allowed。这不是实现技巧问题，是 C++ 标准层面对函数模板的硬性限制：只允许全特化（template void foo<int>(int*)</int>），不允许偏特化。
全特化 ≠ 禁止：它只是提供另一个实现，泛型版本依然可用；用户传 char* 可能仍走泛型版，除非你把它也删掉或设为 = delete。
- 偏特化只对类模板开放，函数模板没这个权限
- 想让某个类型“根本不可调用”，必须让泛型版本在该类型上不可实例化（SFINAE 或
requires） - 用类模板做中转，再在偏特化里触发
static_assert，才是 C++17 前唯一可靠路径
C++20 起：用 concept + requires 拦截最直接
如果你的目标是“当 T 是 std::string 时，不允许调用 process(T)”，就别绕弯子写特化，直接约束模板参数：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
concept valid_for_process = !std::is_same_v<T, std::string> && !std::is_same_v<T, char*>;
template<valid_for_process T>
void process(T t) {
// 正常逻辑
}
调用 process(std::string{}) 会立刻失败，错误指向实参位置，提示 valid_for_process<std::string> is not satisfied。
-
requires比static_assert更早触发检查，且参与重载决议 - 不要在
requires中写运行期条件（如t.size() > 0），它只接受编译期可判定表达式 - 若同时有多个重载，
requires不满足的版本会被自动剔除，不会导致二义性
C++17 及以前：类模板偏特化 + static_assert 是唯一可靠路径
函数模板不行，就换到类模板里做。把逻辑包进类的 operator() 或静态成员函数，再对不希望支持的类型做偏特化并触发硬错误：
template<typename T>
struct processor {
void operator()(T t) {
// 通用实现
}
};
template<>
struct processor<std::string> {
void operator()(std::string) {
static_assert(sizeof(std::string) == 0, "processor<std::string> is explicitly disabled");
}
};
- 必须用类模板偏特化，因为只有它支持偏特化语法
-
static_assert的消息要写得明确，否则错误提示可能只显示“failed requirement”而无上下文 - 偏特化版本里不能留空实现，否则用户可能误调用而不报错
真正容易被忽略的是：requires 和 static_assert 的触发时机差异。前者在重载决议阶段就筛掉非法候选，后者在实例化后才炸；前者错误定位更准，后者可能裹挟一堆模板展开细节。选哪个，取决于你用的是 C++20 还是更老的工具链。
