SFINAE是C++模板元编程中通过替换失败来筛选重载函数的关键机制，常用于根据类型特征启用或禁用模板；结合enable_if可实现条件编译，但C++17的if constexpr和C++20的Concepts提供了更清晰、易维护的替代方案，在现代C++中应优先使用。
在C++中，模板是实现泛型编程的核心机制，而SFINAE（Substitution Failure Is Not An Error）则是模板元编程中一个关键技巧，用于在编译期根据类型特征选择或排除函数重载。掌握这两者能让你写出更灵活、更高效的通用代码。
模板基础回顾
模板允许我们编写与具体类型无关的函数或类：
template <typename T>
T max(T a, T b) {
return a > b ? a : b;
}
上面是一个简单的函数模板，适用于所有支持 > 操作的类型。但当我们想为特定类型定制行为时，就需要更高级的技术。
SFINAE基本原理
SFINAE 指的是：在模板实例化过程中，如果替换模板参数导致语法错误，只要还有其他可行的重载，这个错误不会导致编译失败，而是简单地从候选集中移除该模板。
立即学习“C++免费学习笔记（深入）”；
常见用途是根据类型是否有某个成员或支持某种操作来启用或禁用函数。
例如，判断类型是否有 size() 成员函数：
template <typename T>
auto test_size(int) -> decltype(std::declval<T>().size(), std::true_type{});
template <typename T>
std::false_type test_size(...);
template <typename T>
struct has_size : decltype(test_size<T>(0)) {};
这里利用了两个重载：int 参数版本优先尝试，如果 T 有 size() 方法，则 decltype 能推导成功；否则退化到变参版本，返回 false_type。
使用 enable_if 控制函数参与重载
std::enable_if 是 SFINAE 的典型应用工具，用于有条件地启用模板函数。
比如，只允许算术类型调用某个函数：
template <typename T>
typename std::enable_if<std::is_arithmetic<T>::value, T>::type
add(T a, T b) {
return a + b;
}
当 T 不是算术类型时，enable_if::type 不存在，替换失败，但由于 SFINAE，这不会报错，只是不参与重载决议。
C++14 起可简化写法：
template <typename T>
std::enable_if_t<std::is_arithmetic_v<T>, T>
add(T a, T b) { return a + b; }
现代替代方案：constexpr if 和 Concepts
C++17 引入了 if constexpr，在很多场景下比 SFINAE 更清晰：
template <typename T>
auto process(T obj) {
if constexpr (has_size<T>{}) {
return obj.size();
} else {
return 0;
}
}
C++20 的 Concepts 进一步简化了约束表达：
template <typename T>
concept HasSize = requires(T t) {
t.size();
};
template <HasSize T>
auto get_size(T& obj) { return obj.size(); }
相比 SFINAE，Concepts 更易读、易维护，且提供更好的错误提示。
基本上就这些。SFINAE 在旧标准中不可或缺，理解它有助于读懂大量现有模板代码。但在新项目中，优先考虑 if constexpr 或 Concepts 来实现条件逻辑和类型约束。它们更直观，出错更少。
