C++的异常

C++函数后面后加到关键字throw(something)限制，是对这个函数的异常安全性作出限制。

void f() throw()  表示f不允许抛出任何异常，即f是异常安全的。

void f() throw(...) 表示f可以抛出任何形式的异常。

void f() throw(exceptionType); 表示f只能抛出exceptionType类型的异常。

引别人的一个笑话：

throw() 大概会说：“噢，不管你抛什么，就是不准抛。。”
throw(...) 呵呵一笑，满脸慈祥：“抛吧抛吧，尽情地抛吧。。。”
throw(type) 一听急了：“那可不行，要抛也只能抛我的香烟头，否则要是不小心把俺祖传的金戒指抛掉就太亏了。。。”

关于C++的异常传递有三种方法：

1.传值(by value)

传值的过程中会产生临时对象的拷贝，不能解决多态的问题，如下：myexception继承exception，但是但确无法被正确的调用myexception的方法，造成对异常对象的切割。

 

class myexception:public exception{
public:
    virtual const char* what() throw();
};
const char* myexception::what(){
    return "myException";
}
class A{
public:
    A(){}
    void f() throw(){
        throw myexception();
    }
};
int main(){
    A a;
    try{
        a.f();
    }catch(exception exc){
        cout<<exc.what();
    }
}

运行结果：UnKnown exceptions

程序执行是会调用exception的what方法，而不是myexception的what方法。

2.传指针(by pointer)

指针可以实现多态，但往往会将临时对象的地址作为指针传出去，出现悬挂指针错误。如果在堆上分配内存空间，又往往不知道何时删除对象，出现to be or not to be的错误。

  结果显示：myException

class myexception:public exception{
public:
    virtual const char * what() const;
};
const char* myexception::what() const{
    return "myException";
}
class A{
public:
    A(){}
    void f() throw(){
        throw new myexception();
    }
};
int main(){
    A a;
    try{
        a.f();
    }catch(exception* pexc){
        cout<<pexc->what();
        delete pexc;
    }
}

 

3.传引用(by reference)

传引用是最好的方法，可以克服前面的两个问题。

程序结果显示:myException

class myexception:public exception{
public:
    virtual const char * what() const;
};
const char* myexception::what() const{
    return "myException";
}
class A{
public:
    A(){}
    void f() throw(){
        throw myexception();
    }
};
int main(){
    A a;
    try{
        a.f();
    }catch(exception& exc){
        cout<<exc.what();
    }
}