Inside The C++ Object Model - 02

2023-06-14,

前言 - 什么是C++对象模型

C++对象模型包括2个方面的含义:

1.语言中直接支持面向对象程序设计的部分

2.对于各种(面向对象)支持的底层实现机制。

无论是什么语言,都需要转换为汇编。很多面向对象特性不是汇编所原生支持的,这也许是C和C++区别最大的地方吧。

在C中大部分语言层面的机制都可以得到汇编的支持,例如函数调用,循环,条件转移,指针等等...

在C++中,很多特性不被汇编语言所支持,例如继承,虚函数,运算符重载,构造函数等。所以需要提供一种实现机制,

将这些特性转换为实实在在的汇编代码。

关于"不变量"

在C++对象模型的实现过程中,是需要有一些不变量存在的。有一些东西必须在 编译期间就固定下来。例如虚函数实现的

虚函数表,在运行时是不允许修改的(这有别于一些动态类型的语言或者脚本),这些“不变量”使得虚拟函数调用更加快速,

但是带来的成本是执行期间的弹性。

关于本书的目的:

1.解释C++底层机制,让程序员能写出效率更高的代码

2.消除人们对C++的误解

关于静态初始化的例子:

对于静态初始化有2种方式:munch、patch。

所谓monch方式:书中的流程:CC产生一个可执行文件->用NM导出符号->寻找sti开头的函数,插入main的头部,产生一个新的C文件,调用这些符号->编译新的.c

patch方式:针对coff格式,直接修改可执行文件。

这些sti函数的次序是未定义的。

Inside The C++ Object Model - 02的相关教程结束。

《Inside The C++ Object Model - 02.doc》

下载本文的Word格式文档,以方便收藏与打印。