内存分配
栈区:由编译器自动分配释放,存放函数的参数值,局部变量的值等;其操作方式类似于数据结构中的栈。
堆区:一般由程序员分配和释放,若程序员不释放,程序结束时可能由OS回收,这与数据结构中的堆完全不是一个概念,分配方式类似于链表,一般堆的头部用一个字节存放堆的大小,堆中的具体内容由程序员安排。
全局区(静态区):全局变量和静态变量的存储是放在一起的,初始化的全局变量和静态变量在一块区域,未初始化的全局变量和静态变量在相邻的另一块的区域;程序结束后由系统释放。
文字常量区:常量字符串放在此处;程序结束后由系统释放。
程序代码区:存放函数体的二进制代码。
申请方式
栈:由系统自动分配。例如,在函数中声明一个局部变量 int b,系统自动在栈中为b开辟空间。
堆:需要编程者自己申请,并指明大小:
在C中使用malloc函数: 如,int * p1 = (char *) malloc(20);
在C++中使用new运算符:如,int * p2 = new int(20);
但是注意p1、p2本身是在栈中的。
申请后系统的响应
栈:只要栈的剩余空间大于所申请空间,系统将为程序提供内存,否则将报异常提示栈溢出。
堆:首先应该知道操作系统有一个记录空闲内存地址的链表,当系统收到程序的申请时, 会遍历该链表,寻找第一个空间大于所申请空间的堆结点,然后将该结点从空闲结点链表中删除,并将该结点的空间分配给程序,
另外,对于大多数系统,会在这块内存空间中的首地址处记录本次分配的大小,这样,代码中的delete语句才能正确的释放本内存空间。由于找到的堆结点的大小不一定正好等于申请的大小,系统会自动的将多余的那部分重新放入空闲链表中。