数据处理基础——堆和栈

堆栈

零起点学通C++

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

• 栈区（stack）——由编译器自动分配并且释放，该区域一般存放函数的参数值，局部变量的值等。
• 堆区（heap）——一般由程序员分配释放，若程序员不释放，程序结束后可能由操作系统回收。
• 寄存器区——用来保存栈顶指针和指令指针
• 全局区（静态区）（static）——全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域，程序结束后由系统释放。
• 文字常量区——常量字符串就是放在这里的，程序结束后由系统释放。
• 程序代码区——存放函数体的二进制代码。

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

接下来着重讨论堆和栈之间的区别。
1、内存申请方式上的不同

• 栈——由系统自动分配，系统会自动在栈中为局部变量开辟空间。

• 堆——需要程序员自己申请，因此也需要指明变量的大小

2、系统响应的不同

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

3、空间大小的不同

• 栈——在Windows下，栈是一块连续的内存区域，其大小数值是一个编译时就确定的常数。是由系统预先根据栈顶的地址和栈的最大容量定义好的。假如你的数据申请的内存空间超过栈的空间，那么系统会提示overflow。因此，别指望栈能存储比较大的数据。
• 堆——堆是不连续的区域。各块区域由链表将他们串联起来，链表将各个不连续的内存区域连接起来，这些串连起来的内存空间叫做堆，他的上限是由系统中有效的虚拟内存来定的。因此获得的空间比较大，而且获得空间的方式比较灵活。

4、执行效率的不同

• 栈——栈由系统自动分配，因此速度较快，但是程序员不能对其进行操作。
• 堆——堆是由程序员分配的内存，速度一般比较慢，而且容易产生内存碎片，不过用起来十分方便。

5、执行函数时的不同

• 栈——在函数调用时，第一个进栈的是被调用函数下一行的内存地址。其次是函数的参数，假如参数多于一个，那么次序是从右往左。最后在世函数的局部变量。由于栈的先进后出原则，函数结束时正好与其相反，首先是局部变量先出栈，然后是参数次序是从左到右，这时所有的变量都已出栈，指针自然地指到第一个进栈的那行内存地址，也就是被调用函数定下一行内存地址。程序根据该地址跳转到被调用函数的下一行自动执行。至于栈内数据为什么要先进后出，这个原理可以用叠盘子来做比喻，你将一个个盘子放在另一个盘子之上，依次将他们叠高，取走的时候必然是从最上面的盘子开始。
• 堆——堆是一大堆不连续的内存区域，在系统中由链表将他们串接起来，因此在使用时必须由程序员来安排，他的机制是很复杂的，有时候为了分配一块合适的内存程序员需要按照一定的算法在堆内存中搜索可用的足够大小的空间，如果没有满足条件的空间，那么就要向系统申请增加一部分内存空间，这样才有机会分到足够大小的内存，然后将计算后的数值返回，显然，堆的运行效率比栈要低得多，而且也容易产生碎片。优点是堆可以储存相当多的数据，并且一些细节也可以由程序员来安排。

总结

栈的内存小，但是效率高，不过存储的数据只在函数内有效，超出函数就消失了。 堆的可存储空间非常大，但是容易产生内存碎片，效率也低，其优点是灵活性高。 比如我们需要创建一个对象，能被多个函数所访问，但是又不想其成为全局的，那么这个时候创建一个堆对象无疑是较好的选择。由于堆和栈各有优缺点，因此好多时候我们是将堆和栈结合使用，比如在存储一些较大数据的时候，我们将数据放到堆中，却将指向该数据的指针放到栈中，这样可以有效地提高程序的执行速度，避免产生一些不该有的碎片。不过一般来说，只要不是特大的数据，我们都是使用栈，比如函数调用过程中的参数，返回地址和局部变量都存放到栈中，可以大大加快程序运行的速度。