良好的程序设计——C++异常机制下资源申请释放

支持异常机制的编程语言在资源申请释放上比较麻烦，如果保证所有分支情况下资源都能顺利清除，第一种设计如下

 

void doSomething(){
	Node *n = new Node();
	
	try{
		//do something
	}
	catch(...){
		delete n;
		throw;
	}
	delete n;
}

在异常和正常的分支条件下都释放资源，这就违背了DRY(don't repeat yourself)原则，我们可以考虑使用栈来代替上面的实现如下

 

void doSomething(){
	Node n;
	
	try{
		//do something
	}
	catch(...){
		throw;
	}
}

 函数退出时栈空间可以得到释放，不用我们去手动释放资源。如果不能不使用指针，可以通过另外的类包装一下资源获得同样效果。

 

class NodeResource{
	Node *n;
public:
	NodeResource(){n = new Node();}
	~NodeResource(){delete n;}

	//重载运算符方便调用Node结构体的属性
	Node *operator->() {return n;}
};

void doSomething(){
	NodeResource n;
	
	try{
		//do something
	}
	catch(...){
		throw;
	}
}

 C++标准库中提供模板类auto_ptr，能自动包装动态分配的对象，程序结束后会自动释放

 

#include<memory>
void doSomething(){
	auto_ptr<Node>n (new Node);
	
	try{
		//access the Node as n-> ...
	}
	catch(...){
		throw;
	}
	//Node automatically deleted at end
}