malloc实现原理

来源:互联网 发布:淘宝免费刷信誉软件 编辑:程序博客网 时间:2024/05/16 18:36

malloc()是C语言中动态存储管理 的一组标准库函数之一。其作用是在内存的动态存储区中分配一个长度为size的连续空间。其参数是一个无符号整形数,返回值 是一个指向所分配的连续存储域的起始地址的指针。 
  动态内存分配 就 是指在程序执行的过程中动态地分配或者回收存储空间的分配内存的方法。动态内存分配不像数组等静态内存分配方法那样需要预先分配存储空间,而是由系统根据 程序的需要即时分配,且分配的大小就是程序要求的大小。本文简单介绍动态内存分配函数malloc()及几种实现方法。 
  1. 简介 
  malloc()是C语言中动态存储管理的一组标准库函数之一。其作用是在内存的动态存储区中分配一个长度为size的连续空间。其参数是一个无符号整形数,返回值是一个指向所分配的连续存储域的起始地址的指针。还有一点必须注意的是,当函数未能成功分配存储空间(如内存不足 )就会返回一个NULL指针。所以在调用该函数时应该检测返回值是否为NULL并执行相应的操作。 
  2. 函数说明 
   C语言的动态存储管理由一组标准库函数实现,其原型在标准文件<stdlib.h>里描述,需要用这些功能时应包含这个文件。与动态存储分 配有关的函数共有四个,其中就包括存储分配函数malloc()。函数原型是:void *malloc (size_t n);这里的size_t是标准库里定义的一个类型,它是一个无符号整型。这个整型能够满足所有对存储块大小描述的需要,具体相当于哪个整型由具体的C系 统确定。malloc的返回值为(void *)类型(这是通用指针的一个重要用途),它分配一片能存放大小为n的数据的存储块,返回对应的指针值;如果不能满足申请(找不到能满足要求的存储块)就 返回NULL。在使用时,应该把malloc的返回值转换到特定指针类型,赋给一个指针。 
  注意,虽然这里的存储块是通过动态分配得到的,但 是它的大小也是确定的,同样不允许越界使用。例如上面程序段分配的块里能存n个双精度数据,随后的使用就必须在这个范围内进行。越界使用动态分配的存储 块,尤其是越界赋值,可能引起非常严重的后果,通常会破坏程序的运行系统,可能造成本程序或者整个计算机系统 垮台。 
  下例是一个动态分配的例子: 
  #include <stdlib.h> 
  main() 
  { 
  int count,*array; /*count是一个计数器,array是一个整型指针,也可以理解为指向一个整型数组的首地址*/ 
  if((array(int *) malloc (10*sizeof (int)))==NULL) 
  { 
  printf("不能成功分配存储空间。"); 
  exit(1); 
  } 
  for (count=0;count〈10;count++) /*给数组赋值*/ 
  array[count]=count; 
  for(count=0;count〈10;count++) /*打印数组元素*/ 
  printf("%2d",array[count]); 
  } 
  上例中动态分配了10个整型存储区域,然后进行赋值并打印。例中if((array(int *) malloc (10*sizeof(int)))==NULL)语句可以分为以下几步: 
  1)分配10个整型的连续存储空间,并返回一个指向其起始地址的整型指针 
  2)把此整型指针地址赋给array 
  3)检测返回值是否为NULL 
  3. malloc()工作机制 
   malloc函数的实质体现在,它有一个将可用的内存块连接为一个长长的列表的所谓空闲链表。调用malloc函数时,它沿连接表寻找一个大到足以满足 用户请求所需要的内存块。然后,将该内存块一分为二(一块的大小与用户请求的大小相等,另一块的大小就是剩下的字节)。接下来,将分配给用户的那块内存传 给用户,并将剩下的那块(如果有的话)返回到连接表上。调用free函数时,它将用户释放的内存块连接到空闲链上。到最后,空闲链会被切成很多的小内存片 段,如果这时用户申请一个大的内存片段,那么空闲链上可能没有可以满足用户要求的片段了。于是,malloc函数请求延时,并开始在空闲链上翻箱倒柜地检 查各内存片段,对它们进行整理,将相邻的小空闲块合并成较大的内存块。 
  4. malloc()在操作系统中的实现 
  在 C 程序中,多次使用malloc () 和 free()。不过,您可能没有用一些时间去思考它们在您的操作系统中是如何实现的。本节将向您展示 malloc 和 free 的一个最简化实现的代码,来帮助说明管理内存时都涉及到了哪些事情。 
  在大部分操作系统中,内存分配由以下两个简单的函数来处理: 
  void *malloc (long numbytes):该函数负责分配 numbytes 大小的内存,并返回指向第一个字节的指针。 
  void free(void *firstbyte):如果给定一个由先前的 malloc 返回的指针,那么该函数会将分配的空间归还给进程的“空闲空间”。 
  malloc_init 将是初始化内存分配程序的函数。它要完成以下三件事:将分配程序标识为已经初始化,找到系统中最后一个有效内存地址 ,然后建立起指向我们管理的内存的指针。这三个变量都是全局变量 : 
  清单 1. 我们的简单分配程序的全局变量 
  int has_initialized = 0; 
  void *managed_memory_start; 
  void *last_valid_address; 
  如前所述,被映射的内存的边界(最后一个有效地址)常被称为系统中断点或者 当前中断点。在很多 UNIX ? 系统中,为了指出当前系统中断点,必须使用 sbrk(0) 函数。 sbrk 根据参数中给出的字节数移动当前系统中断点,然后返回新的系统中断点。使用参数 0 只是返回当前中断点。这里是我们的 malloc 初始化代码,它将找到当前中断点并初始化我们的变量: 
  清单 2. 分配程序初始化函数 
  /* Include the sbrk function */ 
  #include 
  void malloc_init() 
  { 
  /* grab the last valid address from the OS */ 
  last_valid_address = sbrk(0); 
  /* we don't have any memory to manage yet, so 
  *just set the beginning to be last_valid_address 
  */ 
  managed_memory_start = last_valid_address; 
  /* Okay, we're initialized and ready to go */ 
  has_initialized = 1; 
  } 
   现在,为了完全地管理内存,我们需要能够追踪要分配和回收哪些内存。在对内存块进行了 free 调用之后,我们需要做的是诸如将它们标记为未被使用的等事情,并且,在调用 malloc 时,我们要能够定位未被使用的内存块。因此, malloc 返回的每块内存的起始处首先要有这个结构: 
  清单 3. 内存控制块结构定义 
  struct mem_control_block { 
  int is_available; 
  int size; 
  }; 
   现在,您可能会认为当程序调用 malloc 时这会引发问题 —— 它们如何知道这个结构?答案是它们不必知道;在返回指针之前,我们会将其移动到这个结构之后,把它隐藏起来。这使得返回的指针指向没有用于任何其他用途的 内存。那样,从调用程序的角度来看,它们所得到的全部是空闲的、开放的内存。然后,当通过 free() 将该指针传递回来时,我们只需要倒退几个内存字节就可以再次找到这个结构。 
  在讨论分配内存之前,我们将先讨论释放,因为它更简单。为了释放内存,我们必须要做的惟一一件事情就是,获得我们给出的指针,回退 sizeof(struct mem_control_block) 个字节,并将其标记为可用的。这里是对应的代码: 
  清单 4. 解除分配函数 
  void free(void *firstbyte) { 
  struct mem_control_block *mcb; 
  /* Backup from the given pointer to find the 
  * mem_control_block 
  */ 
  mcb = firstbyte - sizeof(struct mem_control_block); 
  /* Mark the block as being available */ 
  mcb->is_available = 1; 
  /* That's It! We're done. */ 
  return; 
  } 
  如您所见,在这个分配程序中,内存的释放使用了一个非常简单的机制,在固定时间内完成内存释放。分配内存稍微困难一些。以下是该算法的略述: 
  清单 5. 主分配程序的伪代码 
  1. If our allocator has not been initialized, initialize it. 
  2. Add sizeof(struct mem_control_block) to the size requested. 
  3. start at managed_memory_start. 
  4. Are we at last_valid address? 
  5. If we are : 
  A. We didn't find any existing space that was large enough 
  -- ask the operating system for more and return that. 
  6. Otherwise: 
  A. Is the current space available (check is_available from 
  the mem_control_block)? 
  B. If it is: 
  i) Is it large enough (check "size" from the 
  mem_control_block)? 
  ii) If so: 
  a. Mark it as unavailable 
  b. Move past mem_control_block and return the 
  pointer 
  iii) Otherwise: 
  a. Move forward "size" bytes 
  b. Go back go step 4 
  C. Otherwise: 
  i) Move forward "size" bytes 
  ii) Go back to step 4 
  我们主要使用连接的指针遍历内存来寻找开放的内存块。这里是代码: 
  清单 6. 主分配程序 
  void *malloc(long numbytes) { 
  /* Holds where we are looking in memory */ 
  void *current_location; 
  /* This is the same as current_location, but cast to a 
  * memory_control_block 
  */ 
  struct mem_control_block *current_location_mcb; 
  /* This is the memory location we will return. It will 
  * be set to 0 until we find something suitable 
  */ 
  void *memory_location; 
  /* Initialize if we haven't already done so */ 
  if(! has_initialized) { 
  malloc_init(); 
  } 
  /* The memory we search for has to include the memory 
  * control block, but the users of malloc don't need 
  * to know this, so we'll just add it in for them. 
  */ 
  numbytes = numbytes + sizeof(struct mem_control_block); 
  /* Set memory_location to 0 until we find a suitable 
  * location 
  */ 
  memory_location = 0; 
  /* Begin searching at the start of managed memory */ 
  current_location = managed_memory_start; 
  /* Keep going until we have searched all allocated space */ 
  while(current_location != last_valid_address) 
  { 
  /* current_location and current_location_mcb point 
  * to the same address. However, current_location_mcb 
  * is of the correct type, so we can use it as a struct. 
  * current_location is a void pointer so we can use it 
  * to calculate addresses. 
  */ 
  current_location_mcb = 
  (struct mem_control_block *)current_location; 
  if(current_location_mcb->is_available) 
  { 
  if(current_location_mcb->size >= numbytes) 
  { 
  /* Woohoo! We've found an open, 
  * appropriately-size location. 
  */ 
  /* It is no longer available */ 
  current_location_mcb->is_available = 0; 
  /* We own it */ 
  memory_location = current_location; 
  /* Leave the loop */ 
  break; 
  } 
  } 
  /* If we made it here, it's because the Current memory 
  * block not suitable; move to the next one 
  */ 
  current_location = current_location + 
  current_location_mcb->size; 
  } 
  /* If we still don't have a valid location, we'll 
  * have to ask the operating system for more memory 
  */ 
  if(! memory_location) 
  { 
  /* Move the program break numbytes further */ 
  sbrk(numbytes); 
  /* The new memory will be where the last valid 
  * address left off 
  */ 
  memory_location = last_valid_address; 
  /* We'll move the last valid address forward 
  * numbytes 
  */ 
  last_valid_address = last_valid_address + numbytes; 
  /* We need to initialize the mem_control_block */ 
  current_location_mcb = memory_location; 
  current_location_mcb->is_available = 0; 
  current_location_mcb->size = numbytes; 
  } 
  /* Now, no matter what (well, except for error conditions), 
  * memory_location has the address of the memory, including 
  * the mem_control_block 
  */ 
  /* Move the pointer past the mem_control_block */ 
  memory_location = memory_location + sizeof(struct mem_control_block); 
  /* Return the pointer */ 
  return memory_location; 
  } 
  这就是我们的内存管理器。现在,我们只需要构建它,并在程序中使用它即可。 
  5. malloc()的其他实现 
  malloc() 的实现有很多,这些实现各有优点与缺点。在设计一个分配程序时,要面临许多需要折衷 的选择,其中包括: 
  分配的速度。 
  回收的速度。 
  有线程的环境的行为。 
  内存将要被用光时的行为。 
  局部缓存。 
  簿记(Bookkeeping)内存开销。 
  虚拟内存环境中的行为。 
  小的或者大的对象。 
  实时保证。 
  每一个实现都有其自身的优缺点集合。在我们的简单的分配程序中,分配非常慢,而回收非常快。另外,由于它在使用虚拟内存系统方面较差,所以它最适于处理大的对象。 
  还有其他许多分配程序可以使用。其中包括: 
  Doug Lea Malloc:Doug Lea Malloc 实际上是完整的一组分配程序,其中包括 Doug Lea 的原始分配程序,GNU libc 分配程序和 ptmalloc。 Doug Lea 的分配程序有着与我们的版本非常类似的基本结构,但是它加入了索引,这使得搜索速度更快,并且可以将多个没有被使用的块组合为一个大的块。它还支持缓存, 以便更快地再次使用最近释放的内存。 ptmalloc 是 Doug Lea Malloc 的一个扩展版本,支持多线程。在本文后面的 参考资料 部分中,有一篇描述 Doug Lea 的 Malloc 实现的文章。 
  BSD Malloc:BSD Malloc 是随 4.2 BSD 发行的实现,包含在 FreeBSD 之中,这个分配程序可以从预先确实大小的对象构成的池中分配对象。它有一些用于对象大小的 size 类,这些对象的大小为 2 的若干次幂减去某一常数。所以,如果您请求给定大小的一个对象,它就简单地分配一个与之匹配的 size 类。这样就提供了一个快速的实现,但是可能会浪费内存。在 参考资料部分中,有一篇描述该实现的文章。 
  Hoard:编写 Hoard 的目标是使内存分配在多线程环境中进行得非常快。因此,它的构造以锁的使用为中心,从而使所有进程不必等待分配内存。它可以显著地加快那些进行很多分配和回收的多线程进程的速度。在 参考资料部分中,有一篇描述该实现的文章。 
  众多可用的分配程序中最有名的就是上述这些分配程序。如果您的程序有特别的分配需求,那么您可能更愿意编写一个定制的能匹配您的程序内存分配方式的分配程序。不过,如果不熟悉分配程序的设计,那么定制分配程序通常会带来比它们解决的问题更多的问题。

 

 

附::

C++中内存的动态分配与管理永远是一个让C++开发者头痛的问题,本文通过对C++中内存的动态分配释放的基本原理的介绍,让读者朋友能对C++中的内存的动态分配与释放有较为深入的理解,从而更好驾驭C++程序。

1. 函数(Function) 
(1) operator new function

12
[cpp] view plain copy
  1. <span style="color: #0000ff;">void</span>  
  2. <br>  
  3.  <span style="color: #000040;">*</span>  
  4. <br>  
  5.  <span style="color: #008080;">::</span>  
  6. <br>  
  7. <span style="color: #007788;">operator</span>  
  8. <br>  
  9.  <span style="color: #0000dd;">new</span>  
  10. <br>  
  11. <span style="color: #008000;">(</span>  
  12. <br>  
  13. <span style="color: #0000ff;">size_t</span>  
  14. <br>  
  15. <span style="color: #008000;">)</span>  
  16. <br>  
  17. <span style="color: #008080;">;</span>  
  18. <br>  
  19.                     <span style="color: #666666;">//Global</span>  
  20. <br>  
  21. <br>  
  22. <br>  
  23. <span style="color: #0000ff;">void</span>  
  24. <br>  
  25.  <span style="color: #000040;">*</span>  
  26. <br>  
  27.  class<span style="color: #000040;">-</span>  
  28. <br>  
  29. name<span style="color: #008080;">::</span>  
  30. <br>  
  31. <span style="color: #007788;">operator</span>  
  32. <br>  
  33.  <span style="color: #0000dd;">new</span>  
  34. <br>  
  35. <span style="color: #008000;">(</span>  
  36. <br>  
  37. <span style="color: #0000ff;">size_t</span>  
  38. <br>  
  39. <span style="color: #008000;">)</span>  
  40. <br>  
  41. <span style="color: #008080;">;</span>  
  42. <br>  
  43.     <span style="color: #666666;">//Class</span>  
  44. <br>  


上面是C++中operator new function的原型,一个是全局类型的,一个的类成员类型的。全局类型的operator new函数在下面两种情况下被调用:一种是在分配C++内建(built-in)类型的动态内存时,一种是在分配用户没有自己定义operator new成员函数的用户自定义类型的动态内存时。 如果用户在自己定义的类型中,定义了operator new函数,那么用户在用new申请该类型的动态内存时, 便会调用该类型的成员函数operator new, 而不是全局的operator new。

另外,我们注意到,上面的原型中函数的返回值为void *类型, 第一个参数为size_t类型,这个是C++编译器要求的,如果要自己重载operator new函数,返回值必须为void* 类型,第一个参数必须为size_t类型,否则,编译器会返回如下错误信息:

1
error: ‘operator new’ takes type ‘size_t’ (‘unsigned int’) as first parameter

这里需要注意的一点是,我们可以利用operator new function可以重载的特点,可以通过参数传入一些额外的信息,来调试程序,检测内存泄露等。比如,我们可以像下面这样重载,传入调用处的行号,函数名,这样就可以跟踪内存的分配使用情况:

12345
[cpp] view plain copy
  1. <span style="color: #0000ff;">void</span>  
  2. <br>  
  3.  <span style="color: #000040;">*</span>  
  4. <br>  
  5.  operator <span style="color: #0000dd;">new</span>  
  6. <br>  
  7. <span style="color: #008000;">(</span>  
  8. <br>  
  9. <span style="color: #0000ff;">size_t</span>  
  10. <br>  
  11.  unSize, <span style="color: #0000ff;">int</span>  
  12. <br>  
  13.  nLine, <span style="color: #0000ff;">const</span>  
  14. <br>  
  15.  <span style="color: #0000ff;">char</span>  
  16. <br>  
  17.  <span style="color: #000040;">*</span>  
  18. <br>  
  19.  pFunc<span style="color: #008000;">)</span>  
  20. <br>  
  21. <br>  
  22. <br>  
  23. <span style="color: #008000;">{</span>  
  24. <br>  
  25. <br>  
  26. <br>  
  27.     prinft<span style="color: #008000;">(</span>  
  28. <br>  
  29. <span style="color: #ff0000;">"Line: %d, Func: %s, allocate %u byte(s)<span style="color: #000099; font-weight: bold;">/n</span>  
  30. <br>  
  31. "</span>  
  32. <br>  
  33. , nLine, pFunc, unSize<span style="color: #008000;">)</span>  
  34. <br>  
  35. <span style="color: #008080;">;</span>  
  36. <br>  
  37. <br>  
  38. <br>  
  39.     <span style="color: #0000ff;">return</span>  
  40. <br>  
  41.  <span style="color: #0000dd;">malloc</span>  
  42. <br>  
  43. <span style="color: #008000;">(</span>  
  44. <br>  
  45. unSize<span style="color: #008000;">)</span>  
  46. <br>  
  47. <span style="color: #008080;">;</span>  
  48. <br>  
  49. <br>  
  50. <br>  
  51. <span style="color: #008000;">}</span>  
  52. <br>  

(2) operator delete function

12
[cpp] view plain copy
  1. <span style="color: #0000ff;">void</span>  
  2. <br>  
  3.  operator <span style="color: #0000dd;">delete</span>  
  4. <br>  
  5. <span style="color: #008000;">(</span>  
  6. <br>  
  7.  <span style="color: #0000ff;">void</span>  
  8. <br>  
  9.  <span style="color: #000040;">*</span>  
  10. <br>  
  11.  <span style="color: #008000;">)</span>  
  12. <br>  
  13. <span style="color: #008080;">;</span>  
  14. <br>  
  15. <br>  
  16. <br>  
  17. <span style="color: #0000ff;">void</span>  
  18. <br>  
  19.  operator <span style="color: #0000dd;">delete</span>  
  20. <br>  
  21. <span style="color: #008000;">(</span>  
  22. <br>  
  23.  <span style="color: #0000ff;">void</span>  
  24. <br>  
  25.  <span style="color: #000040;">*</span>  
  26. <br>  
  27. , <span style="color: #0000ff;">size_t</span>  
  28. <br>  
  29.  <span style="color: #008000;">)</span>  
  30. <br>  
  31. <span style="color: #008080;">;</span>  
  32. <br>  

上面是operator delete function的原型。operator delete function也有全局的和类成员的两种。这里需要注意,一个类只能有一个operator delete function做为其成员函数,而且必须为上面两种中的其中一种,没有其它的形式。如果一个类实现了自己的operator delete function成员函数,那么在释放该类型的内存时,编译器便会调用成员operator delete function, 而不是全局的。

上面的两种原型,第一种,在调用的时候,编译器会把要释放的内存的首地址传入,第二种,在调用的时候,编译器会把要释放的内存的首地址和大小都传 入。因此,可以利用这一特性,如果我们在基类中实现第二种形式的operator delete function的成员函数,那么便可以用之来释放子类类型的内存(具体参考最后面的例子)。
 
2. 运算符(Operator) 
(1) new operator

12
[cpp] view plain copy
  1. <span style="color: #008000;">[</span>  
  2. <br>  
  3. <span style="color: #008080;">::</span>  
  4. <br>  
  5. <span style="color: #008000;">]</span>  
  6. <br>  
  7.  <span style="color: #0000dd;">new</span>  
  8. <br>  
  9.  <span style="color: #008000;">[</span>  
  10. <br>  
  11. placement<span style="color: #008000;">]</span>  
  12. <br>  
  13.  new<span style="color: #000040;">-</span>  
  14. <br>  
  15. type<span style="color: #000040;">-</span>  
  16. <br>  
  17. name <span style="color: #008000;">[</span>  
  18. <br>  
  19. new<span style="color: #000040;">-</span>  
  20. <br>  
  21. initializer<span style="color: #008000;">]</span>  
  22. <br>  
  23. <br>  
  24. <br>  
  25. <span style="color: #008000;">[</span>  
  26. <br>  
  27. <span style="color: #008080;">::</span>  
  28. <br>  
  29. <span style="color: #008000;">]</span>  
  30. <br>  
  31.  <span style="color: #0000dd;">new</span>  
  32. <br>  
  33.  <span style="color: #008000;">[</span>  
  34. <br>  
  35. placement<span style="color: #008000;">]</span>  
  36. <br>  
  37.  <span style="color: #008000;">(</span>  
  38. <br>  
  39.  type<span style="color: #000040;">-</span>  
  40. <br>  
  41. name <span style="color: #008000;">)</span>  
  42. <br>  
  43.  <span style="color: #008000;">[</span>  
  44. <br>  
  45. new<span style="color: #000040;">-</span>  
  46. <br>  
  47. initializer<span style="color: #008000;">]</span>  
  48. <br>  

注:上面的’[]‘表示在其中的部分是optional(可选的) 
上面是new operator的原型。在C++中,动态内存的分配,通常都是调用new operator来完成的,利用new operator来分配动态内存,编译器要做下面两项工作:

  • a. 调用operator new function分配内存(allocate the memory)
  • b. 调用构造函数(call the constructor)来进行初始化

下面来说一说new operator的原型中各部分到底是干什么的:
placement: 如果你重载了operator new function, placement可以用来传递额外的参数
type-name: 指定要分配的内存的类型,可以是内建(built-in)类型,也可以是用户自定义类型
new-initializer: 指定对分配后内存的初始化的参数,也就的构造函数的参数 。这里需要注意一点,在分配一个对象的数组类型的内存时,不能够指定初始化参数;换言之,要想分配一个对象的数组类型的内存,该对象必须有缺省构造函数

(2) delete opeartor

12
[cpp] view plain copy
  1. <span style="color: #008000;">[</span>  
  2. <br>  
  3. <span style="color: #008080;">::</span>  
  4. <br>  
  5. <span style="color: #008000;">]</span>  
  6. <br>  
  7.  <span style="color: #0000dd;">delete</span>  
  8. <br>  
  9.  cast<span style="color: #000040;">-</span>  
  10. <br>  
  11. expression<br>  
  12. <br>  
  13. <span style="color: #008000;">[</span>  
  14. <br>  
  15. <span style="color: #008080;">::</span>  
  16. <br>  
  17. <span style="color: #008000;">]</span>  
  18. <br>  
  19.  <span style="color: #0000dd;">delete</span>  
  20. <br>  
  21.  <span style="color: #008000;">[</span>  
  22. <br>  
  23.  <span style="color: #008000;">]</span>  
  24. <br>  
  25.  cast<span style="color: #000040;">-</span>  
  26. <br>  
  27. expression  

上面是delete operator的原型,第一种用来释放普通的对象(包括内建类型)类型的内存,第二种用来释放对象的数组类型的内存。在C++中,用new operator分配的动态内存,必须调用delete operator来释放,通常用delete operator释放内存编译器要做下面两项工作:

  • a. 调用对象析构函数来析构对象
  • b. 调用operator delete function来释放内存(deallocate the memory)

 
3. 关于new/delete使用过程中一些需要注意的点 
(1)如何区别operator new/delete function 与 new/delete operator ?
通过上面的讲述,不难看出,我们分配/释放动态内存,调用的是new/delete operator, 而在调用new/delete的过程中,编译器会自动调用operator new/delete function来完成实际的内存分配/释放的工作

(2) 用delete operator去释放一块不是由new operator释放的内存,结果是不可预料的,因此,切记,operator new与operator delete一定要配对使用,这是写好程序的基础

(3) new operator调用失败会抛出std::bad_alloc异常,前提是你没有自己重载对应的operator new function;delete operator失败,常见的原因是多次delete同一块内存

(4) 如果一块内存被delete后,再对它解引用(Dereference),结果也是不可预测的,很可能导致程序崩溃

(5) delete一个空(NULL)指针是安全的,没有任何害处的

(6) 类成员类型的operator new/delete函数必须为静态(static)函数,因此它们不能为虚函数(virtual function),也遵守public, protected, private的访问权限控制

4. 关于上面所讲的内容的一些例子: 
程序:

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
[cpp] view plain copy
  1. <span style="color: #339900;">#include <stdio .h></span>  
  2. <br>  
  3. <br>  
  4. <br>  
  5. <span style="color: #339900;">#include <stdlib .h></span>  
  6. <br>  
  7. <br>  
  8. <br>  
  9.  <br>  
  10. <br>  
  11. <span style="color: #0000ff;">void</span>  
  12. <br>  
  13.  <span style="color: #000040;">*</span>  
  14. <br>  
  15.  operator <span style="color: #0000dd;">new</span>  
  16. <br>  
  17. <span style="color: #008000;">(</span>  
  18. <br>  
  19. <span style="color: #0000ff;">size_t</span>  
  20. <br>  
  21.  unSize<span style="color: #008000;">)</span>  
  22. <br>  
  23. <br>  
  24. <br>  
  25. <span style="color: #008000;">{</span>  
  26. <br>  
  27. <br>  
  28. <br>  
  29.     <span style="color: #0000dd;">printf</span>  
  30. <br>  
  31. <span style="color: #008000;">(</span>  
  32. <br>  
  33. <span style="color: #ff0000;">"operator new called<span style="color: #000099; font-weight: bold;">/n</span>  
  34. <br>  
  35. "</span>  
  36. <br>  
  37. <span style="color: #008000;">)</span>  
  38. <br>  
  39. <span style="color: #008080;">;</span>  
  40. <br>  
  41. <br>  
  42. <br>  
  43.     <span style="color: #0000ff;">return</span>  
  44. <br>  
  45.  <span style="color: #0000dd;">malloc</span>  
  46. <br>  
  47. <span style="color: #008000;">(</span>  
  48. <br>  
  49. unSize<span style="color: #008000;">)</span>  
  50. <br>  
  51. <span style="color: #008080;">;</span>  
  52. <br>  
  53. <br>  
  54. <br>  
  55. <span style="color: #008000;">}</span>  
  56. <br>  
  57. <br>  
  58. <br>  
  59.  <br>  
  60. <br>  
  61. <span style="color: #0000ff;">void</span>  
  62. <br>  
  63.  <span style="color: #000040;">*</span>  
  64. <br>  
  65.  operator <span style="color: #0000dd;">new</span>  
  66. <br>  
  67. <span style="color: #008000;">(</span>  
  68. <br>  
  69. <span style="color: #0000ff;">size_t</span>  
  70. <br>  
  71.  unSize, <span style="color: #0000ff;">int</span>  
  72. <br>  
  73.  nLine, <span style="color: #0000ff;">const</span>  
  74. <br>  
  75.  <span style="color: #0000ff;">char</span>  
  76. <br>  
  77.  <span style="color: #000040;">*</span>  
  78. <br>  
  79.  pFunc<span style="color: #008000;">)</span>  
  80. <br>  
  81. <br>  
  82. <br>  
  83. <span style="color: #008000;">{</span>  
  84. <br>  
  85. <br>  
  86. <br>  
  87.     <span style="color: #0000dd;">printf</span>  
  88. <br>  
  89. <span style="color: #008000;">(</span>  
  90. <br>  
  91. <span style="color: #ff0000;">"operator new called, line: %d, func: %s<span style="color: #000099; font-weight: bold;">/n</span>  
  92. <br>  
  93. "</span>  
  94. <br>  
  95. ,<br>  
  96. <br>  
  97.             nLine, pFunc<span style="color: #008000;">)</span>  
  98. <br>  
  99. <span style="color: #008080;">;</span>  
  100. <br>  
  101. <br>  
  102. <br>  
  103.     <span style="color: #0000ff;">return</span>  
  104. <br>  
  105.  <span style="color: #0000dd;">malloc</span>  
  106. <br>  
  107. <span style="color: #008000;">(</span>  
  108. <br>  
  109. unSize<span style="color: #008000;">)</span>  
  110. <br>  
  111. <span style="color: #008080;">;</span>  
  112. <br>  
  113. <br>  
  114. <br>  
  115. <span style="color: #008000;">}</span>  
  116. <br>  
  117. <br>  
  118. <br>  
  119.  <br>  
  120. <br>  
  121. <span style="color: #0000ff;">void</span>  
  122. <br>  
  123.  operator <span style="color: #0000dd;">delete</span>  
  124. <br>  
  125. <span style="color: #008000;">(</span>  
  126. <br>  
  127. <span style="color: #0000ff;">void</span>  
  128. <br>  
  129.  <span style="color: #000040;">*</span>  
  130. <br>  
  131.  pMem<span style="color: #008000;">)</span>  
  132. <br>  
  133. <br>  
  134. <br>  
  135. <span style="color: #008000;">{</span>  
  136. <br>  
  137. <br>  
  138. <br>  
  139.     <span style="color: #0000dd;">printf</span>  
  140. <br>  
  141. <span style="color: #008000;">(</span>  
  142. <br>  
  143. <span style="color: #ff0000;">"delete1<span style="color: #000099; font-weight: bold;">/n</span>  
  144. <br>  
  145. "</span>  
  146. <br>  
  147. <span style="color: #008000;">)</span>  
  148. <br>  
  149. <span style="color: #008080;">;</span>  
  150. <br>  
  151. <br>  
  152. <br>  
  153.     <span style="color: #0000dd;">free</span>  
  154. <br>  
  155. <span style="color: #008000;">(</span>  
  156. <br>  
  157. pMem<span style="color: #008000;">)</span>  
  158. <br>  
  159. <span style="color: #008080;">;</span>  
  160. <br>  
  161. <br>  
  162. <br>  
  163. <span style="color: #008000;">}</span>  
  164. <br>  
  165. <br>  
  166. <br>  
  167.  <br>  
  168. <br>  
  169. <span style="color: #0000ff;">class</span>  
  170. <br>  
  171.  A<br>  
  172. <br>  
  173. <span style="color: #008000;">{</span>  
  174. <br>  
  175. <br>  
  176. <br>  
  177. <span style="color: #0000ff;">public</span>  
  178. <br>  
  179. <span style="color: #008080;">:</span>  
  180. <br>  
  181. <br>  
  182. <br>  
  183.  <br>  
  184. <br>  
  185.     A<span style="color: #008000;">(</span>  
  186. <br>  
  187. <span style="color: #0000ff;">int</span>  
  188. <br>  
  189.  a <span style="color: #000080;">=</span>  
  190. <br>  
  191.  <span style="color: #0000dd;">0</span>  
  192. <br>  
  193. <span style="color: #008000;">)</span>  
  194. <br>  
  195.  <span style="color: #008080;">:</span>  
  196. <br>  
  197. <br>  
  198. <br>  
  199.         _a<span style="color: #008000;">(</span>  
  200. <br>  
  201. a<span style="color: #008000;">)</span>  
  202. <br>  
  203. <br>  
  204. <br>  
  205.     <span style="color: #008000;">{</span>  
  206. <br>  
  207.    <br>  
  208. <br>  
  209.         <span style="color: #0000dd;">printf</span>  
  210. <br>  
  211. <span style="color: #008000;">(</span>  
  212. <br>  
  213. <span style="color: #ff0000;">"constructor called<span style="color: #000099; font-weight: bold;">/n</span>  
  214. <br>  
  215. "</span>  
  216. <br>  
  217. <span style="color: #008000;">)</span>  
  218. <br>  
  219. <span style="color: #008080;">;</span>  
  220. <br>  
  221. <br>  
  222. <br>  
  223.     <span style="color: #008000;">}</span>  
  224. <br>  
  225.    <br>  
  226. <br>  
  227.     <span style="color: #008000;">{</span>  
  228. <br>  
  229. <br>  
  230. <br>  
  231.         <span style="color: #0000dd;">printf</span>  
  232. <br>  
  233. <span style="color: #008000;">(</span>  
  234. <br>  
  235. <span style="color: #ff0000;">"~A()<span style="color: #000099; font-weight: bold;">/n</span>  
  236. <br>  
  237. "</span>  
  238. <br>  
  239. <span style="color: #008000;">)</span>  
  240. <br>  
  241. <span style="color: #008080;">;</span>  
  242. <br>  
  243. <br>  
  244. <br>  
  245.     <span style="color: #008000;">}</span>  
  246. <br>  
  247. <br>  
  248. <br>  
  249.  <br>  
  250. <br>  
  251.     <span style="color: #0000ff;">static</span>  
  252. <br>  
  253.  <span style="color: #0000ff;">void</span>  
  254. <br>  
  255.  operator <span style="color: #0000dd;">delete</span>  
  256. <br>  
  257. <span style="color: #008000;">(</span>  
  258. <br>  
  259. <span style="color: #0000ff;">void</span>  
  260. <br>  
  261.  <span style="color: #000040;">*</span>  
  262. <br>  
  263.  pMem, <span style="color: #0000ff;">size_t</span>  
  264. <br>  
  265.  unSize<span style="color: #008000;">)</span>  
  266. <br>  
  267. <br>  
  268. <br>  
  269.     <span style="color: #008000;">{</span>  
  270. <br>  
  271. <br>  
  272. <br>  
  273.         <span style="color: #0000dd;">printf</span>  
  274. <br>  
  275. <span style="color: #008000;">(</span>  
  276. <br>  
  277. <span style="color: #ff0000;">"delete2: %u<span style="color: #000099; font-weight: bold;">/n</span>  
  278. <br>  
  279. "</span>  
  280. <br>  
  281. , unSize<span style="color: #008000;">)</span>  
  282. <br>  
  283. <span style="color: #008080;">;</span>  
  284. <br>  
  285. <br>  
  286. <br>  
  287.         <span style="color: #0000dd;">free</span>  
  288. <br>  
  289. <span style="color: #008000;">(</span>  
  290. <br>  
  291. pMem<span style="color: #008000;">)</span>  
  292. <br>  
  293. <span style="color: #008080;">;</span>  
  294. <br>  
  295. <br>  
  296. <br>  
  297.     <span style="color: #008000;">}</span>  
  298. <br>  
  299. <br>  
  300. <br>  
  301.  <br>  
  302. <br>  
  303. <span style="color: #0000ff;">private</span>  
  304. <br>  
  305. <span style="color: #008080;">:</span>  
  306. <br>  
  307. <br>  
  308. <br>  
  309.  <br>  
  310. <br>  
  311.     <span style="color: #0000ff;">int</span>  
  312. <br>  
  313.  _a<span style="color: #008080;">;</span>  
  314. <br>  
  315. <br>  
  316. <br>  
  317. <span style="color: #008000;">}</span>  
  318. <br>  
  319. <span style="color: #008080;">;</span>  
  320. <br>  
  321. <br>  
  322. <br>  
  323.  <br>  
  324. <br>  
  325. <span style="color: #0000ff;">class</span>  
  326. <br>  
  327.  B<span style="color: #008080;">:</span>  
  328. <br>  
  329.  <span style="color: #0000ff;">public</span>  
  330. <br>  
  331.  A<br>  
  332. <br>  
  333. <span style="color: #008000;">{</span>  
  334. <br>  
  335. <br>  
  336. <br>  
  337. <span style="color: #0000ff;">public</span>  
  338. <br>  
  339. <span style="color: #008080;">:</span>  
  340. <br>  
  341. <br>  
  342. <br>  
  343.  <br>  
  344. <br>  
  345.     ~B<span style="color: #008000;">(</span>  
  346. <br>  
  347. <span style="color: #008000;">)</span>  
  348. <br>  
  349. <br>  
  350. <br>  
  351.     <span style="color: #008000;">{</span>  
  352. <br>  
  353. <br>  
  354. <br>  
  355.         <span style="color: #0000dd;">printf</span>  
  356. <br>  
  357. <span style="color: #008000;">(</span>  
  358. <br>  
  359. <span style="color: #ff0000;">"~B()<span style="color: #000099; font-weight: bold;">/n</span>  
  360. <br>  
  361. "</span>  
  362. <br>  
  363. <span style="color: #008000;">)</span>  
  364. <br>  
  365. <span style="color: #008080;">;</span>  
  366. <br>  
  367. <br>  
  368. <br>  
  369.     <span style="color: #008000;">}</span>  
  370. <br>  
  371. <br>  
  372. <br>  
  373.  <br>  
  374. <br>  
  375.     <span style="color: #0000ff;">int</span>  
  376. <br>  
  377.  _b<span style="color: #008080;">;</span>  
  378. <br>  
  379. <br>  
  380. <br>  
  381.  <br>  
  382. <br>  
  383.     <span style="color: #0000ff;">int</span>  
  384. <br>  
  385.  _bb<span style="color: #008080;">;</span>  
  386. <br>  
  387. <br>  
  388. <br>  
  389. <span style="color: #008000;">}</span>  
  390. <br>  
  391. <span style="color: #008080;">;</span>  
  392. <br>  
  393. <br>  
  394. <br>  
  395.  <br>  
  396. <br>  
  397. <span style="color: #0000ff;">int</span>  
  398. <br>  
  399.  main<span style="color: #008000;">(</span>  
  400. <br>  
  401. <span style="color: #008000;">)</span>  
  402. <br>  
  403. <br>  
  404. <br>  
  405. <span style="color: #008000;">{</span>  
  406. <br>  
  407. <br>  
  408. <br>  
  409.     A <span style="color: #000040;">*</span>  
  410. <br>  
  411.  pA <span style="color: #000080;">=</span>  
  412. <br>  
  413.  <span style="color: #0000dd;">new</span>  
  414. <br>  
  415.  A<span style="color: #008000;">(</span>  
  416. <br>  
  417. <span style="color: #0000dd;">10</span>  
  418. <br>  
  419. <span style="color: #008000;">)</span>  
  420. <br>  
  421. <span style="color: #008080;">;</span>  
  422. <br>  
  423. <br>  
  424. <br>  
  425.     <span style="color: #0000dd;">printf</span>  
  426. <br>  
  427. <span style="color: #008000;">(</span>  
  428. <br>  
  429. <span style="color: #ff0000;">"#######<span style="color: #000099; font-weight: bold;">/n</span>  
  430. <br>  
  431. "</span>  
  432. <br>  
  433. <span style="color: #008000;">)</span>  
  434. <br>  
  435. <span style="color: #008080;">;</span>  
  436. <br>  
  437. <br>  
  438. <br>  
  439.  <br>  
  440. <br>  
  441.     A <span style="color: #000040;">*</span>  
  442. <br>  
  443.  pB <span style="color: #000080;">=</span>  
  444. <br>  
  445.  <span style="color: #0000dd;">new</span>  
  446. <br>  
  447.  <span style="color: #008000;">(</span>  
  448. <br>  
  449. __LINE__, __func__<span style="color: #008000;">)</span>  
  450. <br>  
  451.  B<span style="color: #008000;">(</span>  
  452. <br>  
  453. <span style="color: #008000;">)</span>  
  454. <br>  
  455. <span style="color: #008080;">;</span>  
  456. <br>  
  457. <br>  
  458. <br>  
  459.     <span style="color: #0000dd;">printf</span>  
  460. <br>  
  461. <span style="color: #008000;">(</span>  
  462. <br>  
  463. <span style="color: #ff0000;">"#######<span style="color: #000099; font-weight: bold;">/n</span>  
  464. <br>  
  465. "</span>  
  466. <br>  
  467. <span style="color: #008000;">)</span>  
  468. <br>  
  469. <span style="color: #008080;">;</span>  
  470. <br>  
  471. <br>  
  472. <br>  
  473.  <br>  
  474. <br>  
  475.     A <span style="color: #000040;">*</span>  
  476. <br>  
  477.  szA <span style="color: #000080;">=</span>  
  478. <br>  
  479.  <span style="color: #0000dd;">new</span>  
  480. <br>  
  481.  A<span style="color: #008000;">[</span>  
  482. <br>  
  483. <span style="color: #0000dd;">10</span>  
  484. <br>  
  485. <span style="color: #008000;">]</span>  
  486. <br>  
  487. <span style="color: #008080;">;</span>  
  488. <br>  
  489. <br>  
  490. <br>  
  491.     <span style="color: #0000dd;">printf</span>  
  492. <br>  
  493. <span style="color: #008000;">(</span>  
  494. <br>  
  495. <span style="color: #ff0000;">"#######<span style="color: #000099; font-weight: bold;">/n</span>  
  496. <br>  
  497. "</span>  
  498. <br>  
  499. <span style="color: #008000;">)</span>  
  500. <br>  
  501. <span style="color: #008080;">;</span>  
  502. <br>  
  503. <br>  
  504. <br>  
  505.  <br>  
  506. <br>  
  507.     <span style="color: #0000dd;">delete</span>  
  508. <br>  
  509.  pA<span style="color: #008080;">;</span>  
  510. <br>  
  511.  <br>  
  512. <br>  
  513.     <span style="color: #0000dd;">printf</span>  
  514. <br>  
  515. <span style="color: #008000;">(</span>  
  516. <br>  
  517. <span style="color: #ff0000;">"#######<span style="color: #000099; font-weight: bold;">/n</span>  
  518. <br>  
  519. "</span>  
  520. <br>  
  521. <span style="color: #008000;">)</span>  
  522. <br>  
  523. <span style="color: #008080;">;</span>  
  524. <br>  
  525. <br>  
  526. <br>  
  527.  <br>  
  528. <br>  
  529.     <span style="color: #0000dd;">delete</span>  
  530. <br>  
  531.  pB<span style="color: #008080;">;</span>  
  532. <br>  
  533.  <br>  
  534. <br>  
  535.     <span style="color: #0000dd;">printf</span>  
  536. <br>  
  537. <span style="color: #008000;">(</span>  
  538. <br>  
  539. <span style="color: #ff0000;">"#######<span style="color: #000099; font-weight: bold;">/n</span>  
  540. <br>  
  541. "</span>  
  542. <br>  
  543. <span style="color: #008000;">)</span>  
  544. <br>  
  545. <span style="color: #008080;">;</span>  
  546. <br>  
  547. <br>  
  548. <br>  
  549.  <br>  
  550. <br>  
  551.     <span style="color: #0000dd;">delete</span>  
  552. <br>  
  553.  <span style="color: #008000;">[</span>  
  554. <br>  
  555. <span style="color: #008000;">]</span>  
  556. <br>  
  557.  szA<span style="color: #008080;">;</span>  
  558. <br>  
  559. <br>  
  560. <br>  
  561.     <span style="color: #0000dd;">printf</span>  
  562. <br>  
  563. <span style="color: #008000;">(</span>  
  564. <br>  
  565. <span style="color: #ff0000;">"#######<span style="color: #000099; font-weight: bold;">/n</span>  
  566. <br>  
  567. "</span>  
  568. <br>  
  569. <span style="color: #008000;">)</span>  
  570. <br>  
  571. <span style="color: #008080;">;</span>  
  572. <br>  
  573. <br>  
  574. <br>  
  575.  <br>  
  576. <br>  
  577.     <span style="color: #0000ff;">char</span>  
  578. <br>  
  579.  <span style="color: #000040;">*</span>  
  580. <br>  
  581.  pC <span style="color: #000080;">=</span>  
  582. <br>  
  583.  <span style="color: #0000ff;">NULL</span>  
  584. <br>  
  585. <span style="color: #008080;">;</span>  
  586. <br>  
  587. <br>  
  588. <br>  
  589.     <span style="color: #0000dd;">delete</span>  
  590. <br>  
  591.  pC<span style="color: #008080;">;</span>  
  592. <br>  
  593.  <br>  
  594. <br>  
  595. <span style="color: #008000;">}</span>  
  596. <br>  
  597. <br>  
  598. <br>  
  599. <span style="color: #000080;"><</span>  
  600. <br>  
  601. <span style="color: #000040;">/</span>  
  602. <br>  
  603. stdlib<span style="color: #000080;">><</span>  
  604. <br>  
  605. <span style="color: #000040;">/</span>  
  606. <br>  
  607. stdio<span style="color: #000080;">></span>  
  608. <br>  

运行结果:

123456789101112131415161718192021222324252627282930313233343536373839
wuzesheng@wuzesheng-ubuntu:~/Program$ ./a.out operator new calledconstructor called#######operator new called, line: 68, func: mainconstructor called#######operator new calledconstructor calledconstructor calledconstructor calledconstructor calledconstructor calledconstructor calledconstructor calledconstructor calledconstructor calledconstructor called#######~A()delete2: 8#######~B()~A()delete2: 16#######~A()~A()~A()~A()~A()~A()~A()~A()~A()~A()delete1#######delete1

上面的程序很简单,我在这里不做过多的解释,感兴趣的朋友可以自己分析一下。

通过我上面的讲解,相信大多数朋友应该对C++中内存的动态分配与释放有了较为深入的理解。后续我还有可能写一些关于C++中内存管理的文章,只有把本文所讲的内容与后续的内存管理的一些常见的方法结合起来,我们才写出更加健壮的C++程序。欢迎读者朋友留言一起交流!

0 1