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