SFINAE指模板参数替换失败时不报错而是静默剔除该候选函数；它仅作用于推导/替换阶段，非函数体或decltype后半段。
什么是 SFINAE，它为什么不是“错误”而是“筛选”
当你看到 error: no type named 'value' in 'std::enable_if<false void>'</false>
decltype 里调用了未定义的成员），就是硬错误。
std::enable_if 最简可行写法（带陷阱）
最常用写法是把 std::enable_if 塞进函数模板的返回类型或最后一个参数。但必须注意：它的 value 是布尔常量表达式，且要确保该表达式能被编译器在替换期求值。
- ✅ 安全写法（返回类型）：
template<typename T><br>auto func(T t) -> typename std::enable_if_t<std::is_integral_v<T>, int> { return 42; } - ❌ 错误写法（直接写
std::enable_if<...>::type</...>）：std::enable_if<:is_integral_v>, int>::type</:is_integral_v>在T非整型时会因::type不存在而硬报错，绕过 SFINAE - ⚠️ 参数写法易踩坑：
void func(T t, std::enable_if_t<:is_floating_point_v>>* = nullptr)</:is_floating_point_v>要求指针默认值为nullptr，不能写成0或NULL（C++11 后nullptr是唯一安全字面量）
用 decltype + std::declval 检测成员是否存在
比 std::is_integral 更典型的 SFINAE 场景是“有没有某个成员函数”。这时不能靠类型分类，得靠表达式有效性。
- 核心套路：
decltype( (std::declval<t>().foo(), void()) )</t>—— 逗号表达式确保即使foo()返回void也能合法 - 完整检测结构：
template<typename T><br>auto call_foo(T&& t) -> decltype(t.foo(), void());
如果T没有foo()成员，这个函数模板会被 SFINAE 掉 - ⚠️ 注意
std::declval<t>()</t>返回的是右值引用，若foo()只对左值可用，需改成std::declval<t>().foo()</t> - 性能无影响：所有检测都在编译期完成，生成代码和手写特化一样干净
C++17 后该优先用 if constexpr 吗？
可以，但不能替代 SFINAE。两者解决的问题层级不同：
立即学习“C++免费学习笔记（深入）”；
-
if constexpr是在模板实例化后、函数体内做编译期分支，要求所有分支代码本身语法正确（比如if constexpr (false) { x.nonexistent(); }仍需x有nonexistent成员，否则编译失败） - SFINAE 是在重载决议前筛掉整个函数模板，允许完全不同的签名和约束
- 典型共存场景：先用 SFINAE 分离
Container和Scalar两类模板，再在Container版本里用if constexpr区分std::vector和std::array - 兼容性提醒：如果目标平台要支持 C++11/14，SFINAE 是唯一选择；C++17+ 项目中，SFINAE 更适合做接口契约（如 concept 前身），
if constexpr更适合内部逻辑分支
真正容易被忽略的是：SFINAE 条件必须依赖模板参数，写死的布尔值（如 std::enable_if_t<true></true>）不会触发筛选，而 std::enable_if_t<sizeof> 4></sizeof> 这种依赖 T 的尺寸的表达式，才是它发挥价值的地方。
