std::enable_if必须放在模板参数或返回类型中才能触发SFINAE；若置于函数体内，则类型检查失败会直接导致硬错误而非重载回退。
直接用 requires（C++20）最干净；若必须兼容 C++17 或更早，std::enable_if + decltype(std::declval<t>().member)</t> 是可靠路径，但位置和括号稍错就变硬错误。
为什么 std::enable_if 放在函数体里完全没用
std::enable_if 不是运行时开关，它只在模板参数推导阶段起作用。一旦推导完成、进入函数体，任何类型检查失败（比如 static_assert 或直接访问 T::value_type）都会立刻终止编译，不会回退到其他重载。
- ❌ 错误写法：
template<typename t> void foo(T t) { static_assert(std::is_integral_v<t>); }</t></typename>—— 这不是 SFINAE，是硬错误 - ✅ 正确位置：返回类型或默认模板参数，例如
template<typename t std::enable_if_t>>* = nullptr></typename> - ⚠️ 注意：C++11 必须写
typename std::enable_if<...>::type</...>；C++14 起可用std::enable_if_t<...></...>，少写两处
检测成员函数存在：decltype + std::declval 是底线写法
想确认 T 是否有 begin()，不能写 T{}.begin()（要求可构造），也不能写 T::begin（查的是静态成员）。唯一安全方式是用未求值表达式探测调用可行性。
- 核心模式：
decltype(std::declval<t>().begin())</t>——std::declval<t>()</t>不构造对象，只提供类型语义 - 必须包裹在函数重载中，靠替换失败触发 SFINAE：
template<typename t> auto test(int) -> decltype(std::declval<t>().begin(), void()); template<typename> auto test(...) -> std::false_type;</typename></t></typename> - 常见漏点：逗号表达式缺了
, void()或类似兜底类型，导致decltype推导出具体返回类型（如int*），重载决议反而失败
C++20 requires 比 SFINAE 更直观，但不等价
requires 看起来像语法糖，但它底层仍是 SFINAE 思想的封装；区别在于可读性和约束粒度。
立即学习“C++免费学习笔记（深入）”；
- ✅ 可直接写：
template<typename t> void bar(T t) requires requires { t.begin(); };</typename> - ⚠️ 但
requires不能替代 SFINAE 在类模板部分特化中的作用——比如template<typename t> struct X<t std::enable_if_t>>> {}</t></typename>这种写法，requires无法塞进特化条件里 - ⚠️ 编译器报错信息通常比 SFINAE 更友好，但某些老项目（如 Boost.Spirit、Eigen 3.x）仍重度依赖 SFINAE，读源码绕不开
真正容易被忽略的点是：SFINAE 失败必须严格发生在“替换阶段”，哪怕多一个括号、少一个 std::declval，都可能让失败滑入语义检查阶段，变成不可恢复的硬错误。这不是写得不够多的问题，而是每一步是否落在编译器判定“可静默丢弃”的边界上。
