《深度探索c++对象模型》 学习笔记 - 1 关于对象

 

1.         C++在布局和存取时间上的主要的额外负担是由virtual引起的，包括：1）virtual function机制，用以实现一个有效率的“执行期绑定”；2）virtual base class，实现“多次出现在继承体系中的base class，有一个单一而被共享的实体”；3）多重继承下，发生在“一个派生类和其第二个或者后继之基类的转换”之间。

2.         有两种数据成员static和nonstatic，以及三种成员函数static、nonstatic和virtual。C++对象模型对内存空间和存取时间做了优化，nonstatic的数据成员被置于类对象之内，而static数据成员被置于类对象之外。static和nonstatic成员函数被放在类对象之外。而virtual函数是由如下步骤支持：1）每个class产生一个vtbl（虚函数表）。Vtbl中包括其类的类型type_info信息和虚函数指针；2）对象内添加一个指向vtbl的指针vptr。而vptr的设定和重置由类的构造函数、析构函数以及copy assignment运算符自动完成。

3.         虚拟继承即“共享”之意，其基类不论被派生多少级，永远只存在一个实体（subobject）。

4.         Struct和class几乎完全一样，除了默认的访问权限外。所以以class定义也可以用struct声明，只是warning而已。

5.         类中处于同一个access section中的数据，必定保证以其声明次序出现在内存布局中。但是，不同的access section中的各个数据，其排列次序则没有规定。同理，基类和派生类的数据成员布局也没有要求谁先谁后的强制规定。但是，一般说来，普通继承都是基类在前，子类在后；virtual继承，则是virtual 基类在最后面，其他的在前面。

6.         C++程序支持3种编程模型：1）过程model，像c一样；2）抽象数据类型模型（ADT），只有封装，没有继承和多态；3）面向对象模型（OO），典型的支持继承、封装和多态。ADT也叫OB（object-based），它的速度更快（所有的内容都是编译器确定，没有运行期的决策）且空间更紧凑（没有为virtual而增加的额外支出），只是缺少一些弹性。

7.         在OO中，被指定的对象的真实类型在特定的执行点前是无法解析的（因为多态），所以只有通过pointer或者reference操作才能完成（如果是对象的话，会被slice）。而ADT处理的是一个固定且单一类型的实体，在编译期已定。

8.         C++中支持多态的方法：子类对象基类指针、引用；虚函数；dynamic_cast或者typeid运算符。

9.         总体说，一个object的内存大小含：非静态数据成员；alignment造成的padding；支持virtual而产生的额外负担。

10.     指针（引用也是由指针实现的）的类型只是告诉编译器：如何解释特定地址上的内存及其大小。而cast（转型）只是一种编译器指令，大部分情况下不会改变一个指针的真正地址，只是影响“目标内存的大小和内容”的解释方式。

11.     一个指针或者引用之所以支持多态，是因为他们并不引发内存中任何“与类型有关的内存委托操作（type-depended commitment）”。受到影响的只是“目标内存的大小和内容”的解释方式。而基类对象被初始化为子类对象，其子类对象的信息就会被slice，以塞入较小的基类内存中，而派生类型没有在基类对象中留下任何的信息，包括vptr。

 

 

下面的代码是在学习过程中随便写的，错误和不严谨之处很多；甚至有一些地方只是做了一些记录和随笔。

#ifndef ch1_h #define ch1_h // 代码中的页数指的是中文版“深度探索c++对象模型”的页数，侯捷翻译 // 英文版本为"Inside the C++ Object Model"，Stanley B. Lippman 著 namespace ch1{ // About object // p27 namespace ref_pointer{ void test(){ //根据memory看，f2的内容实际上就是f的地址。 // 换句话说，引用就是以指针来实现的 float f = .0; float& f2 = f; float* pf = &f; } } // p23 namespace ADT_OO{ // 基于对象就是ADT风格:仅用类表示抽象事物.没有继承和派生. // 面向对象就有继承和多态等性质。 // "C++ Primer": // "如果通俗地说,面向对象与基于对象的区别就是是否支持继承. // C++是一个特例.因为它既可以编写面向过程的程序, // 也可以编写基于对象的程序,还可以编写面向对象的程序." // "Inside the C++ Object Model": // 通过一个指针或者引用来支持多态，这种程序风格就叫做“面向对象” // ADT也叫OB(Object Based) // C++ 是真正的面向对象编程语言。但是它也是过程编程语言。 } // 4099: // type name first seen using 'class' now seen using 'struct' #pragma warning (disable: 4099) // p18 namespace n1{ // 定义了struct，但是声明的是class：：没有问题，只是warning而已 // 或者反正亦然 class x; struct x{}; struct y; class y{}; void test(){ x a; } } #pragma warning (default: 4099) // main test void test(){ printf("ch1 begin/n"); ref_pointer::test(); n1::test(); printf("ch1 end/n"); } }; #endif