栈和堆的概念和区别

一、概念区分

        在进程地址布局（如下图），可见地址的分布情况，栈和堆所在的位置区域。

        栈：由编译器自动分配释放，存放函数的参数值、局部变量的值等。其操作方式类似于数据结构中的栈。每当一个函数被调用，该函数返回地址和一些关于调用的信息，比如某些寄存器的内容，被存储到栈区。然后这个被调用的函数再为它的自动变量和临时变量在栈区上分配空间，这就是C实现函数递归调用的方法。每执行一次递归函数调用，一个新的栈框架就会被使用，这样这个新实例栈里的变量就不会和该函数的另一个实例栈里面的变量混淆。用于维护函数调用的上下文，离开了栈函数调用就没法实现。栈通常在用户空间的最高地址分配，通常有数兆字节大小。

        堆：是用来容纳应用程序动态分布的内存区域，当程序使用malloc或new分配内存时，得到的内存来自堆里，一般由程序员分配和释放，若程序员不释放，程序结束时有可能由OS回收。堆通常在栈的下方（低地址方向），在某些时候，堆一般比栈大很多，可以有几十至数百兆字节的容量。

78
\;Linux进程地址空间布局

         如下图，这是一个栈的实例这里的栈底指针是0xbfffffff，而esp寄存器标明了栈顶，地址为0xbffffff4。在栈上压入数据会导致esp减少，弹出数据使得esp增大。相反，直接减少esp的值也等效于在栈上开辟空间，直接增大esp的值等效于在栈上回收空间。

     栈保存了一个函数调用所需要的维护信息，这被称为堆栈帧。堆栈帧包含的内容如下：

1、函数的返回地址和参数。

2、 临时变量：包括函数的非静态局部变量以及编译器自动生成的其他临时变量。

3、保存的上下文：包括在函数调用前后需要保持不变的寄存器。

 

二、堆和栈的主要区别

1、管理方式不同
栈由编译器自动分配释放。

堆空间的申请和释放工作由程序员控制，手动释放内存，容易产生内存泄漏的问题。

2、空间大小不同。 
栈是向低地址扩展的数据结构，是一块连续的内存区域，因此用户能从栈获得的空间较小，根据编译器的不同有不同的取值，一般为2M（Linux操作系统中为10M）。

堆是向高地址扩展的数据结构，是不连续的内存区域。因为系统是用链表来存储空闲内存地址的，且链表的遍历方向是由低地址，堆获得的空间较灵活，也较大。

3、增长方向不同

栈区空间由高地址向低地址增长，而堆区地址由低地址向高地址增长。

4、是否产生碎片
对于堆来讲，频繁的malloc/free（new/delete）势必会造成内存空间的不连续，从而造成大量的碎片，使程序效率降低，但对于栈来讲，则不会存在这个问题。

5、分配方式不同
栈的分配和释放是由编译器完成的，堆都是程序中由malloc()函数动态申请分配并由free()函数释放的。

6、分配效率不同
栈是机器系统提供的数据结构，计算机会在底层对栈提供支持，分配专门的寄存器存放栈的地址，压栈出栈都有专门的指令执行，所以效率是比较高的。

堆是由malloc/new分配的内存，一般速度比较慢，而且容易产生内存碎片，堆的效率比栈要低得多。

7、系统响应方面

  栈：只要栈的剩余空间小于所申请空间，系统报异常提示栈溢出，否则将为程序提供内存。

 堆：操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表中删除，并将该结点的空间分配给程序，另外，对于大多数系统，会在这块内存空间中的首地址处记录本次分配的大小，这样代码中的delete语句才能正确的释放本内存空间。另外由于找到的堆结点的大小不一定正好等于申请的大小，系统会自动的将多余的那部分重新放入空闲链表中。