编译期检测类成员需用sfinae：通过void_t+decltype探测成员变量存在性；用decltype+declval检测特定签名成员函数，const函数需用const t&；区分重载则借助删除函数或is_invocable_v组合判断。

要在编译期判断某个类是否含有特定名称的成员变量、成员函数，或进一步区分该成员函数是否支持某种参数类型的重载，必须绕过硬错误（hard error），转而依赖SFINAE机制触发替换失败不报错（substitution failure is not an error）这一核心原则。

探测类中是否存在指定名称的成员变量

定义一个模板别名配合decltype + 成员访问表达式，在未找到成员时让decltype失效而非报错。

第一步：声明辅助结构体，使用void_t惯用法封装探测逻辑：

template using has_member_x = decltype(std::declval().x);

第二步：利用std::void_t推导偏特化，将“能求出类型”映射为std::true_type：

template struct has_x : std::false_type {};
template struct has_x>> : std::true_type {};

第三步：在需要处调用has_x::value即可获得编译期布尔值。注意：这里只检测名称存在性，不校验类型或可访问性；若x是私有成员，此法仍返回true——因为SFINAE发生在访问检查之前。

探测类中是否存在指定签名的成员函数

方法一：用decltype配合完美转发调用表达式，锁定参数类型与cv限定符：

template using has_foo_int = decltype(std::declval().foo(std::declval()));

template struct has_foo_with_int : std::false_type {};
template struct has_foo_with_int>> : std::true_type {};

C++14

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

下载

方法二：更健壮地处理const成员函数，显式构造const左值引用参与探测：

template using has_foo_const_char = decltype(std::declval().foo(std::declval()));

这一步必须写成const T&，否则无法匹配const限定的成员函数；若误用T&，即使目标函数是const，探测也会静默失败并返回false。

区分同一函数名的不同重载版本

关键在于构造唯一、不可被其他重载匹配的调用上下文。常用技巧是引入带删除定义的辅助函数，再用decltype包裹ADL调用。

方法一：借助优先级更高的非成员函数占位符：

template void test_foo(T*, long) = delete;
template auto test_foo(T* t, int) -> decltype(t->foo(42), void()) { return void(); }

template struct overload_rank {
  static constexpr bool value = !std::is_same_v; };
这个方案通过第二个参数类型控制重载决议路径，long版本被删除后，仅当t->foo(42)合法时int版本才参与匹配。

方法二：直接用void_t嵌套探测多个签名，组合布尔逻辑：

template
constexpr bool has_foo_int_v = std::is_invocable_v;
template
constexpr bool has_foo_string_v = std::is_invocable_v;

【注意：&T::foo必须显式取址，不能写成&T::foo()，否则会尝试实例化函数调用而非获取函数指针】

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