abfdada 2011-06-15
关于堆栈区和析构函数,我想大家都已经很熟悉了。下面介绍的是C++对象在堆栈区的析构。
作为一个C++程序员,区别于其他面向对象语言其中最敏感的就是对new(malloc)和delete(free)这两个关键字了。
今天在阅读老大的代码的时候,在COM对象的重复赋值的时候发现在对一个vector重新分配的insert新元素的时候,没有先clear掉。自己以前在用STL的容器的时候总是在开头和最后调用clear,但是进过实验和调试之后发现,含有vector的对象在析构的时候就是不做vector.clear()的话,vector中的元素也能析构。
后来稍微一想,就发现自己之前的想法是多愚蠢,STL的容器都是C++对象,既然是对象肯定会在自己的析构函数中做一些清理,如果连这些都没有的话,那STL也不会发展成C++最受欢迎的一个库了。
由此又想到了很多,vector在clear到底干了什么,从汇编的角度来说,在栈上的一切变量都是不会导致内存泄露的,那么vector是否真的不用去调用clear呢?错,vector的元素肯定不会是建立在栈上的,而是建立在堆上的。为什么,建立在栈上的数组大小肯定是在编译时候就确定的,为什么?想到了在学校时候的一个非常典型的例子:
int x; scanf("%d", &x); char ch[x];
试图通过输入一个数字来分配对象的x个字符,这是不行的,为什么?当时老师只说这是在编译时期确定的,不能动态确定,只能写成
int x; scanf("%d", &x); char* ch = new char[x];
这已经是分配在堆上了,以后再运行期动态确定。那到底为什么栈上的空间不能在运行期动态确定呢?从汇编的角度来理解就容易多了:栈上能够移动的元素总是在栈顶的,无非就是Push,Pop
char ch[x]; int i,j;
试想一下,面对这样的动态分配,该怎样生成指令来制定栈的建立呢,由于在建立栈的时候每一个指令在栈中需要占用的大小,堆中就不一样了,堆中内存可以是不连续的,不用遵循FILO的栈原则,所以是相当灵活的。