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

关于堆栈区和析构函数,我想大家都已经很熟悉了。下面介绍的是C++对象在堆栈区的析构。

成都创新互联公司专注为客户提供全方位的互联网综合服务,包含不限于成都网站建设、网站设计、克东网络推广、重庆小程序开发公司、克东网络营销、克东企业策划、克东品牌公关、搜索引擎seo、人物专访、企业宣传片、企业代运营等,从售前售中售后,我们都将竭诚为您服务,您的肯定,是我们最大的嘉奖;成都创新互联公司为所有大学生创业者提供克东建站搭建服务,24小时服务热线:18980820575,官方网址:www.cdcxhl.com

作为一个C++程序员,区别于其他面向对象语言其中最敏感的就是对new(malloc)和delete(free)这两个关键字了。

今天在阅读老大的代码的时候,在COM对象的重复赋值的时候发现在对一个vector重新分配的insert新元素的时候,没有先clear掉。自己以前在用STL的容器的时候总是在开头和***调用clear,但是进过实验和调试之后发现,含有vector的对象在析构的时候就是不做vector.clear()的话,vector中的元素也能析构。

后来稍微一想,就发现自己之前的想法是多愚蠢,STL的容器都是C++对象,既然是对象肯定会在自己的析构函数中做一些清理,如果连这些都没有的话,那STL也不会发展成C++***的一个库了。

由此又想到了很多,vector在clear到底干了什么,从汇编的角度来说,在栈上的一切变量都是不会导致内存泄露的,那么vector是否真的不用去调用clear呢?错,vector的元素肯定不会是建立在栈上的,而是建立在堆上的。为什么,建立在栈上的数组大小肯定是在编译时候就确定的,为什么?想到了在学校时候的一个非常典型的例子:

 
 
 
  1. int x;  
  2. scanf("%d", &x);  
  3. char ch[x]; 

 

试图通过输入一个数字来分配对象的x个字符,这是不行的,为什么?当时老师只说这是在编译时期确定的,不能动态确定,只能写成

 
 
 
  1. int x;  
  2. scanf("%d", &x);  
  3. char* ch = new char[x]; 

 

这已经是分配在堆上了,以后再运行期动态确定。那到底为什么栈上的空间不能在运行期动态确定呢?从汇编的角度来理解就容易多了:栈上能够移动的元素总是在栈顶的,无非就是Push,Pop

 
 
 
  1. char ch[x];  
  2. int i,j; 

 

试想一下,面对这样的动态分配,该怎样生成指令来制定栈的建立呢,由于在建立栈的时候每一个指令在栈中需要占用的大小,堆中就不一样了,堆中内存可以是不连续的,不用遵循FILO的栈原则,所以是相当灵活的。

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

本文地址:http://blog.csdn.net/woshishenguanyear/archive/2011/06/13/6542527.aspx

网站标题:解析C++对象在堆栈区的析构
标题链接:http://www.shufengxianlan.com/qtweb/news33/502433.html

网站建设、网络推广公司-创新互联,是专注品牌与效果的网站制作,网络营销seo公司;服务项目有等

广告

声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联