C语言中内存管理的方法介绍

本文介绍C语言中内存管理的方法。

　　一般而言，分配给进程的内存有四个概念上不同的区域，分别为：代码段、数据段、堆和栈，其中数据段又可以细分为初始化为非零的数据和初始化为零的数据。如下图所示：

------------------- 　　| 程序栈 |----------高地址--〉低地址 　　------------------- 　　| 堆 |----------向上增长 　　------------------- 　　| BSS |----------数据段 　　| 全局和静态变量 | 　　------------------- ----------低地址 　　| 可执行代码 |----------代码段 　　-------------------

　　可执行指令放在代码段中，任何时刻，内存中只有一份相同程序的指令拷贝，多个实例共享这些代码。

　　初始化为非零的静态数据和全局数据存放在数据段中，运行相同程序的每个进程，有自己的数据段。

　　初始化为零的全局数据和静态分配数据存放在进程的BSS区域中，每个运行的进程都有自己的BSS，程序运行的时候，将数据放到数据段中，由此可知，只有初 始化为非零的变量才占用空间，所以对于类似static int ss[1024];这样的数组自动用0来填充，它占的空间很小。

　　堆，动态内存来自于堆，即：通过malloc得到的空间，通常情况下，堆是向上增长的，即：后面分配的地址比前面的地址在数值上大一些。

　　栈，分配本地变量的地方，函数参数、函数的返回值和返回地址也放在栈空间中，需要特别注意的是，当函数返回后，存储在栈空间中的函数变量“自动消失”，空间被其他函数使用。栈空间是向下增长的。

　　在C语言中，一般通过malloc/calloc函数分配空间，通过free()函数释放空间，使用realloc()改变已分配空间的大小。

　　

　　在Unix系统上，提供了函数alloca()函数，可以实现在栈空间上分配指定大小的空间，这样的好处是，函数结束后，空间自动释放，不必显式地调用函数free()，但是该函数有很多弊端，比如不可移植等，因此不建议使用。

　　有必要提一下malloc、calloc、realloc函数的底层实现，在Linux系统中，提供了brk()和sbrk()函数，上面几个函数就是在这两个函数的基础上实现的。

char *p5 = "hello"; 　　char *p6 = "hello";

　　*p5 == *p6 因为 "hello" 是字符串常量,定义后会在常量区开辟一块空间存储hello,【常量区又是在哪呢？】

　　因为是在常量区不可修改,所以没必要再从新申请一块新空间去存储另一个"hello",所以,

　　p5,p6指的是一块区域.

char p7[] = "hello"; 　　char p8[] = "hello";

　　就完全不一样了,因为这是在栈区申请的区域,所以是不同的两块空间.

此处再说一下指针和数组的区别：

C++/C程序中，指针和数组在不少地方可以相互替换着用，让人产生一种错觉，以为两者是等价的。

       数组要么在静态存储区被创建（如全局数组），要么在栈上被创建。数组名对应着（而不是指向）一块内存，其地址与容量在生命期内保持不变，只有数组的内容可以改变。

指针可以随时指向任意类型的内存块，它的特征是“可变”，所以我们常用指针来操作动态内存。指针远比数组灵活，但也更危险。 

　　本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/likejieicy/archive/2010/01/13/5185484.aspx

 

继续搜集内存管理方面的知识【主要是内存开辟异常，内存异常退出 释放的问题】：

 1 为new和malloc设置异常处理函数。例如Visual C++可以用_set_new_hander函数为new设置用户自己定义的异常处理函数，也可以让malloc享用与new相同的异常处理函数。详细内容请参考C++使用手册

2 把所有内存操作都记录下来，用一个单体来管理，在程序退出前必然执行之。【1 记录时刻， 2 退出之前】