c++ - 如何检测类中是否真的存在特定的成员变量？

Question

我故意使用与 this question 完全相同的标题因为我觉得被接受的答案并不能解决我遇到的问题。

我正在寻找一种方法来检测某个类是否有某个成员变量。重要的是要注意，我正在寻找一个变量，而不是成员函数或其他任何东西。

这是我链接的问题中提供的示例:

template<typename T> struct HasX { 
    struct Fallback { int x; }; // introduce member name "x"
    struct Derived : T, Fallback { };

    template<typename C, C> struct ChT; 

    template<typename C> static char (&f(ChT<int Fallback::*, &C::x>*))[1]; 
    template<typename C> static char (&f(...))[2]; 

    static bool const value = sizeof(f<Derived>(0)) == 2;
}; 

struct A { int x; };
struct B { int X; };

int main() { 
    std::cout << HasX<A>::value << std::endl; // 1
    std::cout << HasX<B>::value << std::endl; // 0
}

但是如果我们做类似的事情，我们将得到完全相同的输出

template<typename T> struct HasX { 
    struct Fallback { int x; }; // introduce member name "x"
    struct Derived : T, Fallback { };

    template<typename C, C> struct ChT; 

    template<typename C> static char (&f(ChT<int Fallback::*, &C::x>*))[1]; 
    template<typename C> static char (&f(...))[2]; 

    static bool const value = sizeof(f<Derived>(0)) == 2;
}; 

struct A { 
  void x()
  {
  }
};
struct B { int X; };

int main() { 
    std::cout << HasX<A>::value << std::endl; // 1
    std::cout << HasX<B>::value << std::endl; // 0
}

(请注意，在第二个示例中，int x 中的 A 已替换为成员函数 void x())。

我不知道如何解决这个问题。我通过做类似的事情部分解决了这个问题

template <bool, typename> class my_helper_class;

template <typename ctype> class my_helper_class <true, ctype>
{
  static bool const value = std :: is_member_object_pointer <decltype(&ctype :: x)> :: value;
};

template <typename ctype> class my_helper_class <false, ctype>
{
  static bool const value = false;
};

template <typename T> struct HasX
{
// ...

static bool const value = my_helper_class <sizeof(f <Derived>(0)) == 2, T> :: value;
};

如果我正在使用一个对象，它实际上会选择。但是，如果有更多同名的重载函数 x，上述方法将不起作用。在我的课上。

例如，如果我这样做

struct A
{
   void x()
   {
   }

   void x(int)
   {
   }
};

然后指针没有成功解析并且调用了HasX <A>不编译。

我该怎么办？是否有任何解决方法或更简单的方法来完成此操作？

Answer 1

问题是 HasX只检查名字 x存在。 ...如果 &C::x 则被选中是模棱两可(如果它在 Fallback 和 T 中都匹配，则会发生这种情况)。 ChT<>仅当 &C::x 时才会选择重载正是Fallback::x .我们实际上并没有检查 T::x 的类型- 所以我们从来没有真正检查过 x是变量或函数或其他任何东西。

解决方案是:使用 C++11 并检查 &T::x是一个成员对象指针:

template <class T, class = void>
struct HasX
: std::false_type
{ };

template <class T>
struct HasX<T,
    std::enable_if_t<
        std::is_member_object_pointer<decltype(&T::x)>::value>
    >
: std::true_type { };

如果&T::x不存在，替换失败，我们回退到主模板并得到 false_type .如果&T::x存在但为重载名称，替换失败。如果&T::x存在但为非重载函数，在 enable_if_t<false> 上替换失败. SFINAE 获胜。

这适用于所有这些类型:

struct A { 
  void x()
  {
  }

  void x(int)
  {
  }
};

struct B { int X; };
struct C { int x; };
struct D { char x; };

int main() { 
    static_assert(!HasX<A>::value, "!");
    static_assert(!HasX<B>::value, "!");
    static_assert(HasX<C>::value, "!");
    static_assert(HasX<D>::value, "!");
}