最可靠的方式是用 std::is_detected 配合 decltype(std::declval<T>().foo()) 探测可调用性，而非 &T::foo；需明确参数、cv限定，并注意重载与返回值处理。
用 std::is_detected 检测成员函数是否存在
最可靠的方式是借助 std::experimental::is_detected（C++17 起可配合 std::void_t 手写等效），它能静态判断某个类型是否具备特定签名的成员函数。核心思路是构造一个探测表达式，编译器在 SFINAE 上下文中尝试实例化，失败则忽略该重载。
例如检测 T 是否有 void foo() const：
template<typename T> using has_foo = std::is_detected<decltype(&T::foo), T>;
但注意：这只能检测**成员变量或静态成员函数名存在性**，对非静态成员函数需更严谨的探测——推荐用 decltype(std::declval<T>().foo()) 形式：
-
std::declval<T>()提供一个假想的T实例（不构造） -
.foo()触发调用表达式，要求foo是可访问、可调用的非静态成员 -
decltype(...)仅检查表达式合法性，不执行
为什么不能只靠 &T::foo 判断非静态函数
直接写 decltype(&T::foo) 在 T 有同名数据成员或重载函数时会误报或编译失败。比如 T 定义了 int foo; 和 void foo();，&T::foo 就是歧义的，SFINAE 不生效，直接报错而非静默丢弃。
立即学习“C++免费学习笔记（深入）”；
正确做法是模拟调用语义：
template<typename T>
using has_foo_callable = std::is_detected<
decltype(std::declval<T>().foo()), T
>;
- 若
T没有foo()成员函数，或foo是私有/被删除/参数不匹配，该探测会 SFINAE 失败，has_foo_callable<T>::value为false - 若
T有foo() const但你用非常量对象调用，探测也会失败——需额外加const限定：std::declval<const T>().foo()
处理重载和 const/volatile 限定的常见坑
成员函数重载会让探测变脆弱。比如 T 有 void foo(int) 和 int foo() const，你想检测无参 foo()，但没指定参数和 cv 限定，探测可能意外匹配到带参版本（如果参数可默认构造）或失败。
- 明确写出参数列表：
std::declval<T>().foo()→ 只匹配无参版本 - 区分 const 性：
std::declval<const T>().foo()检测 const 成员函数；std::declval<volatile T>().foo()同理 - 避免依赖返回值类型判断——除非你真关心返回类型，否则用
void占位更安全：decltype(static_cast<void>(std::declval<T>().foo()))
C++20 起可用 requires 表达式简化写法
比起模板元编程，requires 更直观且错误信息更友好：
template<typename T>
constexpr bool has_foo_v = requires(T t) {
t.foo();
};
但要注意：
-
requires是编译期布尔常量，不能用于 SFINAE 上下文（如std::enable_if_t），只能用于if constexpr或概念约束 - 它隐式要求
t可拷贝（因为传值），若T不可拷贝，应改用requires(const T& t)并传std::declval<const T&>() - 某些老编译器（如 GCC 10 前）对
requires的支持不完整，生产环境仍建议优先用std::is_detected兼容方案
真正难的不是写对一个探测，而是想清楚你要检测的是“名字存在”“可调用性”“特定签名”，还是“在某个 cv 限定下可调用”——漏掉任意一个条件，都可能让 static_assert 在某个边缘类型上突然炸开。
