深入理解C++的对象模型_C 语言

何为C++对象模型?

C++对象模型可以概括为以下2部分:

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

     2. 对于各种支持的底层实现机制

引言

现在有一个Point类,声明如下:

class Point {
 public:
 Point(float xval);
 virtual ~Point();

 float x() const;
 static int PointCount();

 protected:
 virtual ostream& print(ostream &os) const;

 float _x;
 static int _point_count;
};

这个类在机器上是通过什么模型来表示的呢?下面就介绍三种不同的实现方式。

1. 简单对象模型

简单对象模型名副其实,十分简单。在简单对象模型中,一个 object是由一系列slots组成,每个slot相当于一个指针,指向一个membermemebers按照声明的顺序与slots一一对应,这里的members括data membersfunction members

如果将简单对象模型应用在Point Class上,结构图如下:

优点:十分简单,降低了编译器设计的复杂度。

缺点:空间和时间上的效率降低。由于所有member都对应一个slot指针,所以每个object在空间上额外多出:member's number 乘以指针大小的空间。同时由于访问object的每个member都需要一次slot的额外索引,所以在时间的效率也会降低。

2. 表格驱动对象模型

表格驱动对象模型将member datamember function分别映射成两个表格member data tablefunction member table,而object本身只存储指向这两个表格的指针。 其中function member table是由一系列的slot组成,每个slot指向一个member function; member data table则直接存储的member data本身。如果将表格驱动对象模型应用在Point Class上,结构图如下:

优点:采用两层索引机制,对object变化提供比较好的弹性,在objectnonstatic data member有所改变时,而应用程序代码没有改变,这时是不需要重新编译的。

缺点:空间和时间上的效率降低,具体原因可以参考简单对象模型的缺点分析。

3. C++ 对象模型

Stroustrup 早期设计的C++对象模型是从简单对象模型改进而来的,并对内存空间和存取时间进行了优化。主要是将nonstatic data members存储在每一个object中,而static data members以及所有的function members被独立存储在所有object之外。

对虚函数的支持主要通过以下几点完成的:

     所有包含虚函数或者继承自有虚函数基类的class都会有一个virtual table,该虚函数表存储着一堆指向该类所包含的虚函数的指针。

     每个class所关联的type_info object也是由virtual table存储的,一般会存在该表格的首个slottype_info用于支持runtime type identification (RTTI)。

如果将C++对象模型应用在Point Class上,结构图如下:

优点:空间和存取效率高,所有static data members以及所有的function members被独立存储在所有object之外,可以减少每个object的大小,而nonstatic data members存储在每一个object中,又提升了存取效率。

缺点:如果应用程序的代码未曾更改,但所用到的classnonstatic data members有所更改,那么那些代码仍然需要全部重新编译,而前面的表格驱动模型在这方面提供了较大的弹性,因为他多提供了一层间接性,当然是付出了时间和空间上的代价。

在加上继承情况下的对象模型

C++支持单继承、多继承、虚继承,下面来看下base class实体在derived class中是如何被构建的。

简单对象模型中可以通过derived class object中的一个slot来存储base class subobject的地址,这样就可以通过该slot来访问base class的成员。这种实现方式的主要缺点是:因为间接性的存储而导致空间和存取时间上存在额外负担;优点是:derived class的结构不会因为base class的改变而改变。

表格驱动对象模型中可以利用一个类似base class table的表格来存储所有基类的信息。该表格中存储一系列slot,每个slot存储一个base class的地址。这种实现方式的缺点是:因为间接性的存储而导致空间和存取时间上存在额外负担;优点是:一是所有继承的class都有一致的表现形式(包含一个base table指针,指向基类表)与基类的大小和数目没有关系,二是base class table增加了子类的扩展性,当基类发生改变时,可以通过扩展、缩小或者更改base class table来进行调整。

以上两种实现方式都存在一个重要的问题,就是由于间接性而导致的空间和时间上的额外负担,并且该间接性的级数会随着继承的深度而增加。

C++ 最初采用的继承模型并不采用任何间接性,所有基类的数据直接存储在子类当中,这样在存储结构和访问效率上是最高效的。当然也有缺点:当base class members有任何改变,用到此base class或者derived class的对象必须重新编译。在C++ 2.0引入了virtual base class,需要一些间接性的方式来支持该特性,一般会导入一个virtual base class table或者扩展已有的virtual table

总结

以上就是深入研究C++的对象模型的全部内容,希望本文的内容对大家有所帮助。

以上是小编为您精心准备的的内容,在的博客、问答、公众号、人物、课程等栏目也有的相关内容,欢迎继续使用右上角搜索按钮进行搜索对象模型
, 深入c
, 深入理解c
深入探索c
深入理解c 对象模型、深入理解对象模型 pdf、深入理解java内存模型、深入探索c 对象模型、深入c 对象模型,以便于您获取更多的相关知识。

时间: 2024-10-25 19:41:29

深入理解C++的对象模型_C 语言的相关文章

深入理解C++移位运算符_C 语言

关于逻辑移位.算术移位可参见迅雷深大笔试题部分.的一道题. 以前看到C++标准上说,移位运算符(<<.>>)出界时的行为并不确定: The behavior is undefined if the right operand is negative, orgreater than or equal to the length in bits of the promoted left operand. 我当时也没有深究过这个问题.前几天有个网友来信问起这件事,我才发现,这和Intel

深入理解堆排序及其分析_C 语言

记得在学习数据结构的时候一味的想用代码实现算法,重视的是写出来的代码有一个正确的输入,然后有一个正确的输出,那么就很满足了.从网上看了许多的代码,看了之后貌似懂了,自己写完之后也正确了,但是不久之后就忘了,因为大脑在回忆的时候,只依稀记得代码中的部分,那么的模糊,根本不能再次写出正确的代码,也许在第一次写的时候是因为参考了别人的代码,看过之后大脑可以进行短暂的高清晰记忆,于是欺骗了我,以为自己写出来的,满足了成就感.可是代码是计算机识别的,而我们更喜欢文字,图像.所以我们在学习算法的时候要注重算

深入理解C++的多态性_C 语言

C++编程语言是一款应用广泛,支持多种程序设计的计算机编程语言.我们今天就会为大家详细介绍其中C++多态性的一些基本知识,以方便大家在学习过程中对此能够有一个充分的掌握. 多态性可以简单地概括为"一个接口,多种方法",程序在运行时才决定调用的函数,它是面向对象编程领域的核心概念.多态(polymorphisn),字面意思多种形状. C++多态性是通过虚函数来实现的,虚函数允许子类重新定义成员函数,而子类重新定义父类的做法称为覆盖(override),或者称为重写.(这里我觉得要补充,重

深入理解C预处理器_C 语言

C 预处理器不是编译器的组成部分,是编译过程中一个单独的步骤.C预处理器只是一个文本替换工具,它会指示编译器在实际编译之前完成所需的预处理. 所有的预处理器命令都是以井号(#)开头.它必须是第一个非空字符,为了增强可读性,预处理器指令应从第一列开始. 下表包含所有重要的预处理器指令: 指令 描述 #define 定义宏 #include 包含一个源代码文件 #undef 取消已定义的宏 #ifdef 如果宏已经定义,则返回真 #ifndef 如果宏没有定义,则返回真 #if 如果给定条件为真,则

ASP.NET趣味理解-ADO.NET对象模型

数据库的应用在我们的生活和工作中已经无处不在,无论是一个小企业的OA系统,还是中国移动的运营系统,似乎都离不开数据库的应用.对于大多数应用程序来说,不管它们是Windows桌面应用程序,还是Web应用程序,存储和检索数据都是其核心功能.所以针对数据库的开发已经成为软件开发的一种必备技能.如果说过去是"学好数理化,走遍天下都不怕",那么,对于今天的软件开发者而言就是"学好数据库,走到哪儿都不怵!". ADO.NET是微软新一代.NET数据库的访问架构,ADO是Acti

排列和组合算法的实现方法_C语言经典案例_C 语言

排列和组合算法是考查递归的常见算法,这两种算法能用递归简洁地实现. 本人在经过多次摸索和思考之后,总结如下,以供参考. 程序代码如下: #include <stdio.h> #include <stdlib.h> char array[] = "abcd"; #define N 4 #define M 3 int queue[N] = {0}; int top = 0; int flag[N] = {0}; void perm(int s, int n) { i

C++开发:为什么多线程读写shared_ptr要加锁的详细介绍_C 语言

我在<Linux 多线程服务端编程:使用 muduo C++ 网络库>第 1.9 节"再论 shared_ptr 的线程安全"中写道: (shared_ptr)的引用计数本身是安全且无锁的,但对象的读写则不是,因为 shared_ptr 有两个数据成员,读写操作不能原子化.根据文档(http://www.boost.org/doc/libs/release/libs/smart_ptr/shared_ptr.htm#ThreadSafety), shared_ptr 的线程

C++ 多重继承和虚拟继承对象模型、效率分析_C 语言

一.多态 C++多态通过继承和动态绑定实现.继承是一种代码或者功能的传承共享,从语言的角度它是外在的.形式上的,极易理解.而动态绑定则是从语言的底层实现保证了多态的发生--在运行期根据基类指针或者引用指向的真实对象类型确定调用的虚函数功能!通过带有虚函数的单一继承我们可以清楚的理解继承的概念.对象模型的分布机制以及动态绑定的发生,即可以完全彻底地理解多态的思想.为了支持多态,语言实现必须在时间和空间上付出额外的代价(毕竟没有免费的晚餐,更何况编译器是毫无感情): 1.类实现时增加了virtual

对C语言中指针的理解与其基础使用实例_C 语言

C语言的指针,关键意思在于"指". "指"是什么意思? 其实完全可以理解为指示的意思.比如,有一个物体,我们称之为A.正是这个物体,有了这么个称谓,我们才能够进行脱离这个物体的实体而进行一系列的交流.将一个物体的指示,是对这个物体的抽象.有了这种抽象能力,才有所谓的智慧和文明.所以这就是"指示"这种抽象方法的威力. 退化到C语言的指针,指针是一段数据/指令(在冯诺易曼体系中,二者是相通,在同一空间中的)的指示.这是指示,也就是这段数据/指令的起始