深度探索C++对象模型第一章

终于开始读这本寻求好久的书，可能我现在的层次读起来有些费劲，但我还是决定慢慢一点点看下去，因为有一种兴趣作为动力驱使着我。

下面总结下第一章中的一些内容留作以后回顾：

C++对象模型

c++对象模型的第一个概念是一种“不变量”。

1.每一个class产生一堆 指向virtual functions的指针，放在表格中，这个表格称为virtual table(vtbl).

2.每一个class object 被添加了一个指针，指向相关的virtual table。通常这个指针被称为vptr.

虽然你可以直接或间接处理继承体系中的一个base class object，但只有通过pointer或reference的间接处理，才支持OO程序设计所需的多态性质。

Nonpublic的派生行为以及类型为*void的指针可以说是多态，但他们并没有被语言明白地支持，也就是说他们必须由程序员通过明白的转型操作来管理。

可以通过dynamic_cast和typied运算符实现多态：

shape *ps=new circle();

if(circle *pc==dynamic_cast<circle*>(ps))       …………

指针的类型：

A *a;

int *pi;

Array<int>*pa;

以内存需求的观点来看，没有什么不同，它们三个都需要足够的内存来存储一个机器地址。

它们之间的区别在于所寻址出来的object类型不同，也就是说，“指针类型”会教导编译器如何解释某个特定地址上的内存内容和大小。

当一个base class object被直接初始化为一个derived class object时，derived object 就会被切割，以塞入较小的

base type内存中，derived type将没有留下任何蛛丝马迹。多态于是不再呈现。