malloc 与 free函数详解<转载>

malloc和free函数详解

 

　　本文介绍malloc和free函数的内容。

　　在C中，对内存的管理是至关重要。下面开始介绍这两个函数：

 

　　1、malloc()和free()的基本概念以及基本用法：

一、函数原型及说明：

void *malloc(long NumBytes)：该函数分配了NumBytes个字节，并返回了指向这块内存的指针。若是分配失败，则返回一个空指针（NULL）。

关于分配失败的缘由，应该有多种，好比说空间不足就是一种。

void free(void *FirstByte)： 该函数是将以前用malloc分配的空间还给程序或者是操做系统，也就是释放了这块内存，让它从新获得自由。

 

二、函数的用法：

     其实这两个函数用起来倒不是很难，也就是malloc()以后以为用够了就甩了它把它给free()了，举个简单例子：

程序代码：
        // Code... 
        char *Ptr = NULL; 
        Ptr = (char *)malloc(100 * sizeof(char)); 
        if (NULL == Ptr) 
   　 { 
      　　  exit (1); 
　　  } 
        gets(Ptr); 

        // code... 
        free(Ptr); 
        Ptr = NULL; 
        // code...

就是这样！固然，具体状况要具体分析以及具体解决。好比说，你定义了一个指针，在一个函数里申请了一块内存而后经过函数返回传递给这个指针，那么也许释放这块内存这项工做就应该留给其余函数了。

 

三、关于函数使用须要注意的一些地方：

A、申请了内存空间后，必须检查是否分配成功。

B、当不须要再使用申请的内存时，记得释放；释放后应该把指向这块内存的指针指向NULL，防止程序后面不当心使用了它。

C、这两个函数应该是配对。若是申请后不释放就是内存泄露；若是无端释放那就是什么也没有作。释放只能一次，若是释放两次及两次以上会

出现错误（释放空指针例外，释放空指针其实也等于啥也没作，因此释放空指针释放多少次都没有问题）。

D、虽然malloc()函数的类型是(void *),任何类型的指针均可以转换成(void *),可是最好仍是在前面进行强制类型转换，由于这样能够躲过一些编译器的检查。

如今进入第二部分：

 

　　2、malloc()到底从哪里得来了内存空间：

一、malloc()到底从哪里获得了内存空间？答案是从堆里面得到空间。也就是说函数返回的指针是指向堆里面的一块内存。操做系统中有一个记录空闲内存地址的链表。当操做系统收到程序的申请时，就会遍历该链表，而后就寻找第一个空间大于所申请空间的堆结点，而后就将该结点从空闲结点链表中删除，并将该结点的空间分配给程序。关于堆的知识呢能够查询数据结构方面的知识或查询之前的一篇帖子C/C++堆、栈及静态数据区详解[转载]。这里不过多介绍。

 

二、在使用malloc()分配内存空间后，必定要记得释放内存空间，不然就会出现内存泄漏。

 

三、free()到底释放了什么

free()释放的是指针指向的内存！注意！释放的是内存，不是指针！指针并无被释放，指针仍然指向原来的存储空间。指针是一个变量，只有程序结束时才被销毁。释放了内存空间后，原来指向这块空间的指针仍是存在！只不过如今指针指向的内容的垃圾，是未定义的，因此说是垃圾。所以，释放内存后把指针指向NULL，防止指针在后面不当心又被解引用了。

 

　　3、malloc()以及free()的机制：

事实上，仔细看一下free()的函数原型，也许也会发现彷佛很神奇，free()函数很是简单，只有一个参数，只要把指向申请空间的指针传递给free()中的参数就能够完成释放工做！这里要追踪到malloc()的申请问题了。申请的时候实际上占用的内存要比申请的大。由于超出的空间是用来记录对这块内存的管理信息。

大多数实现所分配的存储空间比所要求的要稍大一些，额外的空间用来记录管理信息——分配块的长度，指向下一个分配块的指针等等。这就意味着若是写过一个已分配区的尾端，则会改写后一块的管理信息。这种类型的错误是灾难性的，可是由于这种错误不会很快就暴露出来，因此也就很难发现。将指向分配块的指针向后移动也可能会改写本块的管理信息。

malloc()申请的空间实际就是分了两个不一样性质的空间。一个就是用来记录管理信息的空间，另一个就是可用空间了。而用来记录管理信息的其实是一个结构体。在C语言中，常常用结构来记录信息！下面看看这个结构体的原型：

程序代码：
   struct mem_control_block { 
    int is_available;    //通常来讲应该是一个可用空间的首地址，但这里英文单词却显示出空间是否可用的一个标记
    int size;            //这是实际空间的大小 
    };

 

　　因此，free()就是根据这个结构体的信息来释放malloc()申请的空间！而结构体的两个成员的大小我想应该是操做系统的事了。

　　下面看看free()的源代码

　　 // code... 
    
       void free(void *ptr)  
    { 
            struct mem_control_block *free; 
            free = ptr - sizeof(struct mem_control_block); 
            free->is_available = 1; 
            return; 
    }

 

　　至于malloc的源码，有兴趣的能够到网上找一下！