1. 异常基本语法
int A_MyDivide(int a, int b){ if (b == 0){ throw 0; } return a / b; } //B写的代码 B写代码比较粗心，忘记处理异常 int B_MyDivide(int a, int b){ int ba = a; int bb = b; int ret = A_MyDivide(ba, bb) + 100; //由于B没有处理异常，导致B结果运算错误 return ret; } //C写的代码 int C_MyDivide(){ int a = 10; int b = 0; int ret = 0; //没有处理异常，程序直接中断执行 #if 1 ret = B_MyDivide(a, b); //处理异常 #else try{ ret = B_MyDivide(a, b); //更严重的是，由于B没有继续抛出异常，导致C的代码没有办法捕获异常 } catch (int e){ cout << "C_MyDivide Call B_MyDivide 除数为:" << e << endl; } #endif return ret; } int main(){ C_MyDivide(); system("pause"); return EXIT_SUCCESS; }
总结:
- 若有异常则通过throw操作创建一个异常对象并抛出。
- 将可能抛出异常的程序段放到try块之中。
- 如果在try段执行期间没有引起异常，那么跟在try后面的catch字句就不会执行。
- catch子句会根据出现的先后顺序被检查，匹配的catch语句捕获并处理异常(或继续抛出异常)
- 如果匹配的处理未找到，则运行函数terminate将自动被调用，其缺省功能调用abort终止程序。
- 处理不了的异常，可以在catch的最后一个分支，使用throw，向上抛。
c++异常处理使得异常的引发和异常的处理不必在一个函数中，这样底层的函数可以着重解决具体问题，而不必过多的考虑异常的处理。上层调用者可以在适当的位置设计对不同类型异常的处理。
2. 异常严格类型匹配
异常机制和函数机制互不干涉,但是捕捉方式是通过严格类型匹配。
void TestFunction(){ cout << "开始抛出异常..." << endl; //throw 10; //抛出int类型异常 //throw 'a'; //抛出char类型异常 //throw "abcd"; //抛出char*类型异常 string ex = "string exception!"; throw ex; } int main(){ try{ TestFunction(); } catch (int){ cout << "抛出Int类型异常!" << endl; } catch (char){ cout << "抛出Char类型异常!" << endl; } catch (char*){ cout << "抛出Char*类型异常!" << endl; } catch (string){ cout << "抛出string类型异常!" << endl; } //捕获所有异常 catch (...){ cout << "抛出其他类型异常!" << endl; } system("pause"); return EXIT_SUCCESS; }
3. 栈解旋(unwinding)
异常被抛出后，从进入try块起，到异常被抛掷前，这期间在栈上构造的所有对象，都会被自动析构。析构的顺序与构造的顺序相反，这一过程称为栈的解旋(unwinding).
class Person{ public: Person(string name){ mName = name; cout << mName << "对象被创建!" << endl; } ~Person(){ cout << mName << "对象被析构!" << endl; } public: string mName; }; void TestFunction(){ Person p1("aaa"); Person p2("bbb"); Person p3("ccc"); //抛出异常 throw 10; } int main(){ try{ TestFunction(); } catch (...){ cout << "异常被捕获!" << endl; } system("pause"); return EXIT_SUCCESS; }
4. 异常接口声明
为了加强程序的可读性，可以在函数声明中列出可能抛出异常的所有类型，例如：void func() throw(A,B,C);这个函数func能够且只能抛出类型A,B,C及其子类型的异常。
如果在函数声明中没有包含异常接口声明，则此函数可以抛任何类型的异常，例如:void func()
一个不抛任何类型异常的函数可声明为:void func() throw()
如果一个函数抛出了它的异常接口声明所不允许抛出的异常,unexcepted函数会被调用，该函数默认行为调用terminate函数中断程序。
//可抛出所有类型异常 void TestFunction01(){ throw 10; } //只能抛出int char char*类型异常 void TestFunction02() throw(int,char,char*){ string exception = "error!"; throw exception; } //不能抛出任何类型异常 void TestFunction03() throw(){ throw 10; } int main(){ try{ //TestFunction01(); //TestFunction02(); //TestFunction03(); } catch (...){ cout << "捕获异常!" << endl; } system("pause"); return EXIT_SUCCESS; }
请分别在qt vs linux下做测试! Qt and Linux 正确!
5. 异常变量生命周期
throw的异常是有类型的，可以是数字、字符串、类对象。
throw的异常是有类型的，catch需严格匹配异常类型。
class MyException { public: MyException(){ cout << "异常变量构造" << endl; }; MyException(const MyException & e) { cout << "拷贝构造" << endl; } ~MyException() { cout << "异常变量析构" << endl; } }; void DoWork() { throw new MyException(); //test1 2都用 throw MyExecption(); } void test01() { try { DoWork(); } catch (MyException e) { cout << "捕获 异常" << endl; } } void test02() { try { DoWork(); } catch (MyException &e) { cout << "捕获 异常" << endl; } } void test03() { try { DoWork(); } catch (MyException *e) { cout << "捕获 异常" << endl; delete e; } }
6. 异常的多态使用
//异常基类 class BaseException{ public: virtual void printError(){}; }; //空指针异常 class NullPointerException : public BaseException{ public: virtual void printError(){ cout << "空指针异常!" << endl; } }; //越界异常 class OutOfRangeException : public BaseException{ public: virtual void printError(){ cout << "越界异常!" << endl; } }; void doWork(){ throw NullPointerException(); } void test() { try{ doWork(); } catch (BaseException& ex){ ex.printError(); } }
