c++ - 这个模板函数对类型有什么要求

Question

我正在查看如下所示的 C++ 代码:

template<class A>
bool foo(int A::*)
{ /*blah*/ }

int A::* 结构是什么？它对 A 类型有什么要求？

非常感谢!!

Answer 1

int A::* 是指向 A 类型的 int 数据成员的指针。例如，给定类型:

struct Foo { int i; };
struct Bar { double d; };

• int Foo::* 是指向 Foo 类型的 int 数据成员的指针，其唯一有效值为 null 和地址Foo::i
的
• int Bar::* 是指向 Bar 类型的 int 数据成员的指针，其唯一有效值为 null，如 Bar 不包含 int 数据成员

A 类型的唯一要求是它不是基本类型，因为基本类型显然不能有数据成员。