《深入探索C++对象模型》第三章奇怪语句解释

男娘i 2022-09-22 11:56 184阅读 0赞

在第三章的3.3节有下面这样一段描述：

class Point3d
    {
    	private:
    		float x;
    	private:
    		float y;
    		static const int chunkSize = 250;
    	private:
    		float z;
    };
    
    Point3d origin;
    origin.y = 0.0;
    那么地址&origin.y将等于：
    &origin + (&Point3d::y - 1);

对于“-1”的操作解释是这样的：“指向data member的指针，其offset值总是被加上1，这样可以使编译系统区分出“一个指向data member的指针，用以指出class的第一个member”和“一个指向data member的指针，没有指出任何member”两种情况”。

这句话简直就不是人说的。什么叫“一个指向data member的指针，却没有指出任何member的两种情况”！！！你都指向data member的指针了，还没有指出任何member，这TMD的见鬼了！

当时心里无数头草泥马狂飙而过啊。。。

几经周折终于搞通了，这句话中指出的两种情况，实际上应该是下面这样子的。

class Point3d
    {
    	public:
    		virtual ~Point3d();
    		//…
    	protected:
    		static Point3d origin;
    		float x,y,z;
    }
    float Point3d::*p1 =0;
    float Point3d::*p2 = &Point3d::x;
    //Point3d::* 的意思是“指向Point3d data member”的指针类型
     
    if( p1 == p2 )
    {
    	cout <<” p1 & p2 contain the same value.”;
    	cout <<”they must address the same member!”<<endl;
    }

其中p1对应的是：一个指向data member的指针，却没有指出任何member；p2对应的是：一个指向data member的指针，用以指出class的第一个member。

至于“-1”的正解应该是这样的：成员指针其实就是成员相对于当前对象的偏移量，按照这个说法p2指向的是Point3D的第一个成员，理论上应该是0的,但是由于0被NULL指针定义了，所以认为地规定p2=1，以此类推。