C/C++ 程序内存分配

程序的内存分配

一个由C/C++编译器编译的程序占用的内存可分为如下几个部分:
栈区(Stack)： 由编译器自动分配和释放，存放函数的参数值，局部变量值等，其操作方式类似于数据结构中的栈，先进后出；
堆区(Heap): 由程序员分配和释放，若程序员不释放，则在程序结束时可能由操作系统回收。操作方式类似于数据结构中的链表，这里的堆与数据结构中的堆是两个不同的概念；
静态区(全局区)（Static）： 全局变量和静态变量都存储在静态区，已初始化的全局变量和静态变量存放在静态区中的一块区域，未初始化的全局变量和静态变量存放在相邻的另一块区域。静态区在程序执行结束后由系统释放；
常量区(Constant): 常量字符串存放在常量区，程序执行结束后由系统释放；
程序代码区： 存放函数体的二进制代码；

代码示例

#include <cstdio>
#include <cstdlib>
#include <cstring>

int a=0; // a: 全局(静态)初始化区
char * p1 ; //p1: 全局(静态)未初始化区

int main(){
    int b; // b: 栈区
    char s[] = "abc"; //s:栈区，占4个字节 abc\0
    char *p2; //p2: 栈区
    char *p3 = "123456"; //p3:栈区， 123456\0 在常量区
    static int c=0 ; //c: 全局(静态)初始化区
    p1=(char *)malloc(10); //p1 指向的10字节在堆区
    p2=(char *)malloc(20); //p2 指向的20字节在堆区
    strcpy(p1,"123456"); //23456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一个地方。

    system("pause");
    return 0;
}

堆内存与栈内存的比较

申请方式

Stack : 由系统(编译器)自动分配，例如：在函数中声明一个局部变量b， 则系统在栈中自动为b开辟内存空间，函数调用完成后，系统自动回收b的内存空间。
Heap ： 需要程序员自己分配，并指明大小，注意在C语言中用malloc函数申请动态堆内存，p1=(char *) malloc (10) ; 在C++中用new关键字动态申请堆内存，p2=(char *) new(10); 但是p1，p2本身是在栈中的。

申请后的系统响应

Stack： 只要栈的剩余空间大于所申请的空间，系统将为程序分配内存，否则将报异常提示栈溢出；
Heap： 操作系统维护着一个记录空闲内存地址的链表，当系统 收到程序的内存申请时，会遍历该链表，寻找第一个空间大于所申请空间的的堆节点，然后将该节点从空闲节点链表中删除，并将该节点的内存分配给程序。另外，对应大多数系统，会在这块堆内存的首地址处记录本次分配的内存的大小，这样代码中的delete语句才能正确的释放分配的内存空间。此外，找到的堆节点的内存大小不一定正好等于所申请的内存空间大小，系统会自动将多余的部分重新放回到空闲链表中。

申请大小限制

**Stack: ** 在windows系统中，栈是由高地址向低地址扩展的数据结构，是一块连续的内存区域。栈顶的地址(高地址)和栈的容量时预先规定好的。在windows下，栈的大小默认是2M(也有可能是其他值)，如果申请的空间超过栈的剩余空间时，则将提示栈溢出。因此，栈内存空间是比较小的。
** Heap: ** 堆是由低地址向高地址扩展的数据结构，是不连续的内存区域。这是因为系统是通过链表来维护空闲内存地址的，则堆内存空间必然是不连续的，链表的遍历方向是从低地址到高地址。堆的内存大小受限于计算机系统中有效的虚拟内存。堆内存空间获取方式比较灵活，也比较大。

申请效率比较

Stack： 栈由系统自动分配，速度快，但是程序员无法控制；
Heap： 堆内存一般由new或者malloc分配，速度慢，容易产生内存碎片，但是使用灵活，可由程序员自己控制。

堆与栈中存储内容比较

**Stack： ** 在函数调用时，第一个进栈的是主函数中的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数。在大多数C编译器中，参数是从右向左进栈的，然后是函数中的局部变量。注意：静态变量是不会入栈的。当本次函数调用结束后，局部变量先出栈，然后是参数，最后栈顶指针指向最开始存的地址，也就是主函数中的下一条指令，程序从该点继续运行。
**Heap： ** 一般在堆的头部用一个字节存放堆的大小，堆中存放的具体内容由程序员指定。

存取效率比较

char s1[] = "aaaaa";
char *s2="bbbbb";

"aaaaa"是在运行时刻赋值的，而"bbbbb"是在编译时就确定的；但是在以后的存储中栈上的数组指针（如：s1）比指针所指向的字符串(如：s2)快。