C++对象模型

发现更多的计算机知识,欢迎访问xiaocr的个人网站

思考:对于实现平面一个点的参数化。C++的class封装看起来比C的struct更加的复杂,是否意味着产生更多的开销呢?

实际上并没有,类的封装不会产生额外的开销,其实,C++中在布局以及存取上的额外开销是virtual引起的。

C++对象模式

在C++中,有两种class data members:静态成员和非静态成员。有三种class member functions:静态的,非静态的以及虚函数

C++对象模型

Nonstatic datamembers 被配置于每一个class object之内。static data members则被存放在个别的class object之外。

static 和nonstatic function members也被存放在class object之外(仅一份)

virtual fuction:每一个class产生一堆指向virtual table(vtbl)中;每一个class object被安插一个指针,vptr指向相关的virtual table

(图示)
file

关于继承

继承关系也可指定为虚拟(也就是共享)

(图示)
file

在虚拟继承的情况下,base class不管在继承串链中被派生多少回,永远只存在一个实例(subobject)

(图示)
file

对象模型如何影响程序

(图示)
file

对象的差异

程序模型(类C)

char boy[] = "Danny";
char *p_son;
...
p_son = new char [strlen(boy) + 1];
strcpy(p_son,boy);
...
if(!strcmp(p_son,boy))
    take_to_disneyland(boy)

抽象数据类型(ADT)

string girl = "Anna";
string daughter;
...
//string :: operator = ()
daughter = girl;
//string::operator==()
if(girl == daughter)
   take_to_disneyland(girl);

面对对象编程

void
check_in(Library_materials *pmat)
{
if(pmat->late() )
    pmat->fine();
pmat->check_in();
if(Lender *plend = pmat->reserved())
   pmat->notify(plend);
}

多态实现

在C++中,多态只存在于一个个的public class体系中

有这样三种多态支持:

经由一组隐式的转化操作。例如把一个derived class指针转化为一个指向public base type的指针;

shape *ps = new circle();

经由virtual fuction机制

ps->rotate();

经由dynamic_cast和typeid运算符;

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

思考:需要多大内存才能够表现一个class object?

非静态数据成员(non-static data members):非静态数据成员是每个类对象都需要独立分配的,所以其大小需计算在内。

虚函数表指针(vptr):如果类含有虚函数,则需要一个指针指向虚函数表,用于动态绑定。这个指针的大小通常是机器字长,比如64位系统为8字节。

内存对齐填充(padding):为了优化内存访问效率,编译器会在类成员之间插入内存对齐填充。

其他系统占用空间:除了类自身需要的空间外,一些编译器和系统会在类对象中预留一些额外空间,例如运行时类型信息(RTTI)。

所以一个类对象所需内存的计算公式概略为:对象内存 = 非静态数据成员大小总和 + (含虚函数则加上vptr指针大小) + 填充大小 + 其他系统占用大小

其中除了非静态数据成员外,其他部分大小在不同系统和编译器下可能有所不同。

一个更准确的计算对象大小的方法是:在程序中使用sizeof运算符,它会返回这个平台下该类对象的确切字节大小。

注意:

类中静态数据成员(static data member)与对象的内存大小无关。

静态数据成员不属于类的任何一个对象,只会在程序的整个生命周期内有一份内存拷贝存在。

所以静态数据成员不会影响每个类对象实例的内存需求。
指针的类型

例子:

ZooAnimal  *px;
int *pi;
Array<string>*pta;

从内存上面看,这几个指针没有什么区别,大小是一个机器地址。(word)

但是其实,“指针类型”会教导编译器如何解释某个特定地址中的内存内容以及大小。

(图示)
file
进一步探讨:

Bear b;
ZooAnimal za=b; //译注:这会引起切割(sliced)
//调用 ZOOAnimal::rotate()
za.rotate();

为什么rotate所调用的是ZooAnimal实例而不是Bear实例?此外,如果初始化函数(译注:应用于上述assignment操作发生时)将一个object内容完整拷贝到另个object去,为什么za的vptr 不指向Bear的virtual table?

ZooAnimal za = b;这行代码中,使用基类ZooAnimal的引用或指针初始化时,编译器会:

  1. 为za分配一个ZooAnimal类型的空间
  2. 把b对象中的ZooAnimal部分的数据拷贝过来

也就是说,这个赋值操作生成了一个新的ZooAnimal对象,它只包含了原b对象中的ZooAnimal部分的数据和函数,丢失了b作为Bear的额外信息。

然后za调用rotate()时,编译器根据静态类型(ZooAnimal)调用ZooAnimal::rotate(),而不是动态类型Bear::rotate()。

如果想保留全部信息,可以使用指针或引用:cpp Bear b; ZooAnimal* za = &b; za->rotate(); // 调用Bear::rotate()

或者使用动态绑定:cpp Bear b; ZooAnimal& za = b; za.rotate(); // 调用Bear::rotate()

编译器在将一个class object指定给另一个class object之间做出仲裁,编译器必须保证如果某个object含义一个或者以上的vptrs,那些vptrs不会被base class 改变。

补充:

当一个base class object 被直接初始化为(或是被指定为)一个 derived classobject 时,derivedobject 就会被切(sliced)以塞入较小的 base type 内存中,derivedtype将没有留下任何蛛丝马迹。多态于是不再呈现,而一个严格的编译器可以在编译时期解析一个“通过此object而触发的virtualfunction调用操作”,因而回避virtual机制。如果virtualfunction 被定义为inline,则更有效率上的大收获。

本文由博客一文多发平台 OpenWrite 发布!

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Cr不是铬

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值