必须借助sfinae配合decltype和void_t实现精准探测：先用void_t别名、再声明主模板并偏特化，通过decltype(t{}.x)或std::declval().foo()触发sfinae；对重载需分const/non-const单独探测，最后用constexpr函数分类响应。

要在编译期判断某个类是否含有特定名称的成员变量或成员函数，且能区分不同签名的重载版本（比如 const 与非 const 版本、参数个数不同的函数），必须借助 SFINAE 原理配合 decltype 和 void_t 技巧实现精准探测，不能仅靠 has_member 模板简单匹配名称。

探测类中是否存在指定名称的非静态数据成员

第一步：定义一个辅助模板别名 【void_t 必须用 C++17 及以上标准，否则需手动实现】：

template using void_t = void;

第二步：声明主探测模板，偏特化失败时默认返回 std::false_type：

template struct has_member_x : std::false_type {};

第三步：对存在 T::x 的情形进行偏特化，利用 decltype(T{}.x) 触发 SFINAE：

template struct has_member_x().x)>> : std::true_type {};

这一步的关键是 std::declval() 构造出一个假想的右值对象，避免调用真实构造函数；若 T 中无 x 成员，decltype 表达式无效，偏特化被丢弃，主模板生效。

探测类中是否存在特定签名的成员函数（含 const 重载区分）

方法一：按完整函数类型探测（推荐用于 const/non-const 区分）

template struct has_foo_void_const : std::false_type {};

template struct has_foo_void_const().foo())>> : std::true_type {};

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

注意：这里用 const T& 调用，只能匹配 const 成员函数；若换成 T& 或 std::declval()，则只匹配非 const 版本。

方法二：按参数列表探测（适合多参数重载）

template struct has_bar_int : std::false_type {};

template struct has_bar_int().bar(42))>> : std::true_type {};

这会匹配任意接受 int（或可隐式转换为 int）参数的 bar 重载，但无法区分 void bar(int) 和 int bar(int) —— 因为 decltype 结果不同，需分别写两个探测器。

一次性探测多个重载并分类响应

第一步：定义三态探测结果枚举

enum class foo_overload { none, non_const, const_only, both };

第二步：分别探测 non-const 和 const 版本

template constexpr auto detect_foo_overload() {
  if constexpr (has_foo_void_non_const_v && has_foo_void_const_v) return foo_overload::both;
  else if constexpr (has_foo_void_non_const_v) return foo_overload::non_const;
  else if constexpr (has_foo_void_const_v) return foo_overload::const_only;
  else return foo_overload::none;
}

第三步：在模板中使用该 constexpr 函数做分支

template
auto call_foo_safely(T&& t) {
  constexpr auto overload = detect_foo_overload<:decay_t>>();
  if constexpr (overload == foo_overload::both || overload == foo_overload::non_const) {
    return std::forward(t).foo();
  } else if constexpr (overload == foo_overload::const_only) {
    return static_cast&>(t).foo();
  }
}

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！