C++异常规范
<上一节
下一节>
◆ 1、异常规范(exception specification)是指:提供了一种方案,可以随着函数声明列出该函数可能抛出的异常,并保证该函数不会抛出任何其他类型的异常。例如,在stack类定义中可有:
void Push(const T&data) throw(pushOnFull) ;
T Pop() throw(popOnEmpty); //红色部分是异常规范
成员函数类内声明和类外定义必须在两处都有相同的异常规范,同样的异常规范。
一个函数的异常规范的违例只能在运行时才能被检测出来。如果在运行时,函数抛出了一个没有被列在它的异常规范中的异常时(并且函数中所抛出的异常,没有在该函数内部处理)则系统调用C++标准库中定义的函数unexpected()。
仅当函数中所抛出的异常,没有在该函数内部处理,而是逆调用链回溯寻找匹配的catch子句的时候,异常规范才起作用。如果异常规范形式为throw(),则表示不得抛出任何异常。
◆ 2、虚函数中的异常规范
派生类的虚拟函数的异常规范必须与基类虚函数的异常一样或更严格。因为当派生类的虚函数被指向基类类型的指针调用时,保证不会违背基类成员函数的异常规范。例如:
class CBase
{
public:
virtual int fun1(int) throw();
virtual int fun2(int) throw(int);
virtual string fun3() throw(int,string);
};
class CDerived:public CBase
{
public:
int fun1(int) throw(int); //错!异常规范不如throw()严格
int fun2(int) throw(int); //对!有相同的异常规范
string fun3() throw(string); //对!异常规范比 throw(int,string)更严格
}
void Push(const T&data) throw(pushOnFull) ;
T Pop() throw(popOnEmpty); //红色部分是异常规范
成员函数类内声明和类外定义必须在两处都有相同的异常规范,同样的异常规范。
一个函数的异常规范的违例只能在运行时才能被检测出来。如果在运行时,函数抛出了一个没有被列在它的异常规范中的异常时(并且函数中所抛出的异常,没有在该函数内部处理)则系统调用C++标准库中定义的函数unexpected()。
仅当函数中所抛出的异常,没有在该函数内部处理,而是逆调用链回溯寻找匹配的catch子句的时候,异常规范才起作用。如果异常规范形式为throw(),则表示不得抛出任何异常。
◆ 2、虚函数中的异常规范
派生类的虚拟函数的异常规范必须与基类虚函数的异常一样或更严格。因为当派生类的虚函数被指向基类类型的指针调用时,保证不会违背基类成员函数的异常规范。例如:
class CBase
{
public:
virtual int fun1(int) throw();
virtual int fun2(int) throw(int);
virtual string fun3() throw(int,string);
};
class CDerived:public CBase
{
public:
int fun1(int) throw(int); //错!异常规范不如throw()严格
int fun2(int) throw(int); //对!有相同的异常规范
string fun3() throw(string); //对!异常规范比 throw(int,string)更严格
}
<上一节
下一节>