class ALA
{
public:
virtual void processAdoption() = 0;
};
class Puppy : public ALA
{
public:
virtual void processAdoption();
};
class Kitten: public ALA
{
public:
virtual void processAdoption();
};
//核心函数
void processAdoptions(istream& dataSource)
{
while(dataSource){
ALA *pa = readALA(dataSource); //从流中读取动物,新分配对象,有着适当的类型(Puppy,Kitten)
pa->processAdoption();
delete pa;
}
}
现在考虑,如果pa->processAdoption抛出一个异常,会发生什么事情?
processAdoptions无法捕捉到它,所以异常会抛出到processAdoptions的调用端,processAdoptions函数内位于pa->processAdoption之后的所有语句都会被跳过,不再执行,这意味着pa不会被删除。
解决办法是,以一个“类似指针的对象”取代指针pa,如此一来,当这个类似指针的对象被“自动”销毁,我们可以令其析构函数调用delete。行为类似指针的对象我们称为智能指针。可以用C++智能指针shared_ptr。以下为改写后的代码
void processAdoptions(istream& dataSource)
{
while(dataSource){
std::shared_ptr<ALA> pa (readALA(dataSource)); //从流中读取动物,新分配对象,有着适当的类型(Puppy,Kitten)
pa->processAdoption();
}
}
考虑图形界面应用软件中的某个函数,它必须产生一个窗口显示某些信息:
void displayInfo(const Information &info)
{
WINDOW_HANDLE w(createWindow());
display info in window corresponding to w;
destoryWindow(w);
}
如果在信息显示于w的过程中发生exception,w所持有的那个窗口将会遗失,其他动态分配的任何资源也会遗失。解决之道和先前一样,设计一个class,令其构造和析构分别取得资源和释放资源。
class WindowHandle
{
public:
WindowHandle(WINDOW_HANDLE handle) : w(handle){}
~WindowHandle() {destroyWindow(w);}
WindowHandle(const WindowHandle&) = delete;
WindowHandle& operator=(const WindowHandle&) = delete;
operator WINDOW_HANDLE() { return w; } //类型转换操作
private:
WINDOW_HANDLE w;
};
有了这个WindowHandle class,我们可以重写displayInfo:
void displayInfo(const Information& info)
{
WindowHandle w(createWindow());
display info in window corresponing to w;
}