SFINAE是C++模板替换阶段的错误处理规则，解决模板重载中“安静失败”问题，使不满足条件的特化被剔除而非报错，从而实现基于类型能力的编译期选择。
什么是SFINAE，它到底在解决什么问题
SFINAE（Substitution Failure Is Not An Error）不是语法糖，也不是新特性，而是C++模板实例化过程中的一条规则：当编译器尝试用具体类型代入模板参数时，如果导致非法表达式（比如调用不存在的成员函数、访问私有成员、类型不匹配等），只要这个错误发生在“替换阶段”，就不报错，而是直接从重载候选集中剔除该特化版本。
它真正解决的是——让模板函数或类特化能“安静地失败”，从而实现基于类型能力的条件选择。比如你写了一个泛型函数想对有 begin() 和 end() 的类型调用范围遍历，对没有的类型走另一条逻辑，靠的就是 SFINAE 把不满足条件的重载筛掉。
怎么写一个带SFINAE的函数重载
最常用方式是结合 std::enable_if 和 decltype + sizeof（或更现代的 void_t）做替换约束。关键点在于：约束必须出现在函数签名里，不能只放在函数体中。
- 错误写法：
template<typename t> void foo(T t) { static_assert(std::is_integral_v<t>, ""); }</t></typename>—— 这是硬错误，不满足就直接编译失败 - 正确写法（C++11起）：
template<typename t typename="std::enable_if_t<std::is_integral_v<T">>></typename>，把约束作为默认模板参数，失败则整个特化被丢弃 - 更安全的写法（避免多参数推导冲突）：
template<typename t> auto foo(T t) -> std::enable_if_t<:is_integral_v>, void>;</:is_integral_v></typename>，把约束移到返回类型
注意：std::enable_if_t 是 std::enable_if<condition>::type</condition> 的别名，条件为假时没有 ::type，触发 SFINAE；为真时展开为 void，正常参与重载解析。
立即学习“C++免费学习笔记（深入）”；
为什么 decltype + sizeof 常和 SFINAE 一起出现
因为很多类型特征无法靠 std::is_xxx_v 直接判断，比如“是否有某个成员函数”“是否支持 operator+”。这时就得构造一个表达式，靠 decltype 检查其合法性。
典型模式：decltype(*(std::declval<t>() + std::declval<t>()))</t></t> —— 如果 T 不支持 +，这整条表达式非法，decltype 失败，触发 SFINAE。
-
std::declval<t>()</t>用来生成一个假想的T类型右值，不求值，仅用于类型推导 -
sizeof常配合decltype用，因为sizeof不求值，且接受任何合法类型，包括decltype(...)的结果 - C++17 推荐用
std::void_t简化：定义template<typename...> using void_t = void;</typename...>，然后写template<typename t typename="void_t<decltype(std::declval<T">().size())>></typename>
SFINAE 在类模板特化里怎么用
类模板偏特化不能直接用 std::enable_if，因为偏特化本身没有函数签名可挂约束。常见做法是加一层间接层：用辅助结构体或别名模板包裹，再在主模板里用 using 或继承来选择。
例如判断是否为容器类型：
template<typename T, typename = void>
struct is_container : std::false_type {};
template<typename T>
struct is_container<T, std::void_t<
decltype(std::declval<T>().begin()),
decltype(std::declval<T>().end())
>> : std::true_type {};
这里 std::void_t 把多个 decltype 表达式打包成一个类型，只要任一表达式非法，整个 std::void_t<...></...> 就无效，偏特化不匹配，回落到主模板。
容易忽略的是：偏特化匹配顺序依赖声明顺序，且不能有歧义；另外，std::void_t 在 C++17 才标准支持，C++14 需自己定义。
