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