c++对象模型

来源:互联网 发布:mysql mac 安装包下载 编辑:程序博客网 时间:2024/06/05 08:24

何为C++对象模型?
C++对象模型可以概括为以下2部分:
1、语言中直接支持面向对象程序设计的部分;
2、对于各种支持的底层实现机制。
语言中直接支持面向对象程序设计的部分,如构造函数、析构函数、虚函数、继承(单继承、多继承、虚继承)、多态等等。本文重点介绍底层实现机制。
在C语言中,“数据”和“处理数据的操作(函数)”是分开声明的,也就是说,语言本身并没有支持“数据和函数”之间的关联性。在C++中,通过抽象数据类型(Abstract Data Type,ADT),在类中定义数据和函数,来实现数据和函数直接的绑定。概括来说,在C++类中有两种数据成员:static,nonstatic;三种成员函数:static、nonstatic、virtual。

//Base#pragma once#include<iostream>using namespace std;class Base{public:    Base(int);    virtual ~Base(void);    int getIBase() const;    static int instanceCount();    virtual void print() const;protected:    int iBase;    static int count;};

Base类在机器中我们如何构建出各种成员数据和成员函数的呢?
基本C++对象模型:
在介绍C++使用的对象模型之前,介绍2种对象模型:简单对象模型(A Simple Object Model)、表格驱动对象模型(A Table-Drive Object Model)。
简单对象模型:
所有的成员占用相同的空间(跟成员类型无关),对象只是维护了一个包含成员指针的一个表。表中放的是成员的地址,无论是成员变量还是函数,都是同样处理。对象并没有直接保存成员而只是保存了成员的指针。这里写图片描述
2.表格对象模型:
这里写图片描述
这个模型在简单对象的基础上又添加了一个间接层。将函数和数据分别存储在两个表中,并保存了两个指向表格的指针。这个模型可以保证所有的对象具有相同的大小,比如简单对象模型还与成员的个数有关。其中数据成员表中包含实际数据;函数成员表中包含实际函数的地址(与数据成员相比,多一次寻址)。
3.c++对象模型

这个模型结合了上面两个模型的特点,并对内存存取和空间进行了优化。在此模型中,nonstatic数据成员被放置到对象内部,static数据成员、static和nonstatic函数成员军备放到对象之外。对于虚函数的支持则分两部分完成:
1、每一个class产生一堆指向虚函数的指针,并存放在虚函数表中(Virtual Table,vtbl);
2、每个对象被添加了一个指针,指向相关的虚函数表vtbl。通常这个指针被称为vptr。vptr的设定和重置都由每一个class的构造函数,析构函数和拷贝赋值运算符自动完成。
另外,虚函数表地址的前面设置了一个指向type_info的指针,RTTI(Run Time Type Identification)运行时类型识别是由编译器在编译时生成的特殊类型信息,包括对象继承关系,对象本身的描述。RTTI是为多态而生成的信息,所以只有具有虚函数的对象才会生成。
这个模型的优点在于它的空间和存取时间的效率;缺点如下:如果应用程序本身未改变,当所使用的类的nonstatic数据成员添加删除或修改时,需要重新编译。
这里写图片描述
有重写的单继承和无重写的单继承的区别:
无重写的单继承,只是扩充了虚函数表,有重写的单继承会重写虚函数。
4.C++对象模型中加入多继承
从单继承可以知道,派生类中只是扩充了基类的虚函数表。如果是多继承的话,又是如何扩充的?
每个基类都有自己的虚表。
子类的成员函数被放到了第一个基类的表中。
内存布局中,其父类布局依次按声明顺序排列。
每个基类的虚表中的print()函数都被overwrite成了子类的print ()。这样做就是为了解决不同的基类类型的指针指向同一个子类实例,而能够调用到实际的函数。
这里写图片描述

0 0