SFINAE是模板参数替换失败时不报错而静默移除候选函数的机制，仅作用于替换阶段，常用于类型探测和约束，C++17后可用if constexpr替代部分场景但逻辑不同。
什么是 SFINAE？它不是错误，而是编译器的“悄悄跳过”
当模板实例化失败时，C++ 编译器不会直接报错，而是把它从候选重载集中悄悄移除——这个机制叫 SFINAE（Substitution Failure Is Not An Error）。关键在于：它只对 template 参数替换阶段的失败生效，比如类型不存在、成员未定义、表达式不合法等；一旦过了这关，后续语义错误（如调用私有函数）就会真实报错。
常见错误现象：error: no type named 'type' in 'struct enable_if<false void>'</false> 或更隐蔽的 “no matching function for call”，其实背后是 SFINAE 把所有重载都筛掉了，只剩一个空集。
- 必须用在函数模板或类模板的声明/定义中，普通函数不行
-
decltype+declval是最常用探测手段，别手写sizeof那套老方法 - C++17 起，
if constexpr能替代很多 SFINAE 场景，但两者逻辑不同：SFINAE 控制重载可见性，if constexpr是编译期分支
怎么写一个能检测 has_member_function 的 SFINAE 表达式
目标：判断某个类型 T 是否有 void foo(int) 成员函数。不能靠运行时 typeid，也不能依赖继承关系，得纯编译期推导。
核心技巧是用 decltype 尝试“调用”，再用 std::declval<t>()</t> 构造假对象：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
auto test_foo(int) -> decltype(std::declval<T>().foo(42), std::true_type{});
template<typename>
std::false_type test_foo(...);
然后封装成变量模板（C++14+）：
template<typename T> constexpr bool has_foo_v = decltype(test_foo<T>(0))::value;
- 参数名无关紧要，但第二个重载必须用
...（省略号），不能是int，否则会优先匹配 - 返回类型用
std::true_type/std::false_type是为了统一类型，方便decltype推导 - 别在
decltype里写void—— 它无法参与重载决议，会导致 SFINAE 失效
std::enable_if 怎么用才不翻车
std::enable_if 本身只是个工具，真正起作用的是它被用在模板参数或返回类型上，触发 SFINAE。最安全的位置是函数模板的返回类型，其次是额外的模板参数（带默认值）。
反例：template<typename t typename="std::enable_if_t<std::is_integral_v<T">>></typename> 看似简洁，但若用户显式指定第二个参数，就绕过约束了。
- 推荐写法：把
std::enable_if_t放在返回类型里，比如template<typename t> auto func(T) -> std::enable_if_t<:is_floating_point_v>, double></:is_floating_point_v></typename> - 类模板特化时，
std::enable_if必须出现在偏特化头中，且不能是主模板参数的一部分 - C++20 模式下，直接用
requires更清晰，例如template<typename t> requires std::is_integral_v<t> void f(T);</t></typename>
为什么 C++20 的 concepts 没完全取代 SFINAE
Concepts 解决的是接口契约表达问题，而 SFINAE 本质是“重载选择控制”。有些场景 concepts 做不到，或者做起来别扭。
比如：你想让一个函数模板对 std::vector 和 std::deque 提供不同实现，但又不想暴露具体容器类型——SFINAE 可以靠 has_reserve、has_resize 这类 trait 推断能力；而 concepts 要求你提前定义好概念，且无法在重载集中“动态排除”。
- Concepts 不影响重载决议顺序，只做约束检查；SFINAE 直接改变候选函数集合大小
- 某些元编程库（如 Boost.Hana）仍重度依赖 SFINAE 实现类型列表折叠、访问器生成等，因为需要精细控制模板展开路径
- 跨编译器兼容性：Clang 对 concepts 的 SFINAE-like fallback 支持比 GCC 更保守，遇到奇怪的“candidate template ignored”提示，大概率是 concepts 和 SFINAE 混用导致的解析歧义
真正难的不是写出能编译的 SFINAE，而是让别人（包括三个月后的你自己）能快速看懂那个 decltype 里到底在测什么。别为了炫技嵌套五层 std::void_t，多加一行注释说明探测意图，比省那两个字符重要得多。
