什么是“类::*”

Question

我正在学习 SFINAE（替换失败不是） 我在一个网站上找到了一个例子，

template<typename T>
class is_class {
   typedef char yes[1];
   typedef char no [2];
   template<typename C> static yes& test(int C::*); // What is C::*?
   template<typename C> static no&  test(...);
   public:
   static bool const value = sizeof(test<T>(0)) == sizeof(yes);
};

我在第 5 行发现了一个新签名 int C::*。起初我以为是 operator*，但我想这不是真的。 请告诉我这是什么。

Answer 1

int C::* 是指向 C 类成员的指针，其类型为 int。

例子：

struct C
{
   C () : a(0), b(0) {}
   int a;
   int b;
};

int main()
{
   int C::*member1 = &C::a;
   int C::*member2 = &C::b;
   C c1;
   c1.*member1 = 10;  // Sets the value of c1.a to 10
   c1.*member2 = 20;  // Sets the value of c1.b to 20
}