深入探索C对象模型.docxVIP

基本概念 先来看看栈。栈，一般用于存放局部变量或对象，如我们在函数定义中用类似下 面语句声明的对象： Type stack_object ; stack.objcct便是一个栈对彖，它的生命期是从定义点开始，当所在函数返回 时，生命结束。 另外，儿乎所有的临时对象都是栈对象。比如，下面的函数定义: Type fun (Type object) 这个函数至少产生两个临吋对象，首先，参数是按值传递的，所以会调用拷贝构 造函数生成一个临时对aobjcct-copyl ,在函数内部使用的不是使用的不是 object,而是object_copyl,自然，object_copyl是一个栈对象，它在函数返 回时被释放；还有这个函数是值返回的，在圃数返回时，如果我们不考虑返回值 优化(\RV),那么也会产牛一个临时对象object_copy2,这个临时对象会在函 数返回后一段时间内被释放。比如某个函数屮有如下代码： Type tt , result ; //生成两个栈对象 tt = fun (tt) ; //函数返回时，生成的是一个临时对象object_copy2 上面的第二个语句的执行情况是这样的，首先函数fun返回时生成一个临时对象 object_copy2 ,然后再调用赋值运算符执行 tt = object_copy2 ; //调用赋值运算符 看到了吗？编译器在我们毫无知觉的情况下，为我们生成了这么多临时对象，而 生成这些临时对象的时间和空间的开销可能是很大的，所以，你也许明口了，为 什么对于“大”对象最好用const引用传递代替按值进行函数参数传递了。 接下来，看看堆。堆，又叫自由存储区，它是在程序执行的过程中动态分配的， 所以它最大的特性就是动态性。在0+中，所有堆对象的创建和销毁都要由程序 员负责，所以，如果处理不好，就会发生内存问题。如果分配了堆对彖，却忘记 了释放，就会产生内存泄漏；而如果已释放了对象，却没有将相应的指针置为 NULL,该指针就是所谓的“悬挂指针”，再度使用此指针时，就会出现非法访问, 严重时就导致程序崩溃。 那么，C++中是怎样分配堆对象的？唯一的方法就是用new (当然，用类mal loc 指令也可获得C式堆内存)，只要使用new,就会在堆屮分配一块内存，并且返 回指向该堆对象的指针。 再来看看静态存储区。所有的静态对象、全局对象都于静态存储区分配。关于全 局对象，是在main()函数执行前就分配好了的。其实，在main()函数中的显示 代码执行之前，会调用一个由编译器生成的_main()函数，而_main()函数会进行 所有全局对象的的构造及初始化工作。而在mainO函数结束之前，会调用由编 译器生成的exil函数，来释放所有的全局对象。比如下面的代码： void main (void) ■ ……//显式代码 } 实际上，被转化成这样： void main (void) ■ _ _ .main (); 〃隐式代码，由编译器产生，用以构造所有全局对象 ……//显式代码 ? ? ? ? ? ? exit () ; //隐式代码，由编译器产生，用以释放所有全局对象 所以，知道了这个之后，便可以由此引出一些技巧，女口，假设我们要在mainO 函数执行之前做某些准备工作，那么我们可以将这些准备工作写到一个自定义的 全局对象的构造函数中，这样，在mainO函数的显式代码执行之前，这个全局 对象的构造函数会被调用，执行预期的动作，这样就达到了我们的目的。刚才 讲的是静态存储区屮的全局对象，那么，局部静态对象了？局部静态对象通常也 是在函数中定义的，就像栈对象一样，只不过，其前而多了个static关键字。 局部静态对象的生命期是从其所在函数第一次被调用，更确切地说，是当第一次 执行到该静态对象的声明代码时，产牛该静态局部对象，直到整个程序结束时， 才销毁该对象。 还有一种静态对彖，那就是它作为class的静态成员。考虑这种情况时，就牵涉 了一些较复杂的问题。 第一个问题是class的静态成员对象的生命期，class的静态成员对象随着第一 个class object的产牛而产牛，在整个程序结束时消亡。也就是有这样的情况 存在，在程序中我们定义了一个class,该类中有一个静态对象作为成员，但是 在程序执行过程屮，如果我们没有创建任何一个该class object,那么也就不 会产生该class所包含的那个静态对象。述有，如果创建了多个class object, 那么所有这些object都共享那个静态对象成员。 第二个问题是，当出现下列情况时： class Base { public: static Type s_object } class Derivedl : public Base / / 公共继承 { // ot