考试网 >> IT认证 >> 水平 >> 软件指导 >> 异 常 处 理

发布时间：2006-06-28 04:35     点击：

Exception Specification

一个函数可以通过指定一个它所能抛出的异常列表来提醒它的用户。Exception specifications在用户只能看到函数的原型但是却无法获得它的源文件的时候将会十分的有用。下面是一个指定异常的例子：

class Zerodivide{/*..*/};

int divide (int, int) throw(Zerodivide); // function may throw an exception

// of type Zerodivide, but no other

如果你的函数永远不会抛出任何异常，它可以像下面这样声明：

bool equals (int, int) throw(); //no exception is thrown from this function

注意一个函数被声明为没有exception specification例如：

bool equals (int, int);

Exception specification在运行期生效

一个exception specification不会在编译期被检查，而是在运行期。当一个函数试图抛出一个在exception specification中未被指定的异常的时候，异常处理机制将会检测到这种违规并且调用标准函数unexpected()。unexpected()的默认行为是调用terminate()终止程序。违背exception specification就好比是一个bug，不应该发生，这就是为什么默认行为是终止程序。不过默认的行为也可以被改变，通过使用函数set_unexpected()。

因为exception specifications在运行期才有效，所以编译期可能会故意忽略那些违背exception specifications的代码。好比下面：

int f(); // no exception specification, f can throw any type of exception

void g(int j) throw() // g promises not to throw any exception at all

{

int result = f(); // if f throws an exception, g will violate its guarantee

//not to throw an exception. still, this code is legal

}

Exception specification的一致性

C++需要派生类中的exception specification与基类保持一致。这意味着派生类的virtual function重载函数的exception specification必须是基类的限制性子集，例如：

// various exception classes

class BaseEx{};

class DerivedEx: public BaseEx{};

class OtherEx {};

class A

发表评论： 匿名发表 用户名: 查看评论

您将承担一切因您的行为、言论而直接或间接导致的民事或刑事法律责任 留言板管理人员有权保留或删除其管辖留言中的任意内容 本站提醒：不要进行人身攻击。谢谢配合。