异常处理总结(二)- exception specification

王朝other·作者佚名  2006-01-09
窄屏简体版  字體: |||超大  

异常规范(exception specification)提供了一种方案,它能够随着函数的声明列出函数可能抛出的异常,保证函数不会抛出任何其他的异常。

一个异常规范的违例不会在编译期被检查,只有在运行期被检测到。例如:

void func() throw(string, int);

void Doit() throw(string)

{

func();// 编译通过

}

但是如果func函数运行时抛出了int类型的异常,就会出现异常规范违例。自动调用运行库函数unexpected()。unexpected()的默认行为是调用terminate()终止程序。

另外,异常规范之间还需要有一致性,比如在函数指针中的应用:

void funcInt() throw(int){};

void funcNull() throw(){};

void funcBoth() throw(char, int){};

void (*pf1)() throw(int) = &funcInt;// OK. 异常规范一样

void (*pf2)() throw(int) = &funcNull;// OK. 异常规范兼容

void (*pf3)() throw(char) = &funcBoth;// Error. 异常规范不兼容

在类继承中也是同样的:

// exception classes

class BaseErr{};

class PrintErr: public BaseErr{};

class OtherErr{};

class A

{

public:

virtual void func1() throw(PrintErr);

virtual void func2() throw(BaseErr);

virtual void func3() throw(BaseErr);

virtual void func4() throw(PrintErr);

virtual void func5() throw(BaseErr);

virtual void func6() throw(BaseErr, OtherErr);

};

class D: public A

{

public:

void func1() throw(PrintErr);// OK.

void func2() throw(OtherErr);// Error.

void func3() throw(PrintErr);// OK.

void func4() throw(BaseErr); // Error.

void func5() throw(BaseErr, OtherErr);// Error.

void func6() throw(PrintErr);// OK.

};

由于异常规范申明将和try/catch块一样导致一些代价。因此,应该明智地使用异常规范申明,就象使用其它异常部件一样。任何时候看到一个异常规范申明,应该在脑子里将它们转化为try/catch队列以正确地理解其相关的代价。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航