std::enable_if 是实现 sfinae 的核心工具，通过条件控制模板“消失”而非报错，支持函数重载与类模板条件启用；c++14 起可用 enable_if_t 简化写法，c++17 后推荐 if constexpr 替代。
在C++模板编程中，std::enable_if 是实现 SFINAE（Substitution Failure Is Not An Error）最常用、最直观的工具之一。它的核心作用是：**让模板在某些条件下“消失”，而不是编译报错**，从而实现函数重载或类模板的条件启用。
基本用法：控制函数模板的启用
std::enable_if 本身是一个模板结构体，定义在 <type_traits></type_traits> 中。它有两个模板参数：
- 第一个为布尔值 Cond；
- 第二个为可选的类型 T = void（默认）。
当 Cond 为 true 时，它定义了一个 type 别名（即 T）；
当 Cond 为 false 时，不定义 type —— 这会触发 SFINAE，使该模板从重载集中被剔除。
典型写法（C++11/14）：
#include <type_traits>
<p>template<typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
add_one(T x) {
return x + 1;
}</p><p>template<typename T>
typename std::enable_if<!std::is_integral<T>::value, T>::type
add_one(T x) {
return x; // 非整型不做处理
}</p>注意：返回类型写法略显冗长，常配合默认模板参数简化：
template<typename T>
T add_one(T x,
typename std::enable_if<std::is_integral<T>::value>* = nullptr) {
return x + 1;
}
更现代的写法：使用 std::enable_if_t 和 constexpr if（C++17）
C++14 引入了 std::enable_if_t<cond t></cond>，它是 typename std::enable_if<cond t>::type</cond> 的别名，大幅提升可读性：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
std::enable_if_t<std::is_floating_point<T>::value, T>
sqrt_approx(T x) { /* ... */ }
C++17 后，很多原本靠 enable_if 实现的分支逻辑，可改用 if constexpr，更简洁且语义清晰：
template<typename T>
T process(T x) {
if constexpr (std::is_integral_v<T>) {
return x * 2;
} else if constexpr (std::is_floating_point_v<T>) {
return x * 1.5f;
} else {
static_assert(!sizeof(T), "Unsupported type");
}
}
用于类模板的特化与约束
std::enable_if 也可用于类模板的偏特化（需配合 dummy 模板参数）：
template<typename T, typename = void>
struct is_printable : std::false_type {};
<p>template<typename T>
struct is_printable<T,
std::enable_if_t<std::is_same_v<decltype(std::declval<std::ostream>()
<< std::declval<T>()), std::ostream&>>>>
: std::true_type {};</p>这种写法通过表达式有效性探测是否支持 operator，是典型的“概念模拟”（C++20 concepts 出现前的惯用技法）。
常见陷阱与注意事项
- 不能直接用于函数体内部：SFINAE 只在模板参数推导和函数声明阶段起作用，放在函数体内无效。
-
避免重复计算条件：复杂 trait 判断建议封装成
constexpr变量或别名模板，提升可读性和复用性。 -
与概念（concepts）的关系：C++20 的
requires子句本质上是enable_if的语法糖升级版，更安全、更易诊断。但理解enable_if仍是掌握元编程原理的关键。 -
void 类型要小心：当
T = void时，enable_if_t<cond></cond>等价于enable_if_t<cond void></cond>，适用于无返回值函数的约束。
