首页 > 代码库 > 【深度探索C++对象模型】data语义学
【深度探索C++对象模型】data语义学
class X{};class Y :public virtual X{};class Z :public virtual X{};class A :public Y, public Z{};void main(){ cout << sizeof(X) << " " << sizeof(Y) << " " << sizeof(Z) << " " << sizeof(A); system("pause");}
vs2013的结果是1,4,4,8
因为Y,Z继承自X,会有指针指向父类。
X内部的1byte,使得这个class的多个object得以在内存中配置独一无二的地址。
一、data member的布局
nonstatic data members在class object中的排列顺序将和其被声
明的顺序一样,任何中间介入的static data member都不会被放进对象布局中。
C++standard要求,在同一个access section中,member的排列只需符合较晚出现的member在class object中有较高的地址即可,各个member并不一定得连续排列。
编译器可能会合成一些内部使用的data member,以支持整个对象模型,vptr就是这样的东西,当前所有的编译器都把它安插在每一个内含virtual function之class的object内,vptr的安放位置依不同的编译器决定。
二、data member的存取
1.static data member
每一个static data member只有一个实体,存放在程序的data segment之中,并不再class object中,每次程序取用static member,就会被内部转化为对该唯一的extern实体的直接操作,也就是说通过一个指针和通过一个对象来存取static data me
mber完全相同。
2.nonstatic data member
Point3D origin,*pt=&origin;origin.x=0;pt->x=0;
当Point3D是一个derived class,而在其继承结构中有一个virtual base class,并且被存取的member是一个从该virtual base class继承而来的member时,上述两种方式有重大差异。这时候我们不知道pt指向哪一个class(多态),所以这个存取操作必须延迟到程序运行时。但使用origin,member的offset位置在编译期间就固定了。
欲对一个nonstatic data member进行存取操作,编译器需要把class object的起始地址加上data member的偏移量(offset)。