SFINAE（替换失败非错误）允许模板替换失败时不报错而移除候选函数，常用于类型约束与重载选择，如通过enable_if或void_t实现编译期条件判断，配合if constexpr提升泛型编程灵活性。
SFINAE 是 "Substitution Failure Is Not An Error" 的缩写，意思是：在模板实例化过程中，如果替换模板参数导致类型或表达式不合法，这并不会直接引发编译错误，而是将该候选函数从重载集中移除。只要还有其他可行的候选函数，程序就能正常编译。这一机制是 C++ 模板元编程中的核心技巧之一，常用于实现条件编译、类型约束和函数重载选择。
理解 SFINAE 的基本原理
当编译器处理函数模板重载时，会尝试将每个模板进行实例化匹配。如果在替换模板参数的过程中出现非法类型或表达式（例如调用不存在的成员类型），这个模板不会被当作错误抛弃，而是简单地从候选列表中剔除。
举个例子：
template
auto print_size(const T& t) -> decltype(t.size(), void()) {
std::cout
}
void print_size(...) {
std::cout
}
第一个版本要求类型 T 具有 size() 成员函数；第二个是兜底版本。如果传入一个没有 size() 的类型（如 int），第一个模板因替换失败被移除，第二个版本被调用，不会报错。
立即学习“C++免费学习笔记（深入）”；
常见应用：类型特征与启用/禁用函数
SFINAE 常用来编写类型判断工具或控制函数是否参与重载。通过 enable_if 可以显式控制模板是否启用。
例如，只为整数类型启用某个函数：
template
typename std::enable_if<:is_integral>::value, void>::type
process(T value) {
std::cout
}
template
typename std::enable_if::value, void>::type
process(T value) {
std::cout
}
这里利用 std::enable_if 在条件为真时提供 ::type，否则替换失败，但不报错，另一个版本生效。
C++11 后的简化方式：constexpr if 与 void_t
C++17 引入了 if constexpr 和 std::void_t，让 SFINAE 更简洁易读。
使用 void_t 判断类型是否有某个成员：
template
struct has_size_member : std::false_type {};
template
struct has_size_member
: std::true_type {};
这段代码检测类型 T 是否支持 .size() 调用。若表达式合法，则特化版本生效，返回 true_type。
C++17 中还可以结合 if constexpr 写更清晰的逻辑：
template
void print_info(const T& t) {
if constexpr (has_size_member
std::cout
} else {
std::cout
}
}
SFINAE 是模板编程中强大而实用的技术，它让编译期决策成为可能。虽然现代 C++ 提供了更简洁的替代方案（如 concepts、if constexpr），但在兼容旧标准或精细控制重载解析时，SFINAE 依然不可或缺。掌握它有助于深入理解模板机制和编写泛型库。基本上就这些。
