当前位置 : 主页 > 编程语言 > c++ >

C++内存管理

来源:互联网 收集:自由互联 发布时间:2021-06-23
C++的内存分配方式 c++内存分配分为堆区,栈区,自由存储区(代码区),全局区(静态区),常量区5部分 堆:堆是操作系统中的术语,是操作系统所维护的一块特殊内存,用于程序的

C++的内存分配方式

c++内存分配分为堆区,栈区,自由存储区(代码区),全局区(静态区),常量区5部分

堆:堆是操作系统中的术语,是操作系统所维护的一块特殊内存,用于程序的内存动态分配,C语言使用malloc从堆上分配内存,使用free释放已分配的对应内存。

栈:在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限,一般以为MB为单位,一般是1MB。

自由存储区:自由存储区是C++基于new操作符的一个抽象概念,凡是通过new操作符进行内存申请,该内存即为自由存储区,一般自由存储区指向堆区,但可以修改自由存储区指向。

全局/静态存储区:这块内存是在程序编译的时候就已经分配好的,在程序整个运行期间都存在。例如全局变量,静态变量。

常量存储区:这是一块比较特殊的存储区,他们里面存放的是常量(const),不允许修改。

New/delete 和malloc/free 的区别

特征

new/delete

malloc/free

操作对象

运算符

 标准库函数

分配内存的位置

自由存储区

内存分配成功的返回值

完整类型指针

void*

内存分配失败的返回值

默认抛出异常

返回NULL

分配内存的大小

由编译器根据类型计算得出

必须显式指定字节数

处理数组

有处理数组的new版本new[]

需要用户计算数组的大小后进行内存分配

已分配内存的扩充

无法直观地处理

使用realloc简单完成

是否相互调用

可以,看具体的operator new/delete实现

不可调用new

分配内存时内存不足

客户能够指定处理函数或重新制定分配器

无法通过用户代码进行处理

函数重载

允许

不允许

构造函数与析构函数

调用

不调用

 

堆区和自由存储区的区别

从技术上来说,堆(heap)是C语言和操作系统的术语。堆是操作系统所维护的一块特殊内存,它提供了动态分配的功能,当运行程序调用malloc()时就会从中分配,稍后调用free可把内存交还。而自由存储是C++中通过new和delete动态分配和释放对象的抽象概念,通过new来申请的内存区域可称为自由存储区。基本上,所有的C++编译器默认使用堆来实现自由存储,也即是缺省的全局运算符new和delete也许会按照malloc和free的方式来被实现,这时藉由new运算符分配的对象,说它在堆上也对,说它在自由存储区上也正确。但程序员也可以通过重载操作符,改用其他内存来实现自由存储,例如全局变量做的对象池,这时自由存储区就区别于堆了。我们所需要记住的就是:

  • 堆是C语言和操作系统的术语、是操作系统维护的一块内存,而自由存储是C++中通过new与delete动态分配和释放对象的抽象概念。堆与自由存储区并不等价。
  • new所申请的内存区域在C++中称为自由存储区。藉由堆实现的自由存储,可以说new所申请的内存区域在堆上。

堆和栈的区别

  • 生长方式:堆的生长方向是向上的,也就是向着内存地址增加的方向;而对于栈,其的生长放下是向下的,向着内存地址减小的方向生长。
  • 管理方式:对于栈来讲,是由编译器自动管理,无需我们手工控制;对于堆来说,释放工作由程序员控制,容易产生memory leak。
  • 空间大小:一般来讲在32位系统下,堆内存可以达到4G的空间,从这个角度来看堆内存几乎是没有什么限制的。但是对于栈来讲,一般都是有一定的空间大小的,默认的栈空间大小是1M(VS2017 项目-属性-链接器-系统可以修改)。
  • 碎片问题:对于堆来讲,频繁的malloc/free势必会造成内存空间的不连续,从而造成大量的碎片,使程序效率降低。栈是先进后出的队列,以至于永远都不可能有一个内存块从栈中间弹出。
  • 分配方式:堆都是动态分配的,没有静态分配的堆。栈有2种分配方式:静态分配和动态分配。静态分配是编译器完成的,比如局部变量的分配。动态分配由alloca函数进行分配,但是栈的动态分配和堆是不同的,他的动态分配是由编译器进行释放,无需我们手工实现。
  • 分配效率:栈是机器系统提供的数据结构,计算机会在底层对栈提供支持:分配专门的寄存器存放栈的地址,压栈出栈都有专门的指令执行,这就决定了栈的效率比较高。堆则是C/C++函数库提供的,它的机制是很复杂的,例如为了分配一块内存,库函数会按照一定的算法在堆内存中搜索可用的足够大小的空间,如果没有足够大小的空间(可能是由于内存碎片太多),就有可能调用系统功能去增加程序数据段的内存空间,这样就有机会分到足够大小的内存,然后进行返回。显然,堆的效率比栈要低得多。

内存泄露

    总结: 一是在堆里创建了对象占用了内存,但是没有显式地释放对象占用的内存;二是在类的构造函数中动态的分配了内存,但是在析构函数中没有释放内存或者没有正确的释放内存;

a.    在释放对象数组时在delete中没有使用方括号;

b.    对象数组是指:数组中存放的是对象,只需要delete []p,即可调用对象数组中的每个对象的析构函数释放空间;

c.     指向对象的指针数组是指:数组中存放的是指向对象的指针,不仅要释放每个对象的空间,还要释放每个指针的空间,delete []p只是释放了每个指针,但是并没有释放对象的空间,正确的做法,是通过一个循环,将每个对象释放了,然后再把指针释放了;  

d.    没有将基类的析构函数定义为虚函数。基类指针指向子类对象时,如果基类的析构函数不是virtual,那么子类的析构函数将不会被调用,子类的资源没有正确是释放,因此造成内存泄露;

内存溢出

 内存溢出是指程序在申请内存时没有足够的内存空间供其使用。原因可能如下:

a.    内存中加载的数据过于庞大;

b.    代码中存在死循环;

c.     递归调用太深,导致堆栈溢出等;

d.    内存泄漏最终导致内存溢出;

参考链接

【1】https://blog.csdn.net/caogenwangbaoqiang/article/details/79788368

【2】https://www.cnblogs.com/BEN-LK/p/10720265.html

【3】https://www.cnblogs.com/learning-zjx/p/10645659.html

【4】https://www.jianshu.com/p/19771f5a89ea

网友评论