C++中异常处理（2）

    1.疑问：： 

    对于C++标准异常处理，最常用的就是try-throw-catch格式，在try块中，有些情况我们可以准确判断异常产生，并抛出异常，比如使用new申请内存，或者除0操作，我们可以throw指定类型的异常，这些异常会在相应类型的catch中被捕获，但是还有一些异常，无法预测它会抛出何种类型的异常，比如数组越界、修改常量字符串的值，本例中try块中有以下语句char *p = "hello"; *p = 'H'; 只有当程序执行到 "*p = 'H';"这句时，程序才会抛出异常，而调用者可能自己并不能觉察这种错误，因此也不会也无法用throw抛出异常，那如何捕获该异常究竟是何种类型的异常呢？在本例中,"*p = 'H';"异常，我试了很多中异常类型(包括 exception)都没有捕获到，只有catch(...)才能捕获到，但是用catch(...)捕获到的异常无法知道异常源(假如try中多出可引发异常)和异常类型！

 

2.语法小结：throw抛出值，catch接受，当然，throw必须在“try语句块”中才有效。

3.try一个函数体，形式如下
void fun(type1,type2) try－－－－try放在函数体后
{
   函数定义
}
catch(typeX){}
这个用法的效果就相当于:
void fun()
{
   try{函数定义}
}

4.throw一个函数体，形式如下：
void fun (); // 能抛出任何类型的异常
void fun () throw(except1,except2,except3)
               // 后面括号里面是一个异常参数表，本例中只能抛出这3中异常
void fun () throw()   // 参数表为空，不能抛出异常

问题b：假设fun()中抛出了一个不在“异常参数表”中的异常，会怎么样？

答：调用set_terminate()中设定的终止函数。然而，这只是表面现象，实际上是调用默认的unexpected()函数，然而这个默认的unexpected()调用了set_terminate()中设定的终止函数。可以用set_unexpected()来设置 unexpected,就像set_terminate()一样的用法，但是在设定了新的“unexpected()”之后，就不会再调用 set_terminater中设定的终止函数了。

这个语法是很有用的，因为在用别人的代码时，不知道哪个地方会调用什么函数又会抛出什么异常，用一个异常参数表在申明时限制一下，很实用。

 

6.深入throw：
(i)、程序接受到throw语句后就会自动调用析构器，把该域（try后的括号内）对象clean up，然后再进
入catch语句（如果在循环体中就退出循环）。

这种机制会引起一些致命的错误，比如，当“类”有指针成员变量时（又是指针！），在 “类的构建器
”中的throw语句引起的退出，会导致这个指针所指向的对象没有被析构。这里很基础，就不深入了，提
示一下，把指针改为类就行了，比如模板类来代替指针，在模板类的内部设置一个析构函数。

(ii)、语句“throw;”抛出一个无法被捕获的异常，即使是catch(...)也不能捕捉到，这时进入终止函数
，见下catch。

7.深入catch：
一般的catch出现的形式是：
try{}
catch(except1&){}
catch(except2&){}
catch(...){} //接受所有异常
一般都写成引用（except1&），原因很简单，效率。

问题a：抛出异常，但是catch不到异常怎么办？（注意没有java类似的finally语句）
在catch没有捕获到匹配的异常的时候，会调用默认的终止函数。可以调用set_terminate()来设置终止函数，参数是一个函数指针，类型是：void (*terminate)()。但是不会调用析构对象。

到这里，可以题个问题：“没有try-catch,直接在程序中"throw;"，会怎么样？”