C++中异常处理

看了下thinking in c++ v2 中的 exception handling, 这里简单总结下C++语言层面exception handling理解

1 .  throw,  try , catch

throw expression ; 这是在程序普通地方用的, expression总是有一个类型的, 也就是说可以抛出任意一个 type 的 object;

throw ; 是在 catch 语句里面使用的, 把接收到的object再次抛出, 　　当然在catch中也可以再抛出任意type的异常

#include <iostream>
using namespace std;
int main ()try{
    try {
        throw 5;
    } catch (...){
        cout << "catch exception" << endl;
        throw 'c';
    }
    cout << "after try,catch" << endl;
    return 0;
}catch (int e){
    cout << "catch for main" << " e = " << e << endl;
}catch (char e){
    cout << "catch for main ,any exception type" << " e = " << e << endl;
}

一个测试程序, 第10行不会被执行到, 可以看到3行,如何try上整个函数体,第8行在catch中再次抛出另一个类型 object;

2. 　　标准库中定义的异常

标准库中异常相关的有两个头文件 <exception> , <stdexcept> 　　这两个头文件都很小型, 里面有一些 类定义, 函数指针, 函数, 类的成员函数都只有声明, 我猜想这两个头文件(应该是所有的c++标准库都在一个动态/静态库中)

<exception>中定义了 exception, bad_exception　　exception是库中所有异常类的基类, 有一个 virtual member   :  const char* what() const;　　bad_exception从exception中派生, 这里先不做解释, 参见库中说明http://www.cplusplus.com/reference/std/exception/bad_exception(而且没明白有什么用)　　另外声明了  set_expected,  set_terminated

<stdexcept>中定了两组异常类,  标准库在使用, 自己的程序也可以使用　　logic_error, runtime_error　　基类exception的构造函数是没有参数的, 而这两组类的构造函数有一个参数 string& what_arg　, 异常的文字描述,  what()会返回它

3. 　function-level try block ;   exception specification

在thinking in c++中提到, 标准库之所以没有在函数声明中使用exception specification, 是因为标准库中都是模板, 而对模板参数代表的未知类型, 不知道会抛出什么样的异常, 所以标准库只在文档中提出可能会抛出什么样的异常

void function () throw (int , exception);
void function2 () throw();
void function3 () ;

我暂时觉得这个没什么用, 我还没用过, 而且有些函数并不能确定它会抛出哪些类型的异常, 有可能它调了其它函数, 而其它函数又被替换, 不完全在你的控制之下,   上面第2行表示function2不会抛出异常, 第3行表示可能抛可能不抛

关于function-level try block　　除了1中代码中提到的那种, 还可以如下这种使用 (19行), 在派生类的constructor中捕获基类和成员对象构造函数 抛出的异常, 从下面这段代码的各种执行还可以看出, 基类constructor先于成员constructor执行, 然后才是自己的constructor.　　另外要注意在Derived构造函数的异常处理中处理了, 在main中那行(32行)依然会抛出异常, 如果在main中没有捕获处理, 就直接退出main了

#include <iostream> 
using namespace std;
class Base{
public :
        Base(){
            cout << "Base default constructor" << endl;
            throw int(2);
        }
        Base(int i){
            cout << "Base constructor" << endl;    
//            throw i;
        }
        ~Base(){
            cout << "Base destructor" << endl;
        }
};
class Derived : public Base{
public :
        Derived(int i) try:  Base(i){
            cout << "Derived constructor" << endl;
        } catch (int e){
            cout << "exception caught in Derived e = "  << e << endl;
        } catch (...){
            cout << "unknown exception caught in Derived" << endl;
        }
private :
        Base base;
};
int main ()try{
    try{
        Derived  derivced(6);
    } catch (int e){
        cout << "catch after derivedi e = " << e << endl;
    }
}