Effective C++ 2e Item10

 

条款10. 如果写了operator new就要同时写operator delete

让我们回过头去看看这样一个基本问题：为什么有必要写自己的operator new和operator delete？

答案通常是：为了效率。缺省的operator new和operator delete具有非常好的通用性，它的这种灵活性也使得在某些特定的场合下，可以进一步改善它的性能。尤其在那些需要动态分配大量的但很小的对象的应用程序里，情况更是如此。

例如有这样一个表示飞机的类：类Airplane只包含一个指针，它指向的是飞机对象的实际描述(此技术在条款34进行说明)：

class AirplaneRep { ... };      // 表示一个飞机对象
                                //
class Airplane {
public:
  ...
private:
  AirplaneRep *rep;             // 指向实际描述
};

一个Airplane对象并不大，它只包含一个指针（正如条款14和M24所说明的，如果Airplane类声明了虚函数，会隐式包含第二个指针）。但当调用operator new来分配一个Airplane对象时，得到的内存可能要比存储这个指针（或一对指针）所需要的要多。之所以会产生这种看起来很奇怪的行为，在于operator new和operator delete之间需要互相传递信息。

因为缺省版本的operator new是一种通用型的内存分配器，它必须可以分配任意大小的内存块。同样，operator delete也要可以释放任意大小的内存块。operator delete想弄清它要释放的内存有多大，就必须知道当初operator new分配的内存有多大。有一种常用的方法可以让operator new来告诉operator delete当初分配的内存大小是多少，就是在它所返回的内存里预先附带一些额外信息，用来指明被分配的内存块的大小。也就是说，当你写了下面的语句，

Airplane *pa = new Airplane;

你不会得到一块看起来象这样的内存块：

    pa——> Airplane对象的内存

而是得到象这样的内存块：

    pa——> 内存块大小数据 + Airplane对象的内存

对于象Airplane这样很小的对象来说，这些额外的数据信息会使得动态分配对象时所需要的的内存的大小翻番（特别是类里没有虚拟函数的时候）。

如果软件运行在一个内存很宝贵的环境中，就承受不起这种奢侈的内存分配方案了。为Airplane类专门写一个operator new，就可以利用每个Airplane的大小都相等的特点，不必在每个分配的内存块上加上附带信息了。

具体来说，有这样一个方法来实现你的自定义的operator new：先让缺省operator new分配一些大块的原始内存，每块的大小都足以容纳很多个Airplane对象。Airplane对象的内存块就取自这些大的内存块。当前没被使用的内存块被组织成链表——称为自由链表——以备未来Airplane使用。听起来好象每个对象都要承担一个next域的开销（用于支持链表），但不会：rep域的空间也被用来存储next指针（因为只是作为Airplane对象来使用的内存块才需要rep指针；同样，只有没作为Airplane对象使用的内存块才需要next指针），这可以用union来实现。

具体实现时，就要修改Airplane的定义，从而支持自定义的内存管理。可以这么做：

class Airplane {           // 修改后的类 — 支持自定义的内存管理
public:                    //

  static void * operator new(size_t size);

  ...

private:
  union { <