第3章 Data语义学

3.1 Data Member的绑定

类的static data members被放置在程序的global data segment，nonstatic members数据直接存放在类对象中。

类对象的实际大小，要考虑：1.由编译器自动加上的额外data members，用来支持某些语言特性；2.字节对齐的需要。

3.2 Data Member的布局

nonstatic data members在class object中的排列顺序和其被声明的顺序一样。

C++Standard要求，较晚出现的members在class object中的较高地址。

3.3 Data Member的存取

非指针对象和指针对象 对data member的执行效率的比较：_x是struct member、class member、单一继承、多重继承的情况下是完全相同，如果_x是virtual base class 的member，指针对象存取速度会比较慢。

3.4 “继承”与Data Member

一个derived class object所表现出来的东西，是其自己的members加上基类成员的总和。

• 只要继承不要多态：派生类大小 = 基类大小(包括字节对齐) + 派生类新增members大小
• 加上多态：单一继承并含有虚函数

只有一个虚函数表，派生类的虚函数地址均存放在该表中(无论是重写基类虚函数，还是新增的虚函数)。

派生类大小 = 基类大小 + 派生类新增members大小。

• 多重继承：可以有多个虚表指针，派生类新增的虚函数地址存储在第一个虚表中。

• 虚拟继承：虚拟继承的派生类，编译器会生成一个虚基类指针，指向一个或多个虚基类。如果派生类中新增了虚函数，则编译器会生成一个虚表，存放派生类的虚函数地址(而不同于之前，放在基类的第一个虚表中)。

 

• 对象成员的效率： 单一继承不影响测试效率

3.6 指向Data Members的指针

 指向data menbers的指针(针对类而言的)，返回的是data members的offset。

为了区别一个“没有指向任何data member”的指针和一个指向“第一个data member”的指针，每一个真正的member offset值都被加上1。