C++对象模型-关于对象 第一章笔记

读完C++对象模型书后，做一个笔记整理
第一章-关于对象
第二章-构造函数语义学
第三章-Data语义学
第四章-Function语义学
第五章-构造拷贝解析语义学
第六章-执行期语义学
第七章-在对象模型的尖端

c++增加封装后并未增加对象布局开销，基布局及存取时间额外负担是由virtual引起

• virtual function 机制以支持 情况下会给c++带来内存(虚函数表)开销,运行时负担.
• virtual base class 机制以实现多次出现在继承体系中的base class有单一被共享实体
• 以及多继承时的负担，子类与第二或后继父类之间的转换

c++含两种成员变量static nonstatic 三种成员函数static nonstatic virtual。

• 放在object内的有 nonstatic 成员变量，指向virtal table的指针vptr
• 放在object外的有 static 成员变量，static nonstatic成员函数，虚函数的虚函数表

而虚函数需要经过以下两个步骤

1. c++每个类会有一个虚函数表表内指向相应的虚函数
2. 对象在构造时会添加一个指针vptr指向vtbl。vptr的设置、重置由class的构造、析构、拷贝赋值运算符处理。且vtbl的第一个一般是关联type info object，以支持RTTI

C++以下列方法支持多态

• 由隐含的转化操作，把子类指针转化为一个指向其父类的指针
• 由virtal function机制调用虚函数
• 由dynamic_cast 和 typeid 运算符 进行类型转换、获取类型信息

对象大小包含

• 其nonstatic data members总和大小
• 由于alignment而padding的空间(空间对齐)
• 支持virtual而产生的额外负担

c++中指针仅是一个地址,指针类型决定编译器如何解释指向地址内的数据.多态就依赖指针.
若对象赋值,子类赋值给基类对象,由于内存空间已定,则会裁切.

下一篇 第二章-构造函数语义学