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

最新推荐文章于 2021-11-13 16:55:51 发布

原创最新推荐文章于 2021-11-13 16:55:51 发布 · 540 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#C++ #深入探索C++对象模型

深入探索C++对象模型专栏收录该内容

2 篇文章

订阅专栏

本文深入探讨了C++中指向类成员的指针的概念及其使用方式，特别是针对成员变量的偏移量如何通过成员指针来表达，并通过具体实例进行了解释。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在第三章的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，以此类推。