3 异常
~~~~~~~
3.1 防止构造函数在存在异常时发生资源泄露
=========================================
1. 如果你用对应的auto_ptr对象替代指针成员变量，就可以防止构造函数在存在异常时发生资源泄漏，你也不用手工在析构函数中释放资源，并且你还能象以前使用非const指针一样使用const指针，给其赋值。
3.2 理解"往catch语句传参数"与"往函数传递参数"的差别
====================================================
1. 在函数中声明函数与在catch子句中声明参数几乎没什么差别,但
无论通过传值捕获异常还是通过引用捕获异常,都将对传入catch的参数进行拷贝动作.
当异常对象被拷贝时,拷贝操作是由对象的拷贝构造函数完成的.该拷贝构造函数是对象的 *静态类型* 所对应的拷贝构造函数,而不是对象的动态类型对应的拷贝构造函数.
- struct B
- {
- virtual void say(){cout<<"this is "<<typeid(*this).name()<<endl;}
- };
- struct D:public B
- {
- };
- int main()
- {
- try{
- D d;
- B& rb = d;
- rb.say(); //this is D1
- throw rb; //这里抛出的是rb的拷贝,类型位B
- }catch(B& b)
- {
- b.say(); //this is B1
- }
- }
在函数调用中不存在传递一个临时对象到一个非const引用类型的参数里,但是在异常中却被允许.
函数的实参在传递给形参时会发生隐式类型转换,但catch子句在匹配异常类型时不会进行这样的转换.
2. 异常是其它对象的拷贝，这个事实影响到你如何在catch块中再抛出一个异常。比如
- catch (Widget& w) // 捕获Widget异常
- {
- ... // 处理异常
- throw; // 重新抛出异常，让它
- } // 继续传递
- catch (Widget& w) // 捕获Widget异常
- {
- ... // 处理异常
- throw w; // 传递被捕获异常的
- } // 拷贝
这两个catch块的差别在于第一个catch块中重新抛出的是当前捕获的异常，而第二个catch块中重新抛出的是当前捕获异常的一个新的拷贝。
3. 不过在catch子句中进行异常匹配时可以进行两种类型转换。
* 继承类与基类间的转换。
* 允许从一个类型化指针（typed pointer）转变成无类型指针(所以带有const void* 指针的catch子句能捕获任何类型的指针类型异常)
3.3 使用引用异常
=================
1. bad_alloc,bad_cast,bad_typeid,bad_exception都不是指向对象的指针,必须通过值或引用来捕获它们.
2. 通过值捕获,它们抛出时系统将对异常对象拷贝两次,而且它会产生切片问题
