std::enable_if能参与重载决议是因为它在SFINAE上下文中使模板实例化产生无效类型，从而静默剔除候选函数；必须置于函数签名（返回类型、参数或默认模板参数）中，配合模板参数使用，C++17起推荐enable_if_t，C++20可用requires替代。
std::enable_if 为什么能参与重载决议
因为 std::enable_if 的作用不是“禁用函数”，而是让模板实例化时在 SFINAE 场景下产生无效类型，从而让该重载从候选集中被悄悄剔除——不是报错，是根本“看不见”。只有至少一个重载能成功推导，调用才合法。
关键点：它必须出现在函数签名中（返回类型、参数类型或模板参数默认值），不能只放在函数体内。
- 放错位置（比如只在函数体里用
static_assert）会导致编译失败，而非重载选择 - 必须配合模板参数使用；对非模板函数加
std::enable_if没有意义 - C++17 起推荐用
std::enable_if_t简化写法（等价于typename std::enable_if<...>::type</...>）
最常用写法：返回类型 + enable_if_t
把 std::enable_if_t 放在返回类型位置，是最直观、兼容性最好的方式。适用于需要区分基础类型和自定义类型的函数重载。
template<typename T>
std::enable_if_t<std::is_integral_v<T>, int> foo(T) {
return 1;
}
<p>template<typename T>
std::enable_if_t<!std::is_integral_v<T>, int> foo(T) {
return 2;
}
- 注意两个重载的返回类型都用了
std::enable_if_t，否则第二个不会参与重载决议 -
std::is_integral_v<T>是 C++17 的变量模板，比std::is_integral<T>::value更简洁 - 如果返回类型本身重要（比如要返回
T&），这种写法会覆盖原类型，此时应改用参数技巧
避免返回类型污染：用 dummy 参数实现条件重载
当函数需保持原始返回类型（如 T& 或 void），就把 std::enable_if 挪到参数列表末尾，加一个默认为 int 的占位参数。
立即学习“C++免费学习笔记（深入）”；
template<typename T>
T& bar(T& t, std::enable_if_t<std::is_copy_constructible_v<T>>* = nullptr) {
return t;
}
<p>template<typename T>
T& bar(T& t, std::enable_if_t<!std::is_copy_constructible_v<T>>* = nullptr) {
return t;
}
- 两个重载都带可默认的指针参数，但类型不同，因此仍是不同的函数签名
- 调用时无需传参，
bar(x)即可触发 SFINAE 分支选择 - 注意指针类型不能是
int这类具体类型（会冲突），必须是依赖T的类型，否则无法触发 SFINAE
C++20 替代方案：用 requires 约束更清晰
如果你的项目已支持 C++20，requires 是 std::enable_if 的现代平替，语义明确、错误信息友好、不污染签名。
template<typename T>
int baz(T) requires std::is_integral_v<T> {
return 1;
}
<p>template<typename T>
int baz(T) requires (!std::is_integral_v<T>) {
return 2;
}
- 不需要
std::enable_if，也不用操心返回类型或 dummy 参数 - 约束直接写在模板声明后，可读性高，且编译器报错时会明确指出哪个
requires不满足 - 但要注意：C++20 约束仍受 ADL 和重载决议规则约束，不是万能开关；复杂约束建议拆成命名概念（
concept）
真正容易被忽略的是：SFINAE 只对模板参数推导起作用，一旦模板参数已显式指定（如 foo<int>(x)），std::enable_if 条件就不再参与选择——此时它退化为硬错误。所以别在显式特化场景里指望它做分支。
