1 Exception
1.1 抛出异常
1. 异常对象的抛出与捕获的方式与给函数传参一样,一个异常对象可以是能够被传递给非引用参数的类型,这意味着该对象类型必须可以被拷贝。
2. 异常对象在throw对象的一个拷贝,所以这个对象类型必须是可以被拷贝的。
3. 如果异常类型有继承关系,如:类B继承于类A, 则:
A exc;
B *p = &exc;
throw *p;
抛出类型为解引用时只能抛出基类B的部分,只属于A的部分不会被抛出。
The result of dereferencing a pointer is an object whose type matches the type of the pointer.
4. 最好不要抛出一个指针,若要抛出指针,指针指向的对象必须在catch中能够访问,不能在catch之前被释放, 否则会报异常。
5. 堆栈回溯(stack unwinding)
当一个异常抛出之后,当前的函数执行被挂起,开始查找相对应的catch模块,:
a) 首先检查抛出异常的代码是否在一个try之中,如果在,则查找对应的catch是否有和异常类型相匹配的,若有,则进入该catch中,若没有,进行第二步;
b) 当前函数退出并释放局部变量,然后检查调用该函数的代码是否在try中,如果在,则查找对应的catch是否有和异常类型相匹配的,若有,则进入该catch中,若没有,继续进行该步骤直到找到可以处理该异常类型的catch模块,如果所有代码都检查完仍然没有,则系统报错,程序退出;
c) 若找到对应了的catch模块,则执行进入该catch中,当catch代码完成,则执行在该catch后继续。
以上这个过程就叫堆栈回溯。
6. 在异常发生之前动态分配的内存如果在throw时未被释放,会造成内存泄露,如果是局部类对象,则throw发生时,编译器保证会自动调用其析构函数。
7. 在析构函数中不要抛出异常,因为析构函数会在异常发生时被调用,如果在抛出异常时调用析构函数,此时析构函数中又抛出异常,这样做通常会引起库函数terminate被调用,程序终止。
8. 在构造函数中可以抛出异常,但必须保证异常抛出时所有分配的资源可以被释放掉。
9. 未被处理的异常会引起程序终止,如果一个异常时未处理的,则通常会引起库函数terminate被调用,从而程序终止。
1.2 捕获异常
1. 在