为什么有必要写自己的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在撤销对象时将元素放回自由列表。

如何使用这个类：