一、指向成员变量的指针并非指针
C++中指向成员变量的指针其实是一个相对于类对象的偏移量。《C++必知必会》的条款15讲述了这一说法:“与常规指针不同,一个指向成员变量的指针并不指向一个内存位置。它指向的是一个类的特定成员,而不是指向一个特定对象里的特定成员。通常最清晰的做法是将指向数据成员的指针看作为一个偏移量。......。这个偏移量告诉你,一个特定成员的位置距离对象的起点有多少个字节。”
看一段示例代码:
class DemoClass
{
public:
DemoClass() : m_a(100) { }
// ....
public:
int m_a;
};
int DemoClass::*ipm = 0; // ipm是一个指针,指向类DemoClass的一个int成员,该处初始化为0
void printAddress()
{
DemoClass aC;
cout << &(aC.m_a) << endl; // 0x22fecc
//ipm = &(aC.m_a); // 编译错误: cannot convert 'int*' to 'int DemoClass::*' in assignment
ipm = &DemoClass::m_a; // ok
cout << ipm << endl; // 1 opps! 注意哦!这里输出1,即offset == 1
cout << aC.m_a << endl; // 100
aC.*ipm = 99; // 这是神马用法? 很惊奇!! O(∩_∩)O哈哈~
cout << aC.m_a << endl; // 99
DemoClass *pC = &aC;
cout << pC->m_a << endl; // 99
pC->*ipm = 1001; // 这又是神马用法? 其实等价于 aC.*ipm = 99; O(∩_∩)O哈哈~
cout << aC.m_a << " | " << pC->m_a << " | " << pC->*ipm << endl; // 1001 | 1001 | 1001
}
由其可见,给定一个成员变量在类中的偏移量,为了访问位于那个偏移量的数据成员,我们还需要该类的一个对象的地址。这时候就需要用到 .* 和 ->* 两个操作符了。其实这两个操作符也没啥新奇的。. 和 ->分别为对象和对象指针的成员访问操作符, 而 * 则为解引用操作符。当写下 aC.*ipm 时,其实就是请求将 aC的地址加上ipm所表示的偏移量,然后访问该 aC 所表示的对象中的特定数据成员。当写下 pC->*ipm 时,其实就是pC所指向的地址加上ipm所表示的偏移量,然后访问pC所指向的对象中的特定数据成员。
二、指向成员函数的指针并非指针
获取非静态成员函数的地址时,得到的不是一个地址,而是一个指向成员函数的指针。为了对一个指向成员函数的指针进行解引用,需要一个对象或一个指向对象的指针。因为通过指向成员函数的指针调用该函数时,需要将对象的地址用作this指针的值,以便进行函数调用(当然,也有其它的用途)。
下面是一段“指向成员函数指针”使用的示例代码:
struct Point
{
int x;
int y;
};
class Shape
{
public:
// ....
void moveTo(Point newLocation)
{
cout << "(" << newLocation.x << ", " << newLocation.y << ")" << endl;
}
bool validate() const
{
cout << "Shape::validate()" << endl;
return true;
}
virtual bool draw() const = 0;
// ....
};
class Circle : public Shape
{
// ....
virtual bool draw() const
{
return true;
}
// ....
};
void (Shape::*pmf)(Point) = 0;
void testMemberFunctionPointer()
{
pmf = &Shape::moveTo;
Circle circle;
//pmf = &circle.moveTo; // 编译错误:ISO C++ forbids taking the address of a bound member function to form a pointer to member function. Say '&Circle::moveTo'
Point pt;
pt.x = 9999;
pt.y = 9999;
(circle.*pmf)(pt); // 通过对象直接调用 .*
pt.x = 888;
(&circle->*pmf)(pt);
Shape *ps = &circle;
(ps->*pmf)(pt); // 通过指针调用 ->*
void (Circle::*pmf2)(Point) = &Shape::moveTo;
(circle.*pmf2)(pt);
void (Shape::*pmf3)(Point) = &Circle::moveTo;
(circle.*pmf3)(pt);
bool (Shape::*pmV)() const = 0;
pmV = &Shape::validate;
(circle.*pmV)();
}
尽管指向类成员(包括成员变量和成员函数)的指针使用很少,但是知道这些概念还是有好处的。