C++17起推荐用std::void_t+decltype探测成员变量存在性，核心是将表达式合法性映射为类型可实例化性，避免硬错误；函数重载探测需用std::declval().func(...)模拟调用，使SFINAE在重载决议前生效。
能用 std::is_detected（C++17）或自定义探测模板判断成员是否存在，但“重载判定准则”不是 SFINAE 的职责——它只管“能不能实例化”，不管“选哪个重载”。真正决定调用哪个重载的是 ADL + 重载决议规则，SFINAE 只是让错误不硬报。
怎么写一个靠谱的成员变量存在性探测器
核心思路：用 decltype 检查 T::member 是否合法，配合 void_t 或 std::void_t 做别名替换。失败时 SFINAE 掉整个特化，不报错。
常见错误：直接写 decltype(T::member) 在模板参数里，没包进依赖上下文，导致硬错误。
- 必须把探测表达式放在模板参数推导位置（如
typename = decltype(...)），让它成为“依赖名称” - C++17 起推荐用
std::void_t<decltype></decltype>；C++11/14 可手写void_t别名模板 - 注意：静态成员、枚举值、嵌套类型都能测，但不能区分“是变量还是 static const 常量”
示例（C++17）：
立即学习“C++免费学习笔记（深入）”；
template<typename T> using has_foo_member = std::void_t<decltype(T::foo)>;
之后可用 std::is_detected_v<has_foo_member, MyStruct> 得到 true 或 false。
函数成员（含重载）探测为什么更麻烦
探测 T::bar() 是否存在，不能只看名字——它可能有多个重载，而 decltype(&T::bar) 会因重载歧义直接编译失败（硬错误），SFINAE 救不了。
正确做法是用完美转发加可变参数模拟调用，让重载决议在探测上下文中发生：
- 写一个假想的调用表达式，如
std::declval<T>().bar(std::declval<Args>()...) - 把整个表达式塞进
decltype(...)，再用std::void_t包裹 - 这样只要存在至少一个匹配的重载，探测就成功；全都不匹配才 SFINAE 失败
- 注意：不检测 const/volatile 限定符差异，除非你显式传入
const T或加noexcept约束
示例（探测 bar(int)）：
template<typename T> using has_bar_int = std::void_t<decltype(std::declval<T>().bar(0))>;
SFINAE 和重载决议的边界在哪
很多人误以为 SFINAE 能“挑出最优重载”，其实完全不能。它只做两件事：确认某个函数模板是否参与重载集；或让某个特化不被实例化。
真正决定“调用哪个 bar”的是后续阶段：
- ADL 查找所有可见的
bar（包括非成员、友元） - 重载集形成后，按参数匹配度排序（精确匹配 > 升级 > 转换）
- 如果有多个同样好，才是模棱两可错误（hard error）
- SFINAE 只影响“这个模板能不能进重载集”，不影响排序结果
所以，不要指望靠 SFINAE 探测器返回“它重载了几个版本”或者“哪个最匹配”——它只能回答“有没有至少一个能用的”。要精细控制调用路径，得靠 enable_if + 多个模板约束组合。
容易被忽略的陷阱：模板成员和别名模板
类里定义了 template<typename U> void func(U);，用上面的函数探测法会失败，因为 std::declval<T>().func(0) 不足以触发模板参数推导（缺少显式模板实参）。
- 必须显式写出
func<int>(0)才行，但这就丧失通用性 - 更稳妥的方式是探测其地址：
decltype(&T::template func<int>)，但这要求你知道具体类型 - 别名模板（
using X = ...）不能用T::X直接探测，得用typename T::X，且必须确保它不依赖模板参数（否则又是硬错误） - 继承来的成员默认不可见，除非用
using Base::member;引入，否则探测不到
这类边界情况没有银弹，往往需要结合 is_base_of、is_same 和多层 enable_if 组合判断。
