标签：
l 函数原型
malloc函数的函数原型为：void* malloc（unsigned int size），它根据参数指定的尺寸来分配内存块，并且返回一个void型指针，指向新分配的内存块的初始位置。如果内存分配失败（内存不足），则函数返回NULL。
l 关于返回值
malloc的返回值为void*。我们在使用的时候，习惯对返回值进行强制类型转换：
char * p = NULL;
p = (char *)malloc(sizeof(char));
ANSI C以前的C，因为没有void*这种类型，malloc函数的返回值被简单地定义为char*，char*是不能被赋予指向其他类型变量的指针的。所以在使用malloc函数时通常需要对其返回值进行强制类型转换。
在ANSI C中，malloc函数的返回值为void*。void*类型是可以直接赋值给其他任何类型的指针。所以，上面的强制类型转换操作现在已经不需要了。
然而在c++中，任何类型的指针都可以赋给void*，而void*却不可以赋给其他类型的指针，所以在c++中使用malloc函数的时候，强制类型转换是必须的。另一方面，在c++中应该使用new来分配内存。
l malloc在堆上分配内存
malloc函数分配的内存是在堆（heap）上的。操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表中删除，并将该结点的空间分配给程序，另外，对于大多数系统，会在这块内存空间中的首地址处记录本次分配的大小，这样代码中的delete或free语句才能正确的释放本内存空间。我们常说的内存泄露，最常见的就是堆泄露（还有资源泄露），它是指程序在运行中出现泄露，如果程序被关闭掉的话，操作系统会帮助释放泄漏的内存。
l malloc的使用
malloc函数使用起来倒是挺简单的，主要的使用范例有两种：一是动态分配结构体，通常用于被称为“链表”的数据结构中；二是分配可变长度的数组。对这两种用法就不多说了，主要是来看使用过程中的注意点：
实际上，c语言标准没有规定要这么做，而且普通的PC上的操作系统，在进程结束时，肯定会释放曾经分配给当前进程的内存空间，也就是说，在程序结束之前，没有必要调用free（）。但是，对于一串连续的程序处理事件，如果先前程序分配的内存没有及时释放掉，那后面的工作就遭殃了。所以”malloc与free配套出现”还是相当合理的。
l malloc（）与free( )
从操作系统一次性地取得比较大的内存，当程序调用malloc（）时，malloc（）便将内存”零售”给应用程序，这是malloc（）的大体实现。而当这块一次性取出来的内存不够用的时候，就请求操作系统对空间进行扩容。多次调用malloc（）（导致内存不够用了）会调用一次brk（），内存区域向地址较大的一方伸长。malloc()分配内存，会用到brk(用于小内存申请<=128kb，在堆上)或mmap2(用于大内存申请，一般是堆和栈中间)系统调用 。
K&R中记录了malloc（）最简单的一种实现方式：通过链表来实现。malloc管理的空间不一定是连续的，空闲存储空间以空闲块链表的方式组织。在这种方式下，每个块之前都加上了一个管理区域，包含一个长度、一个指向下一块的指针以及一个指向自身存储空间的指针。这些快按照储存地址的升序组织。最后一块（最高地址）指向第一块。这里使用K&R中的图加以说明：
当有申请要求时，malloc将扫描空闲块链表，直到找到一块足够大的空闲块为止，如果找不到，则向操作系统申请一个大块并加入到空闲链表中。然而在这种内存管理方式的运行环境中，一旦数组越界检查发生错误，越过了malloc()分配的内存区域写入了数据，将会破坏下一个块的管理区域，容易造成程序崩溃。在《UNIX环境高级编程》中有一段话肯定了以上的说法：
“大多数实现所分配的存储空间比所要求的要稍大一些，额外的空间用来记录管理信息——分配块的长度，指向下一个分配块的指针等等。这就意味着如果写过一个已分配区的尾端，则会改写后一块的管理信息。这种类型的错误是灾难性的，但是因为这种错误不会很快就暴露出来，所以也就很难发现。将指向分配块的指针向后移动也可能会改写本块的管理信息。”
那么，free()在这里做了什么呢？free()将管理区域的标记改为”空块”，顺便也将上下空块合并成一个块，这样也防止了块的碎片化。这么说来，free（）函数在调用后，对应的内存是不会立刻返还给操作系统的（还在空闲链表里呆着）。也就是说，调用了free()之后，对应内存的内容不会马上被破坏，直到该块内存被重新分配，里面的内容才会被覆盖重写。尽管如此，调用free()之后，是不能引用对应的内存区域的。所以仓促地使用free（）是不对的，特别是当有两个指针指向同一块内存时，指针1把内存释放了，而指针2还指向那块内存，然而指针2已经不能进行解引用了。
这么看来，free()函数实际上并没有做”释放”的实际操作，它只是改变一些状态，告知操作系统某块内存可以去释放。至于如何告诉，还需要后续了解。
标签：
原文地址：http://www.cnblogs.com/QG-whz/p/4214226.html
