解析C++对象在堆栈区的析构

iamplayboy

关于堆栈区和析构函数，我想大家都已经很熟悉了。下面介绍的是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的栈原则，所以是相当灵活的。

现在来看为什么STL的容器都是建立在堆上的，STL的容器往往都是可以调整大小的，试问建立在栈上的元素，如何能保证它在任何时候都能调整大小呢，除非在任何时候都能保证它在栈顶，显然这是不现实的！