为什么有必要写自己的operator new和operator delete?
答案通常是:为了效率。
缺省版本的operator new是一种通用型的内存分配器,它必须可以分配任意大小的内存块。同样,operator delete也要可以释放任意大小的内存块。operator delete想弄清它要释放的内存有多大,就必须知道当初operator new分配的内存有多大。有一种常用的方法可以让operator new来告诉operator delete当初分配的内存大小是多少,就是在它所返回的内存里预先附带一些额外信息,用来指明被分配的内存块的大小。
缺省的operator new和operator delete具有非常好的通用性,它的这种灵活性也使得在某些特定的场合下,可以进一步改善它的性能。尤其在那些需要动态分配大量的但很小的对象的应用程序里,情况更是如此。
内存池:内存池的作用主要也是为了效率。通过一次申请比较大的内存空间,来避免小空间内存的频繁申请和释放,每次需要为对象分配内存空间时,在已经申请的大空间内分配。空闲区被按照对象大小划分为若干块,块与块之间通过链表组织起来。
参考代码:
airplane类的说明:
airplane实际上是个句炳类(Handle class),通过指针airplanerep * rep指向一个具体的实现,airplane和airplanerep含有一样的成员函数。句柄类实际上都做了些什么:它只是把所有的函数调用都转移到了对应的主体类中,主体类真正完成工作。
operator new函数负责内存池链表的创建,内存池链表的每个块大小和类airplane一样,每次生成对象的时候分配一个块给对象。
operator delete函数负责收回每个对象的内存块,重新添加到内存池链表。
operator new和operator delete需要同时工作,那么你写了operator new,就也一定要写operator delete。
一个联合(使得rep和next域占用同样的空间),一个常量(指定大内存块的大小),一个静态指针(跟踪自由链表的表头)。表头指针声明为静态成员很重要,因为整个类只有一个自由链表,而不是每个airplane对象都有。
注意:::operator new返回的内存块是从来没有被airplane::operator delete释放。内存泄漏和内存池有一个重要的不同之处:内存泄漏会无限地增长,而内存池的大小决不会超过客户请求内存的最大值。
以上内容基本都来自《Effective C++》,稍作修改。
如果类定义了自己的成员new和delete,类的用户可以通过使用全局作用域确定操作符,强制new和delete使用全局的库函数。如:
Type *p = ::new Type;
::delete p;
如果new使用全局的operator new库函数,那么对应的delete也一定要用全局的operator delete库函数。
一个内存分配器基类
CachedObj的功能:类似于内存池的功能。分配和管理已经分配但未构造对象的自由列表。operator new返回自由列表中的一个元素,当自由列表为空时,operator new分配新的原始内存。operator delete在撤销对象时将元素放回自由列表。
如何使用这个类: