SFINAE允许模板替换失败时不报错而移除该候选，用于实现类型检测与函数重载选择；通过sizeof、enable_if、void_t等手段可构建编译期判断，提升泛型代码灵活性。
SFINAE（Substitution Failure Is Not An Error，替换失败不是错误）是c++模板编程中的一个重要原则，它允许编译器在函数模板重载解析过程中，当模板参数替换导致语法错误时，并不直接报错，而是将该模板从候选列表中移除。利用这一机制，我们可以实现类型特征判断、函数重载选择等高级元编程技巧。
理解SFINAE的基本原理
SFINAE起作用的场景通常出现在函数模板的参数推导或返回类型替换过程中。只要替换失败仅导致签名无效，而不是引发硬性编译错误，编译器就会尝试其他匹配的模板。
例如：
假设我们有两个重载函数模板，一个适用于支持operator*的类型，另一个作为备选。通过SFINAE可以控制哪个版本被选用，而不会因为不支持的操作导致整个编译失败。
经典SFINAE写法：使用sizeof和逗号表达式
常见做法是定义一个辅助结构体或表达式，用于检测某个类型是否具有特定成员或操作。通过sizeof配合逗号表达式，可以在不实际调用的情况下进行类型检查。
立即学习“C++免费学习笔记（深入）”；
示例：检测类型是否有value_type成员
template <typename T> struct has_value_type { private: template <typename U> static char test(typename U::value_type*); template <typename U> static long test(...); public: static const bool value = sizeof(test<T>(nullptr)) == sizeof(char); };
这里，如果T有value_type，则第一个test函数匹配成功，返回char；否则启用可变参数版本，返回long。通过sizeof比较即可判断。
使用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将不存在，替换失败，但不会报错，只是该函数不参与重载。如果有其他匹配的重载，编译仍可通过。
C++11以后的简化方式：void_t 和 decltype
C++14引入了std::void_t，可用于更简洁地实现SFINAE检测。
示例：检测类型是否有begin()方法
template <typename T, typename = void> struct has_begin : std::false_type {}; template <typename T> struct has_begin<T, std::void_t<decltype(std::declval<T>().begin())>> : std::true_type {};
这里利用decltype尝试获取begin()的返回类型，若表达式合法，则特化版本生效，否则使用默认偏特化，结果为false_type。
基本上就这些。SFINAE虽然语法略显晦涩，但掌握后能写出灵活且高效的泛型代码。现代C++中，配合constexpr if（C++17）可进一步简化类似逻辑，但在需要兼容旧标准或做精细控制时，SFINAE仍是重要工具。