//---------------------------15/04/27----------------------------
//#49 了解new-handler的行为
{
/*
1:在operator new操作失败时,它首先会调用new_handler函数来处理,客户可以通过set_new_handler
的函数来设置new_handler函数。
2:一个设计良好的new_handler必须做以下事情:
1>让更多内存可被用:
程序一开始执行就分配一大块内存,而后当new_handler第一次被调用,将这块内存释放还给程序使用。
2>安装另一个new_handler:
如果这个handler知道另外一个handler有能力获得更多的内存,就可以选择安装那个handler
3>卸载new_handler:
一旦没有安装new_handler,operator new会在内存分配不成功时抛出异常。
4>抛出bad_alloc异常:
这样的异常会被传播到内存索求处。
5>不返回:
通常调用abort或exit。
这里有一点很重要:new_handler必须执行以上5个选项之一,因为如果设置了一个没用的new_handler,
比如:void dosomething() { cout<<"error"<<endl;}
那么系统就会无限执行这条语句了。
3:设计一个属于class的new_handler:
1>先使用资源管理对象,把class专属的new_handler保存到资源管理对象
2>重载operator new调用标准的set_new_handler,设置之前保存的的new_handler,
这会将class的new_handler安装为global new_handler。
2>调用global operator new,执行内存分配,如果内存分配失败,global operator new函数会调用
之前安装的class专属new_handler。
3>资源管理对象会自动恢复global new_handler。
4:设计一个可复用的class用来支持class的专属new_handler: */
template<class T>
class NewHandlerSupport
{
public:
static std::new_handler set_new_handler(std::new_handler p) throw();
static void* operator new(std::size_t size) throw(std::bad_alloc);
private:
static std::new_handler currentHandler;
};
template<class T>
std::new_handler
NewHandlerSupport<T>::set_new_handler(std::new_handler p) throw()
{
std::new_handler oldHandler = currentHandler;
currentHandler = p;
return oldHandler;
}
template<class T>
void* NewHandlerSupport<T>::operator new(std::size_t size)throw(std::bad_alloc)
{
NewHandlerHolder h(std::set_new_handler(currentHandler));
return ::operator new(size);
}
template<class T>
std::new_handler NewHandlerSupport<T>::currentHandler = 0;
//这里唯一困惑的就是为什么要使用模版,模版的作用就是为了达到一个效果:每一个类都可以有自己的
//静态变量(currentHandler),不然大家的currentHandler就一样了。
}
//#50 了解new和delete的合理替换时机
{
/*
1:为什么要替换编译器提供的operator new和operator delete
1>用来检测运用上的错误:
我们可以在客户请求的大小外(前后)多分配一些内存,用来存放标记。如果delete的时候标记被改变了
就说明被分配的内存的前面或后面被写了,也就是客户操作越界了。这样就可以检测出错误。
2>为了强化效能:
编译器提供的new和deletet为了满足所有人的需求,所以会比较笨重,此时为了需求
我们可以定制自己的new和delete。这是一个获得重大效能提升的办法之一。
sgi-stl中,就把128k以下的内存申请交给自己管理,对128k以上的内存使用malloc处理,原因
是,系统对于小内存的分配会比较慢(相对于我们自己处理来说,因为它总是要记录一些信息,还要考虑
产生碎片的问题等等)。
3>为了收集使用上的统计数据:
收集很多数据:分配区块的大小分布如何?寿命分布如何?是FIFO(先进先出)还是LIFO(后进先出)等等。。。
2:自己定制operator new 要注意一个问题:
对齐问题,malloc返回的指针总是对齐的,所以如果我们在malloc返回的指针前面加上int类型大小的标记
那么,针对double类型来说,它是不对齐的。
3:总结合适替换new和delete:
1>为了检测运用错误
2>为了收集动态分配内存之使用统计信息
3>为了增加分配和归还的速度
4>为了降低缺省内存管理器带来的空间额外开销
5>将相关对象放在一起:
这样有助于提高高速缓存的命中率。
6>为了获得非传统行为
*/
}
//#51 编写new和delete时需固守常规
{
/*
1:记得调用new_handler
2:为了不把operator new被子类继承,检测一下new需要申请的大小,只要不等于Base,就调用
全局的new。
3:重载delete的时候记得检查NULL指针,这种情况应该直接返回,因为编译器总是允许delete NULL。
*/
}
//#52 写了placement new也要写placement delete
{
/* 1:写了一个placement operator new的时候,要确定写出了对应的delete版本,不然就会发生内存泄漏。
2:写了placement版本的new时可能会遮盖正常版本的new,所以要实现正常版本的调用,比如:
static void* operator new(std::size_t size) throw(std::bad_alloc)
{ return ::operator new(size);}
}