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

本文阐述了异常规范的概念,包括其如何通过函数声明来指定可能抛出的异常,以及异常规范之间的兼容性和一致性。同时,文章强调了合理使用异常规范的重要性,并提供了实例说明其在编译期和运行期的行为。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值