栈区和堆区内存分配区别

最新推荐文章于 2024-10-12 16:52:21 发布

专注就可以深

最新推荐文章于 2024-10-12 16:52:21 发布

阅读量625

点赞数

分类专栏： c复习1 文章标签： c

c复习1 专栏收录该内容

24 篇文章 0 订阅

订阅专栏

参考：http://blog.csdn.net/21aspnet/article/details/7436360 http://blog.csdn.net/u011170660/article/details/37990283

一直以来总是对这个问题的认识比较朦胧，我相信很多朋友也是这样的，总是听到内存一会在栈上分配，一会又在堆上分配，那么它们之间到底是怎么的区别呢？为了说明这个问题，我们先来看一下内存内部的组织情况．

程序占用的内存分类（下图）： linux虚拟地址用户空间分布（下图）：

从左上图可知，程序占用的内存被分了以下几部分．

所谓的文字常量区和程序代码区都放在进程空间的text代码段中，所以不能对字符串常量进行修改，因为text不允许被修改。

1、栈区（stack）——a、所提供分配的内存是连续的，从高地址向低地址分配，低地址方向是出栈入栈的口。

b、由编译器自动分配释放，在调用函数时——先返回地址、再函数参数、然后才是局部变量入栈（保护断点），——分配在大多数的C编译器中，参数是由右往左入栈的。

在函数结束时——局部变量、函数参数、返回地址出栈（返回断点）——释放，返回数据入栈

c、由编译器分配，有系统释放。每一次声明变量时，编译器会自动接着当前栈区的结尾来分配内存，这就是连续分配，因为是连续分配，所以根本也不会存在内存碎片。

d、栈区存放的都是与函数有关的内容，有函数就有栈，函数进入、函数执行、函数返回都离不开栈。栈所存放的内容有断点地址也就是返回地址（调用时的原代码的下一语句的地址）、函数参数、函数内部动态局部变量、函数返回的数据。

e、栈本就是计算机在底层提供支持的数据结构，栈的地址都有专门的寄存器提供存放，也有专门的指令实现进栈、出栈的操作，这就决定了栈的效率比较高。所以这就决定了系统分配的方式是用栈而不是用堆。堆是由用户的高级语言提供的，虽然对用户是灵活了，但对系统来说，灵活的代价就是复杂的指令封装来实现执行，这样的话堆的执行效率肯定就低。栈和堆用户都可以用，栈偏向高效，堆偏向灵活，各有各的适用性。但基于栈比堆的效率要高的多，所以我们推荐大家尽量用栈，只有在有特殊需要的地方才用堆。

f、栈顶的地址和栈的最大容量是系统预先规定好的，栈获得的空间较小，当栈空间不够分配了或是已经用完了，则这时系统将揭示栈溢出，并给出相应的异常信息．

由编译器自动分配释放，存放函数的参数值，局部变量的值，函数返回值等，内存的分配是连续的，类似于平时我们所说的栈，如果还不清楚，那么就把它想成数组，它的内存分配是连续分配的，即，所分配的内存是在一块连续的内存区域内．当我们声明变量时，那么编译器会自动接着当前栈区的结尾来分配内存．

2、堆区（heap）——a、所提供的内存是不连续的，从低地址向高地址分配，每次malloc分配所得的内存块由链表串起来。

b、由程序员malloc分配、free释放，所分配的内存块直到free才会释放，生存期由程序员决定。若程序员忘记free了，则所分配的内存则会一直从malloc存在到程序结束，程序结束后可能会由OS回收，如果没被回收则会造成内存泄露。

c、每一次malloc，所得的内存块都是连续的，只是上次与下次之间分配的不连续，这些不连续内存块由链表组织起来，每malloc一次，就往链表中加入一块连续内存块，就这单块的内存块来说是连续的，只是次与次之间的分配不是连续的，要用链表组织串起来。因为是不连续分配，所以会存在内存碎片的问题，所以最好不要频繁的malloc，也尽量malloc较大一些的内存。

d、堆区存放的内容由用户决定，malloc返回的内存既可以用于存储一个数据，也可用于类似数组的存放，也可用于存储一个结构体，还可以用来存放一个字符串。

e、堆是由用户的高级语言提供的，虽然对用户是灵活了，但对系统来说，高级语言灵活的代价就是复杂的指令封装来实现执行，这样的话堆的执行效率肯定就低。它不仅涉及链表需要算法；因为是用户基于内存的操作，所以必要时还会造成系统调用和用户态、内核态的切换；而且因为堆是不连续分配，还会造成内存碎片；而因为编程人员的粗心，还有可能造成内存泄露。所以堆不仅执行效率低，对内存的利用效率也低。具体看——链接的具体解释。

d、堆的大小受限于计算机系统中有效的虚拟内存。堆获得的空间也比较大。

一般由程序员分配释放，若程序员不释放，程序结束时可能由操作系统回收．类似于链表，在内存中的分布不是连续的，它们是不同区域的内存块通过指针链接起来的．一旦某一节点从链中断开，我们要人为的把所断开的节点从内存中释放．

3、全局区（静态区）（static）

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

4、文字常量区

常量字符串就是放在这里的。程序结束后由系统释放。

5、程序代码区

存放函数体的二进制代码。

先看一个例子．

char c; //栈上分配
char *p = new char[3]; //堆上分配，将地址赋给了p;

在编译器遇到第一条指令时，计算其大小，然后去查找当前栈的空间是大于所需分配的空间大小，如果这时栈内空间大于所申请的空间，那么就为其分配内存空间，注意：在这里，内在空间的分配是连续的，是接着上次分配结束后进行分配的．如果栈内空间小于所申请的空间大小，那么这时系统将揭示栈溢出，并给出相应的异常信息．

编译器遇到第二条指令时，由于p是在栈上分配的，所以在为p分配内在空间时和上面的方法一样，但当遇到new关键字，那么编译器都知道，这是用户申请的动态内存空间，所以就会转到堆上去为其寻找空间分配．大家注意：堆上的内存空间不是连续的，它是由相应的链表将其空间区时的内在区块连接的，所以在接到分配内存空间的指定后，它不会马上为其分配相应的空间，而是先要计算所需空间，然后再到遍列整个堆（即遍列整个链的节点），将第一次遇到的内存块分配给它．最后再把在堆上分配的字符数组的首地址赋给p.，这个时候，大家已经清楚了，p中现在存放的是在堆中申请的字符数组的首地址，也就是在堆中申请的数组的地址现在被赋给了在栈上申请的指针变量p．为了更加形象的说明问题，请看下图：

从上图可以看出，我们在堆上动态分配的数组的首地址存入了指针p所指向的内容．

请注意：在栈上所申请的内存空间，当我们出了变量所在的作用域后，系统会自动我们回收这些空间，而在堆上申请的空间，当出了相应的作用域以后，我们需要显式的调用delete来释放所申请的内存空间，如果我们不及时得对这些空间进行释放，那么内存中的内存碎片就越来越多，从而我们的实际内存空间也就会变的越来越少，即，孤立的内存块越来越多．在这里，我们知道，堆中的内存区域不是连续的，还是将有效的内存区域经过链表指针连接起来的，如果我们申请到了某一块内存，那么这一块内存区将会从连续的（通过链表连接起来的）内存块上断开，如果我们在使用完后，不及时在指针p出作用域自动释放前对它进行释放的话，那么它就会孤立的开来，由于没有任何指针指向它，那么这个内存就会失效，无法被找到(因为不知道它的地址)，所以这个区域将成为内存碎片，所以在使用完动态分配的内存（通过NEW申请）后，一定要显式的对它进行DELETE删除．对于这一点，一定要切记．．．

上面给大家陈述了它们之间的概念，对于它们俩的使用比较方面，这里我就不能大家断续陈述了，对于这个问题，网上一网友的文章中阐述的比较详细，而且附带了专业的色彩，下面的文章是部分片断．

申请大小的限制

栈：在Windows下,栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数），如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。

堆：堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大。

申请效率的比较：

栈由系统自动分配，速度较快。但程序员是无法控制的。

堆是由new分配的内存，一般速度比较慢，而且容易产生内存碎片,不过用起来最方便.

另外，在WINDOWS下，最好的方式是用VirtualAlloc分配内存，他不是在堆，也不是在栈是直接在进程的地址空间中保留一快内存，虽然用起来最不方便。但是速度快，也最灵活。

堆和栈中的存储内容

栈：在函数调用时，第一个进栈的是主函数中后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数，在大多数的C编译器中，参数是由右往左入栈的，然后是函数中的局部变量。注意静态变量是不入栈的。

当本次函数调用结束后，局部变量先出栈，然后是参数，最后栈顶指针指向最开始存的地址，也就是主函数中的下一条指令，程序由该点继续运行。

堆：一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容有程序员安排。

栈与静态区的存取效率的比较：

char s1[] = "aaaaaaaaaaaaaaa";——运行时刻赋值,因为是局部的，作用域在函数内部，只有在进入函数后才会分配。
char *s2 = "bbbbbbbbbbbbbbbbb";——编译时就确定（因为是静态区存储“bbbbbbbbbbbbbbbbbbb”）。

aaaaaaaaaaa是在运行时刻赋值的；