对malloc与free函数的浅识

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

  在C中,对内存的管理是相当重要。下面开始介绍这两个函数:

 

  一、malloc()和free()的基本概念以及基本用法:

1、函数原型及说明:

void *malloc(long NumBytes):该函数分配了NumBytes个字节,并返回了指向这块内存的指针。如果分配失败,则返回一个空指针(NULL)。

关于分配失败的原因,应该有多种,比如说空间不足就是一种。

void free(void *FirstByte): 该函数是将之前用malloc分配的空间还给程序或者是操作系统,也就是释放了这块内存,让它重新得到自由。

 

2、函数的用法:

     其实这两个函数用起来倒不是很难,也就是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...

就是这样!当然,具体情况要具体分析以及具体解决。比如说,你定义了一个指针,在一个函数里申请了一块内存然后通过函数返回传递给这个指针,那么也许释放这块内存这项工作就应该留给其他函数了。

 

3、关于函数使用需要注意的一些地方:

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

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

C、这两个函数应该是配对。如果申请后不释放就是内存泄露;如果无故释放那就是什么也没有做。释放只能一次,如果释放两次及两次以上会

出现错误(释放空指针例外,释放空指针其实也等于啥也没做,所以释放空指针释放多少次都没有问题)。

D、虽然malloc()函数的类型是(void *),任何类型的指针都可以转换成(void *),但是最好还是在前面进行强制类型转换,因为这样可以躲过一些编译器的检查。

现在进入第二部分:

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

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

 

2、在使用malloc()分配内存空间后,一定要记得释放内存空间,否则就会出现内存泄漏。



3free()到底释放了什么

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

 
  三、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的源码,有兴趣的可以到网上找一下!
free与malloc详解

以上摘自:https://www.cnblogs.com/hanyonglu/archive/2011/04/28/2031271.html

在做测试时遇到一个小问题,增加了对free与malloc的一些认识。

1.  L = create_seqlist  //创建一个线性表

      L = (seqlist *)malloc(sizeof(seqlist))

2.  insert_seqlist  //循环插入元素

3.  show_seqlist(L)  //打印线性表的内容

4.  clear_seqlist(L)  //q清除线性表

       free(L)

5.   show_seqlist(L) //打印线性表的内容

 

 

运行后发现clear后,依然能打印出线性表的内容

为什么free了之后,L指针指向的内容还在,么有改变?

首先malloc向系统申请了内存,并把内存地址赋给了一个指针L,之后通过L就可以对内存进行操作,并且这部分内存就不能通过其他指针被访问。
free是指释放L指针指向的内存,即把malloc申请的空间的使用权限交还给系统,并非释放指针L,就是说L指针的地址还是指向之前分配的那块内存,但是此内存也可以被其他指针访问,修改。指针L是局部变量,在所在函数调用结束后会被释放,使用权交还系统,但L指针空间的数据不会改变,除非有人修改,所以在show函数再次调用,还能打印出顺序表的内容。为了防止非法访问,一般在free后会将指针置NULL。

 对于上程序,在clear中加 L =  NULL,置空指针并没有用,因为L指针也属于main函数中的局部变量,在clear调用结束后,L指向内容不变。

 

 

猜你喜欢

转载自www.cnblogs.com/y4247464/p/11913633.html