SFINAE指模板替换失败不报错而仅从候选集剔除，用于编译期类型判断；C++17后推荐if constexpr替代部分场景，C++20概念（concepts）提供更清晰安全的约束机制。
什么是SFINAE：替换失败不报错，只是从候选集中剔除
在C++模板实例化过程中，编译器会对每个可能的函数模板或类模板特化进行“参数推导 + 替换”（substitution）。如果替换过程中出现无效类型或表达式（比如 T::value_type 在 T 没有该嵌套类型时），这**不算编译错误**——只要还有其他可行的重载或特化，编译器就默默把这个候选丢掉，继续尝试别的。这就是 SFINAE（Substitution Failure Is Not An Error）的核心含义。
怎么用SFINAE做编译期类型判断（以 std::enable_if 为例）
最常见用途是根据类型特征启用/禁用函数重载。关键在于让某个重载的签名在不满足条件时“替换失败”，从而被 SFINAE 屏蔽。
template<typename T>
auto func(T t) -> std::enable_if_t<std::is_integral_v<T>, int> {
return t * 2;
}
<p>template<typename T>
auto func(T t) -> std::enable_if_t<std::is_floating_point_v<T>, double> {
return t * 1.5;
}说明：
- 两个重载都用了尾置返回类型 +
std::enable_if_t，它本质是typename std::enable_if<Cond, T>::type - 当
T是int，第二个重载的std::enable_if_t<false, double>替换失败 → 该重载被丢弃，只剩第一个可用 - 注意：不能把
std::enable_if放在参数列表里（如func(T, std::enable_if_t<...> = {})），因为默认参数不参与重载决议，SFINAE 失效
为什么 C++17 后推荐用 if constexpr 替代部分 SFINAE 场景
SFINAE 写法绕、可读性差，且只能用于函数/类模板声明层面；而 if constexpr 允许在函数体内做编译期分支，更直观、支持更多上下文。
立即学习“C++免费学习笔记（深入）”；
template<typename T>
auto func(T t) {
if constexpr (std::is_integral_v<T>) {
return t * 2;
} else if constexpr (std::is_floating_point_v<T>) {
return t * 1.5;
} else {
static_assert(false, "Unsupported type");
}
}区别点：
-
if constexpr分支中未命中的代码**不参与语义检查**（比如调用不存在的成员函数不会报错） - 但
if constexpr只能在函数体内用，无法控制“重载是否可见”——如果你需要让某个函数对某些类型根本不可见（比如避免 ADL 找到它），SFINAE 或 C++20 的requires仍是必要手段 - 过度依赖 SFINAE 容易触发“硬错误”（比如在
enable_if外部提前访问了非法嵌套类型），反而绕过 SFINAE 规则
C++20 的 requires 是 SFINAE 的现代化替代
约束（concepts）让意图更清晰，语法更简洁，且错误信息友好得多。它底层仍依赖 SFINAE 机制，但屏蔽了细节。
template<typename T>
concept Integral = std::is_integral_v<T>;
<p>template<typename T>
requires Integral<T>
T func(T t) {
return t * 2;
}</p><p>template<typename T>
requires std::floating_point<T>
T func(T t) {
return t * 1.5;
}注意：
-
requires子句直接写在模板参数后或函数声明前，比enable_if更贴近自然语言 - 约束失败时给出的诊断信息明确指出哪个概念不满足，不像传统 SFINAE 那样堆满模板展开错误
- 但 concept 不能完全覆盖所有 SFINAE 场景（例如某些依赖于表达式有效性而非类型特征的元编程），这时仍需回退到
decltype+void_t等惯用法
SFINAE 的本质不是“炫技”，而是编译器为模板重载留出的容错空间；真正容易被忽略的是：它只作用于“替换阶段”，一旦进入语义分析（比如函数体内部），任何错误都是硬错误。所以写 SFINAE 时，所有类型/表达式检查必须严格限制在声明域（函数签名、别名模板、特化条件），不能“漏到函数体里”。
