std::enable_if是SFINAE的语法糖，通过模板参数默认值方式最安全；C++20起应优先使用requires约束，但C++11/14/17项目及trait内部仍需enable_if。
std::enable_if 本质是 SFINAE 的语法糖
它本身不参与类型推导，只是在模板参数或返回类型中“制造”一个可能失败的条件。当条件为 false 时，该模板特化会被从重载集里静默移除，而不是报错——这才是 SFINAE 的核心机制。
常见错误是直接写 std::enable_if<condition>::type</condition> 而不提供默认模板参数，导致编译器无法推导模板参数；或者把 enable_if 放在函数参数列表里却没用 typename = ... 形式隐藏它。
最安全的用法：作为模板参数默认值
这是兼容性最好、最不易出错的方式，适用于函数模板和类模板。它把约束“藏”在模板参数里，不干扰函数签名，也避免返回类型推导问题。
template<typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
void foo(T x) {
std::cout << "integral: " << x << "\n";
}
template<typename T, typename = std::enable_if_t<!std::is_integral_v<T>>>
void foo(T x) {
std::cout << "non-integral\n";
}
-
std::enable_if_t<B>是std::enable_if<B>::type的简写，C++14 起可用 - 两个重载都用了默认模板参数，所以调用
foo(42)或foo(3.14)都能正常推导 - 如果去掉默认值（如写成
typename = std::enable_if_t<...>），必须显式指定模板实参才能调用，失去泛型意义
返回类型方式：只适合无重载的简单场景
把 std::enable_if 放在返回类型里，语法上更紧凑，但容易和 auto 返回类型、重载解析冲突，且对成员函数不友好。
立即学习“C++免费学习笔记（深入）”；
template<typename T>
auto bar(T x) -> std::enable_if_t<std::is_pointer_v<T>, int> {
return static_cast<int>(reinterpret_cast<uintptr_t>(x));
}
template<typename T>
auto bar(T x) -> std::enable_if_t<!std::is_pointer_v<T>, double> {
return static_cast<double>(x);
}
- 必须用尾置返回类型（
-> ...），否则编译器在解析函数名前就遇到未定义的enable_if::type - 若两个重载返回类型不同但参数相同，SFINAE 仍生效；但若返回类型相同，就会变成重复定义错误
- 不适用于构造函数、运算符重载等没有返回类型的场合
C++20 之后优先用 requires 约束，而非 enable_if
requires 更直观、可读性更强，错误信息更友好，还能组合逻辑（&&, ||），而 enable_if 套嵌多层后极易失控。
template<typename T>
requires std::is_integral_v<T>
void baz(T x) {
std::cout << "C++20 integral\n";
}
template<typename T>
requires (!std::is_integral_v<T>) && std::is_floating_point_v<T>
void baz(T x) {
std::cout << "C++20 floating\n";
}
不过，如果你要适配 C++11/14/17 项目，或者在 trait 实现内部做精细控制（比如偏特化类模板），std::enable_if 仍是绕不开的底层工具。它的坑不在语法，而在“什么时候该让它失效”——条件写反、漏掉 typename、误用在非模板上下文，都会让 SFINAE 失效，转而抛出硬错误。
