C++

对象的大小

对于A:
有一个隐含1byte, 使得该类的对象在内存分配时占用不同的内存地址(GCC为1, VS为0)
对于B,C:

语言本身的额外负担. 当有virtual base class时,派生类中有bptr, 指向virtual base class subpbject或者偏移表格
编译器对特殊情况所提供的优化处理
Alignment调整, alignment=4, 使BUS到最大吞吐效率

对于D:
两个bptr组成D

对于

class A{};
class B : virtual public A {};
class C : virtual public A {};
class D : public B, public C {};

有

sizeof(A) == 1; sizeof(B) == 4; sizeof(C) == 4; sizeof(D) == 8;

注: static member/function, non-static function不加入类对象大小.
Data Member Layout数据成员布局
non-static data member不论访问限制, 仅按照出现的顺序, 由地址从低到高排列, 不一定连续, 是由于alignment的调整.
若有v.f. [...]

加上封装后的布局成本(Layout Costs for Adding Encapsulation), 封装并没有增加成本, 类对象内含数据成员, 成员函数不在类对象中, 非内联成员函数仅存在一份函数实体, 而内联函数在调用出展开. C++在布局和存取时间上的主要额外负担在于虚函数, 虚基类和多重继承.
C++对象模型(C++ Object Model)
两种数据成员(static和non_static)
三种成员函数(static, non_static, virtual)

简单对象模型(Simple Object Model)
类对象含有一组slot, slot中存储每个元素(数据和函数)的指针, 损失空间和执行期效率, 对象大小 = 指针长度 * 成员(数据+函数)个数

表格驱动对象模型(Table-driven Object Model)
对所有类的所有对象的布局保持一致, 对象含有两个指针, 分别指向Data Member Table和Member Function Table, 前者直接含有数据值, 后者含有指向函数的指针.

表格驱动对象模型
non_static data member被放在每一个object中, static data member, static function member, non_static function member都在object之外, 对于virtual function: 1. 每个class产生一堆指向VF的指针; 2. 每个object被添加一个vptr, [...]