SFINAE 仅决定候选函数是否参与重载解析，不判定重载本身；正确探测需将 decltype 表达式置于依赖模板参数的上下文（如 void_t 或 is_detected），避免硬错误。
能用 std::is_detected（C++17）或自定义探测器判断成员是否存在，但 SFINAE 本身不“判定重载”，只决定候选函数是否参与重载解析——关键在如何构造不导致硬错误的表达式。
用 decltype + void_t 探测成员变量或嵌套类型
最常见误写是直接写 decltype(T::member)：若 T 没有 member，这会触发硬错误，SFINAE 失效。必须包裹在依赖模板参数的上下文中。
正确做法是结合 void_t 与别名模板：
template<typename T> using has_value_type = decltype(std::declval<T>()::value_type); template<typename T> constexpr bool has_value_type_v = std::is_detected_v<has_value_type, T>;
这里 std::is_detected_v 内部用 void_t<...> 把探测表达式转为SFINAE友好的形式。注意：std::declval<T>()::value_type 是访问嵌套类型，不是变量；若要测成员变量，改用 decltype(std::declval<T>().member)。
立即学习“C++免费学习笔记（深入）”；
- 测静态成员变量：用
decltype(T::member)，但需确保T是完整类型（类模板实参不能是未完成类型） - 测非静态成员函数：必须用
decltype(std::declval<T>().func(...))，且参数列表要匹配重载签名 - 测重载函数时，仅靠返回类型探测不够——
decltype(x.func())可能因重载歧义失败，需进一步限定参数类型
用表达式 SFINAE 区分不同签名的成员函数重载
探测「是否存在接受 int 的 foo 成员函数」，不能只写 foo(42)，而要确保调用表达式唯一可解析。
典型写法是构造一个带优先级的重载集：
template<typename T>
auto test_foo(int) -> decltype(std::declval<T>().foo(42), std::true_type{});
template<typename T>
std::false_type test_foo(...);
template<typename T>
constexpr bool has_foo_int_v = decltype(test_foo<T>(0))::value;
这里 test_foo(int) 的形参 int 让它比 ... 更优；若 T::foo(int) 存在且可调用，则第一个重载胜出并返回 true_type；否则退到 ... 返回 false_type。
- 参数必须显式写出，不能用
auto—— 模板推导不参与 SFINAE 替换 - 若
foo是 const 成员函数，需写std::declval<const T>().foo(...) - 若
foo是模板成员函数，无法直接探测（除非提供具体实参使其实例化）
为什么 std::is_same<decltype(...), ...> 容易踩坑
有人试图用 std::is_same_v<decltype(x.bar()), int> 判断返回类型，但这在 x.bar() 不存在时直接编译失败——SFINAE 不起作用，因为 decltype 在非模板上下文中求值。
必须把整个类型运算放进模板参数或默认模板参数中，例如：
template<typename T,
typename = decltype(std::declval<T>().bar())>
struct has_bar_impl : std::true_type {};
template<typename T>
struct has_bar_impl<T, std::void_t<>> : std::false_type {};
此时 decltype(...) 出现在默认模板参数里，属于替换上下文，失败即丢弃该特化。
- 不要在
if constexpr外直接写decltype表达式去测未知成员 -
std::void_t是 C++17 前的惯用法，C++17 起推荐用std::is_detected系列，更安全简洁 - 所有探测都对 cv 限定符敏感：有
const成员和无const成员是两个不同探测目标
真正难的不是写对探测器，而是意识到：SFINAE 只帮你筛掉无效候选，不帮你选最佳重载；一旦多个探测同时成立，后续重载解析仍可能失败——这时候得看调用点上下文，而不是继续堆探测逻辑。
