《深度探索C++对象模型》是一本好书,该书作者也是《C++ Primer》的作者,一位绝对的C++大师。诚然该书中也有多多少少的错误一直为人所诟病,但这仍然不妨碍称其为一本好书。本文志在填坑。
3章3节 Data Member的存取
背景介绍
本节篇幅较短核心内容讲的就是,如下代码的存取效率问题:
Point3d origin, *pt = &origin;
origin.x = 0.0;
pt->x = 0.0;
效率是否有差别。这需要区分x的不同情况。在x是静态成员的时候完全相同,非静态成员中结构体成员、类成员、(普通)单一继承、(普通)多重继承也相同。但如果x是来自于虚基类的数据成员,那么通过对象指针pt来存取效率就低了。
勘误
侯捷(译者)已经指出了本节多处
==
对=
的误用。这是小事。
此外。
本节阐述的思想大体上没有问题,只是有一处描述及其样例代码有误。
原文:
欲对一个nonstatic data member进行存取操作,编译器需要把class object的起始地址加上data member的偏移地址。举个例子,如果:
orgin.y = 0.0;
那么地址&origin.y将等于:
&origin + (&Point3d::y - 1);
请注意其中的-1操作。指向data member的指针,其offset值总是被加上1,这样可以使编译系统区分出“一个指向data member的指针,用以指出一个member”和“一个指向data member的指针,没有指出任何member”两种情况。
上文就是错误所在,概括而言就是说,一个指向对象的数据成员的地址比指向该对象的地址多一个单位的偏移。这其实是错误的(也可能是我的g++视作错误,逃。。)。
首先上面代码并不能运行,报错:
error: invalid operands of types ‘float Point3D::*’ and ‘int’ to binary ‘operator-’
其实和上一篇勘误指出的问题类似。&Point3d::y是类中成员的偏移,换句话说,它不能像普通的(栈,堆等)指针支持比较运算符或者加减的操作符(但是可以打印)。其实只要我们直接打印出类中其成员的偏移就好了。
Point3d origin, *pt = &origin;
//printf("%p\n", &Point3d); // 这是不对的
printf("%p\n", &Point3d::x);
printf("%p\n", &Point3d::y);
printf("%p\n", &Point3d::z);
cout<<"***************"<<endl;
printf("%p\n", &origin);
printf("%p\n", &origin.x);
printf("%p\n", &origin.y);
printf("%p\n", &origin.z);
输出结果是:
(nil)
0x4
0x8
***************
0x7fff15f3a7e0
0x7fff15f3a7e0
0x7fff15f3a7e4
0x7fff15f3a7e8
(nil) 是地址为0的时候输出的内容,可以将%p改成%x来查看该值为0
看到了吧,其实指向这个对象的指针,和指向这个成员的指针并没有多余的便宜。换句话说,指向对象的指针和指向该对象第一个成员的指针是一样的地址!本来就是嘛,指针的值就是地址而已,影响语义(是指向对象,还是指向对象成员)是指针类型的前缀啊,依靠float*
的floa
t和Point3d*
的Point3d
来区分语义的。