C++复习之路：6.内存相关：new/delete，malloc/free,堆和栈的区别

1.new/delete与malloc/free的区别是什么

首先，new/delete是C++的关键字，而malloc/free是C语言的库函数，后者使用必须指明申请内存空间的大小，对于类类型的对象，后者不会调用构造函数和析构函数

malloc/free是C语言开辟空间和释放空间的函数。

而new/delete是C++开辟空间和释放空间的运算符。

malloc/free与new/delete的相同点：

1.他们都是用来开辟或释放出一块空间；

2.在使用malloc与new的时候必须要与free和delete配对使用，否则会造成内存泄漏。

 

malloc/free与new/delete的不同点：

1.malloc与free是标准C库函数，而new与delete是C++里面的运算符；

2.new是用来创造对象的，执行流程是先申请内存，然后使用类的构造函数来初始化对象，在调用delete时也一样是先调用析构函数，然后再释放内存空间，而malloc是直接开辟出一块空间，并不会为对象初始化；

3.malloc申请空间后返回的是一个void*类型的指针，我们要在使用时将其强转为我们要使用的类型，而new返回的是我们所创建对象类型的指针。

4.malloc申请空间时无法对数据初始化，而new会调用构造函数初始化。

 

对于不同的类型，new和delete的处理方式是不同的：

内置类型：

如果申请的是内置类型的空间，new和malloc，delete和free基本类似；

不同之处：

new在申请空间失败时会抛异常；

malloc在申请空间失败时会返回NULL；

 

自定义类型：

new的原理：

调用operator new函数申请空间；

在申请的空间上执行构造函数，完成对象的构造； 实际内部是malloc函数

delete的原理：实际内部是free函数

在空间上执行析构函数，完成对象中资源的清理工作；

调用operator delete函数释放对象的空间；

new[N]的原理：

调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对象空间的申请；

在申请的空间上执行N次构造函数；

delete[N]的原理：

在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理；

调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释放空间；

2.堆和栈的区别

栈，存放函数局部变量、参数等。函数调用时创建，函数结束时释放。
堆，一般由new分配的内存块，不会自动释放，一般一个new就要对应一个delete。在整个程序结束后，操作系统会自动回收。

  管理方式：

对于栈来讲，是由编译器自动管理，无需我们手工控制；对于堆 来说，释放工作由程序员控制，容易产生memory leak。（不及时释放内存会产生内存溢出）  

空间大小：

一般来讲在32位系统下，堆内存可以达到4G的空间，从这个角 度来看堆内存几乎是没有什么限制的。但是对于栈来讲，一般都是有一定的空间 大小的，栈空间大小基本M为单位。 
 

碎片问题：

对于堆来讲，频繁的new/delete势必会造成内存空间的不连续， 从而造成大量的碎片，使程序效率降低。（处理器是有专门的寄存器等硬件支持栈的，而堆只是代码上的支持 ，栈理论上更快。）对于栈来讲，则不会存在这个问题，因 为栈是先进后出的队列，他们是如此的一一对应，以至于永远都不可能有一个内 存块从栈中间弹出，在他弹出之前，在他上面的后进的栈内容已经被弹出，详细 的可以参考数据结构，这里我们就不再一一讨论了。  
   

生长方向：

对于堆来讲，生长方向是向上的，也就是向着内存地址增加的方 向；对于栈来讲，它的生长方向是向下的，是向着内存地址减小的方向增长。  
   

分配方式：

堆都是动态分配的，没有静态分配的堆。栈有2种分配方式：静 态分配和动态分配。静态分配是编译器完成的，比如局部变量的分配。动态分配 由alloca函数进行分配，但是栈的动态分配和堆是不同的，他的动态分配是由 编译器进行释放，无需我们手工实现。  
 

  分配效率：

栈是机器系统提供的数据结构，计算机会在底层对栈提供支持： 分配专门的寄存器存放栈的地址，压栈出栈都有专门的指令执行，这就决定了栈 的效率比较高。堆则是C/C++函数库提供的，它的机制是很复杂的，例如为了分 配一块内存，库函数会按照一定的算法（具体的算法可以参考数据结构/操作系 统）在堆内存中搜索可用的足够大小的空间，如果没有足够大小的空间（可能是 
由于内存碎片太多），就有可能调用系统功能去增加程序数据段的内存空间，这 样就有机会分到足够大小的内存，然后进行返回。显然，堆的效率比栈要低得多。  
   

从这里我们可以看到，堆和栈相比，由于大量new/delete的使用，容易造 成大量的内存碎片；由于没有专门的系统支持，效率很低；由于可能引发用户态 和核心态的切换，内存的申请，代价变得更加昂贵。所以栈在程序中是应用最广 泛的，就算是函数的调用也利用栈去完成，函数调用过程中的参数，返回地址， EBP和局部变量都采用栈的方式存放。所以，我们推荐大家尽量用栈，而不是用 堆。  
    虽然栈有如此众多的好处，但是由于和堆相比不是那么灵活，有时候分配大 量的内存空间，还是用堆好一些。