指向Data Member的指针——《Inside The C++ Object Model》之二

      指向data member的指针是C++的一个语言特性，对于考察class member的底层布局，尤其是虚函数指针和虚基类指针在class object中的布局很有用。如下面的例子

#include <iostream>

class Point
{
public:
	Point():x(0x10),y(0x20){}
	virtual void vFun(){}
	static int s;
	int x,y;
};

void main()
{
	Point p;
	Point origin;
	printf("&Point::x= %X\n",&Point::x);
	printf("&Point::y= %X\n",&Point::y);
	printf("&p= %X\n",&p);
	printf("&p.x= %X\n",&p.x);
	printf("&p.y= %X\n",&p.y);
	printf("sizeof(p)= %d\n",sizeof(p));
	
}

    以上代码在VC6运行的结果如下：

&Point::x= 4
&Point::y= 8
&p= 12FF74
&p.x= 12FF78
&p.y= 12FF7C
sizeof(p)= 12

     从上面的结果可以看出：

• &Point::x 和 &Point::y 指的是成员x和y在class object中的偏移量，分别是4 和8
• &p.x 和 &p.y 指的是x和y的内存地址
• 从p的大小为12可知，static data member并不是class object的部分
• 在VC6中，虚函数指针位于class object 的起始处

     另外几点：

• &Point::s 的类型是 int*             (static data member, 和具体的class object无关)
• &Point::a 的类型是 int Point::*  (含义：指向Point data member的指针)
• &origin.a  的类型是 int*             (这个操作参考的是Point 的一个特定实例)

    如果关于x和y在class object中的偏移量用cout输出，总是等于1，原因我也不清楚

std::cout<<&Point::x<<std::endl; // 1
std::cout<<&Point::y<<std::endl; // 1