栈和堆

一般来说，写程序就是和数据打交道，在执行某一功能的时候，将该功能所需要的数据加载到内存中，然后在执行完毕的时候释放掉该内存。

数据在内存中的存放共分为以下几个形式：

-栈区（stack）——由编译器自动分配切释放，该区域一般存放函数的参数值，局部变量的值等

-堆区（heap）——一般由程序员分配释放，若程序员不释放，程序结束时可由操作系统回收

-寄存器区——用来保存栈顶指针和指令指针

-全局区（静态区）——全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和为初始化的静态变量在相邻的另一块区域。程序结束后由系统释放

-文字常量区——常量字符串就是放在这里的，程序结束后由系统释放

-程序代码区——存放函数体的二进制代码

函数参数和局部变量存放在栈这种，当函数运行结束并且返回时，所有的局部变量和参数就都被系统自动清除掉了，韦德是释放掉它们所占用的空间 。全局便令可以解决这个问题，但是全局变量永远不会被释放，而且由于全局变量所有的类成员和函数所共享，因此，它的值很容易被修改。使用堆可以解决这两个问题。

堆和栈是不同的

1.内存申请方式上的不同

（1）栈 是由系统自动分配的

（2）堆 需要程序员自己申请，因此需要指明变量的大小

2.系统响应不同

（1）栈 只要栈的空间大于所申请的空间，系统就将为程序提供内存，否则将提示overflow，也就是栈溢出。

（2）堆 系统收到程序申请空间的要求后，会遍历一个操作系统，用于记录内存空闲地址的链表，当找到一个空间大于所申请空间的堆节点后，就会将该节点从记录内存空闲地址的链表中删除。并将该节点的内存分配给程序，然后在这块内存区域的首地址处记录分配的大小，这样我们在使用delete来释放内存的时候，delete才能真确地识别并删除该内存区域的所有变量。另外我们申请的内存空间与堆节点上的内存空间不一定相等，这时系统会自动将堆节点上多出来的那一部分内存空间会收到空闲链表中。

3.空间大小的不同

（1）栈 在Windows下，展示一块连续的内存区域，其大小数值是一个编译时就确定的常数。是由系统预先根据栈顶的地址和栈的最大容量定义好的。加入你的数据申请的内存空间超过栈的空间，那么系统就会提示overflow。因此，不能指望栈能够存储比较大的数据。

（2）堆 堆是不连续的内存区域。个快区域由链表将它们串联起来，这些串联起来的空间叫做堆，他的上限是由系统中有效的虚拟内存来定的。因此获得的空间比较大，而且获得空间的方式也比较灵活。

4.执行效率的不同 

（1）栈 栈是由系统自动分配，因此速度比较快，但是程序员不能对其进行操作

（2）堆 堆是由程序员分配的内存，速度比较慢一些，而且容易产生内存碎片，不过用起来很方便

5.执行函数时的不同

（1）栈 在函数调用时，第一个进栈的是被调用函数下一行的内存地址。其次是函数的参数，假如参数多于一个，那么次序是从右往左。最后才是函数的局部变量。

由于栈的先进后出的原则，函数结束时与其相反，首先是局部变量先出栈，然后是参数，次序是从左到右，这时所有的变量都已出栈，指针自然地指到第一个进栈的那行内存地址，也就是被调用函数的下一行内存的地址。程序根据该地址跳转到被调用函数的下一行自动执行。

由于栈的先进后出的原则，因此它永远不会产生内存碎片。

（2）堆 堆是一大堆不连续的内存区域，在系统中由链表将他们串联起来，因此在使用的时候必须由程序员来安排。它的机制是复杂的，有时候为了分配一块合适的内存，程序员需要按照一定的算法在堆内存中搜索可用的足够大小的空间，如果没有满足条件的空间，那么系统要向系统申请增加一部分内存空间，这样才有机会分到足够大小的内存，然后将计算后的数值返回。显然，堆的运行效率比栈要低得多，而且容易产生碎片。堆的优点是可以存储相当多的数据，并且一些细节也可以由程序员来安排。