Effective C++ 7

标签：c++

7.预先准备好内存不够的情况。

new在无法完成内存分配请求时，会抛出异常，异常了要怎么办，这是一个很现实且以后绝对要碰到的问题。

在c中一般使用宏来分配内存并检测分配是否成功，c++中类似以下函数：

#define NEW(PTR,TYPE)    try { (PTR) = new TYPE;}  	catch (std::bad_alloc& ){assert(0);}

assert是在<assert.h>中宏，或者带命名空间的<cassert> 。宏检测传给它的表达式的值是否为0，如果是0，就会发出一条出错信息，并调用abort。assert在没有定义标准宏NDEBUG时，即只在调试状态中这么做，当产品发布后，即定义了NDEBUG后，assert什么也不做。

但使用宏是不够的，因为其只能进行简单的一个基本数据类型的内存分配，而对于数组以及有构造函数的数据类型无法使用。可以考虑重载operator new 。

而常用的简单的出错处理方法是，通过设置一个出错处理函数，使内存分配请求不能满足时，调用这个处理函数。因为operator new 操作符在不能满足请求时，会在抛出异常前调用客户指定的一个出错处理函数，这个函数称为new-handler函数。

指定出错处理函数要用到set_new_handler 函数，该函数位于头文件<new>中，其定义如下：

new_handler __cdecl set_new_handler(_In_opt_ new_handler)
	_THROW0();

typedef void (__cdecl * new_handler) ();

void noMoreMemory(){
	cerr<<"123"; 
	abort();
}
int main(){
	set_new_handler(noMoreMemory);
	int *p = new int [ 0x1fffffff ];

1.产生更多的可用内存。若在程序启动时预留一大块内存。然后失败时释放出这些内存供使用。

2.安装另一个不同版本的new_handler函数。通过一个新的可以获得资源的函数来获得更多资源，或者使用一些全局变量来改变自身的行为。

3.卸载new_handler。分配无法成功，直接返回抛出标准的std::bad_alloc异常。
4.抛出bad_alloc异常或bad_alloc的派生异常。

5.没有返回，即如上所示，调用abort或exit。

类中的内存分配出错可以有自己重载的类的new操作符和 set_new_handler来实现。而这些函数与重载都是类的静态成员。

首先，类中要有一个静态成员 currentHandler来保存当前使用的new_handler函数。

对于set_new_handler，它只是将类内的指针进行更换，以及返回旧的指针，而标准版本也是如此做的。

对于operator new ，类中的重载new操作符，只是简单的调用原有的new操作符操作，只是错误处理用上类中设置的新的出错处理函数，所以其做法只是用全局的set_new_handler()设置当前类中的currentHandler为处理函数，分配内存后或者异常报错前，恢复即可。

代码如下：

class A{
public:
	static void* operator new (size_t size);
	static new_handler set_new_handler(new_handler p);
private:
	static new_handler currentHandler;
};
new_handler A::currentHandler;
new_handler A::set_new_handler(new_handler p){
	new_handler t = currentHandler;
	currentHandler = p;
	return t;
}
void* A::operator new(size_t size){
	new_handler globalHandler = std::set_new_handler(currentHandler);
	void* memory;
	try{
		memory = ::operator new(size);//::operator new 表示为全局的new操作符。
	}
	catch(std::bad_alloc&){
		std::set_new_handler(globalHandler);
		throw;
	}
	std::set_new_handler(globalHandler);
	return memory;
}

而要做到很好的代码重用，即对任何一个类都能轻松的实现以上代码实现的内容，可以创建一个混合风格的基类，这种基类允许子类继承它的某一特定功能，如这里的new操作符的出错处理。

Effective C++ 7

标签：c++

原文地址：http://blog.csdn.net/luo_xianming/article/details/39827223