基于策略模式定制new和delete.doc

背景 在面向对象类的设计中，有时为了强化效能，特别是当构造大量小对象时，为了改善内存碎片，就需要自己实现对象的内存管理，以替换系统缺省的分配和释放行为，即全局的new和delete。按照c++标准，在定制类专属的new和delete时，为了减免客户代码使用时的麻烦和问题，需要考虑同时定制简单(normal new)、定位(placement new)和无异常(nothrow new)三种new情形，以及与之配对的三种delete情形，另外还有对应的数组new[]和delete[]各三种情形。在接口设计上，每种情形都是operator new和operator delete的重载版本；在内存管理上，具体的对象空间分配和释放是灵活的，因此这一部分可实现为策略模式，通过改变替换不同的内存管理策略，即可轻易获得不同的内存分配和释放行为，而类的代码则无须改变。为了方便定制类的new和delete，可以从一个接口基类模板继承而自动获得这种特性。这个基类模板实现了单个对象的new、delete和对象数组的new、delete，而模板参数正是内存管理策略类，它的设计约束如下： 1）必须存在static成员方法malloc和free，其参数和返回值与C库的malloc和free一致。 2）malloc只分配空间，若分配成功则不必初始化，否则失败返回NULL，不能抛出异常，因为normal new的语义为对于分配失败则抛出std::bad_alloc异常，而nothrow new则返回NULL，如此两种方式兼备，有利于客户代码的按需灵活检测；free只释放或归还空间。 3）malloc和free的内部实现是灵活的，由应用开发者定制。组件 这里实现了new_delete_policy_base和object_pool_impl两个基础组件，代码如下，前者是支持内存管理策略的定制new和delete接口基类模板，从该类继承的子类其对象的构造和析构就被定制了；后者是支持内存管理策略的非侵入式对象池类模板，可直接用于构造某类的对象，包括内建的基本数据类型，而该类不必从new_delete_policy_base继承。 1templateclass Alloc 2class new_delete_policy_base 3{ 4public: 5 static void* operator new(size_t size) throw (std::bad_alloc) 6 {  7 void* ptr = Alloc::malloc(size); 8 if(NULL==ptr) { 9 throw std::bad_alloc();10 }11 return ptr;12 }1314 static void* operator new(size_t size,void* ptr) throw()15 { return ptr; }1617 static void* operator new(size_t size,const std::nothrow_t) throw()18 { return Alloc::malloc(size); }1920 static void operator delete(void* ptr) throw()21 { Alloc::free(ptr); }2223 static void operator delete(void* ptr, const std::nothrow_t) throw()24 { Alloc::free(ptr); }2526 static void operator delete(void*, void*) throw()27 { }2829 static void* operator new[](size_t size) throw(std::bad_alloc)30 { return operator new (size); }31 32 static void* operator new[](size_t size,void* ptr) throw()33 { return ptr; }3435 static void* operator new[](size_t size, const std::nothrow_t) throw()36 { return operator new (siz