异常处理总结（二）- exception specification

      异常规范(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队列以正确地理解其相关的代价。

本文地址：http://com.8s8s.com/it/it22325.htm