如何修改C++模板宏实现仅检测类的非static非类型成员？

方案有效性与边界情况说明 #

你的方案对普通非重载、非模板、非继承、公开访问的非位域数据成员是完全有效的，核心逻辑符合C++标准对静态/非静态成员取地址的类型规则，但存在几个容易忽略的边界场景会导致误判或漏判：

会导致判断出错的边界情况

• 继承来的非静态成员
  比如基类B定义了非静态成员x，派生类D公开继承B，此时decltype(&D::x)的类型是int B::*，而你判断用的decltype(D::x) D::*是int D::*，二者类型不相等，会误判派生类不存在该非静态成员。
  👉 优化方案：检测非静态成员时不需要严格匹配成员指针所属类，直接用std::is_member_pointer<decltype(&T::Member)>替代你写的is_same判断即可，只要是成员指针类型就判定为非静态成员，可完美解决继承场景的问题。

• 重载/模板成员函数
  如果检测的名字对应多个重载的成员函数，或者是模板成员函数，&T::Member会因为类型推导歧义直接触发SFINAE，最终谓词返回false，哪怕确实存在对应名字的成员也会漏判。

• 非公开成员
  你在类外部执行检测时，如果目标成员是private/protected权限，&T::Member会因为访问权限不足编译失败，触发SFINAE返回false，漏判存在的成员。

• 位域成员
  C++标准不允许对位域类型的非静态成员取地址，&T::Member会直接编译失败触发SFINAE，漏判存在的非静态位域成员。

额外优化建议

如果你的编译环境支持C++20，用requires表达式写检测逻辑会更鲁棒，可同时解决继承、位域、重载的问题：

// 仅检测是否存在对应名字的成员，不区分静态/非静态
#define DEFINE_HAS_MEMBER(Member) \
template<typename T> \
constexpr bool HasMember_##Member = requires(T t) { t.Member; };

// 区分静态/非静态可以再加一层判断
#define DEFINE_HAS_STATIC_MEMBER(Member) \
template<typename T> \
constexpr bool HasStaticMember_##Member = requires { T::Member; } && !requires(T t) { &t.Member; };

内容的提问来源于stack exchange，提问作者Enlico