成员指针
首先让我们看一下,一个简单的成员变量指针 和 成员函数指针的使用例子。
struct A {
int i = 0;
void foo(){}
};
int A:: * pi = &A::i;
void (A::* pfoo)() = &A::foo;
A a;
a.*pi = 1; //等同于 a.i = 1
(a.*pfoo)(); //等价于 a.foo();
我们先要明确一件事:类的成员指针并不是指针,它的值既不是内存地址,行为上也不指针的行为。
在vc++ 下,输出 &A::i 和 &A::foo 的值,你会发现他们的值都为1
成员指针类型
在上面的例子中, pi 类型是 int A::*, pfoo 的类型是 void
我们可以 把成员指针的类型 抽象成如下表达式:
template <typename Type, typename Class>
using MemberPointer = Type Class::*;
// 1. 类中数据成员的指针, 那么 Type 就是 变量的类型
// 2. 类中函数成员的指针, 那么 Type 就是 函数的类型
// 例如 void func(int) 的函数类型 Type 等同于 typedef void(Type)(int)
成员指针的赋值
成员指针的赋值可以抽象为如下代码
Type C::* p = C::member;
// member 是C 类中的成员数据或成员函数,其类型为 Type;
需要注意的是,成员指针只能运用于 非静态函数, 如果是静态成员。如果是静态成员,&T::member 返回的就是实际的内存地址。
成员指针的调用
成员函数指针的调用必须通过类对象,和操作符 .* 或 ->*
int A:: * pi = &A::i;
A a;
a.*pi; // 等同于 a.i
A* a_ptr;
a_ptr->*pi; // 等同于 a_ptr->i;
成员指针的理解
通过上面使用的说明,其实可以发现, 成员指针指向的并不一个特定对象的特定成员,而是一个类的特定成员。那么它必然不可能是一个具体的内存上的地址。 通常情况下,我们可以将其理解为 成员 在类中的偏移量(相对于 类的起始地址而言)。
同一个成员在在所有对象的偏移量是一致的,那么当我们 有一个对象时,通过偏移量 就能调用到 这个对象 特定的成员。