C++语言程序设计 第十二章异常处理 清华大学郑莉
第十二章 异常处理 清华大学 郑 莉 C++语言程序设计
C++语言程序设计 清华大学郑莉 本拿主要内容 ·异常处理的基本思想 ●C++异常处理的实现 。异常处理中的构造与析构 ●标准程序库异常处理 ·小结
C++语言程序设计 清华大学 郑莉 2 本章主要内容 ⚫ 异常处理的基本思想 ⚫ C++异常处理的实现 ⚫ 异常处理中的构造与析构 ⚫ 标准程序库异常处理 ⚫ 小结
C++语言程序设计 清华大学郑莉 异常处理的基本思想 异 调用者 处理 函数f()捕获并处理异常 调用关系 …… 异常传播方向 基本思想 函数g(0 函数h() 引发异常
C++语言程序设计 清华大学 郑莉 3 异常处理的基本思想 函数f()捕获并处理异常 函数h() 引发异常 函数g() …… 调用者 调用关系 异常传播方向 异 常 处 理 的 基 本 思 想
C+语言程序设计 清华大学郑莉 异常处理的执行过程 C++ ·抛掷异常的程序段 。捕获并处理异常的程序段 异 try 保护段 复合语句 处理 throw表达式； catch(异常声明) 异常处 复合语句 理程序 catch(异常声明) 的实现 复合语句
C++语言程序设计 清华大学 郑莉 4 异常处理的执行过程 ⚫ 抛掷异常的程序段 ...... throw 表达式; ...... ⚫ 捕获并处理异常的程序段 try 复合语句 catch（异常声明） 复合语句 catch（异常声明） 复合语句 … 保护段 异常处 理程序 C++ 异 常 处 理 的 实 现
C++语言程序设计 清华大学郑莉 异常处理的执行过程 续 C++ ● 若有异常则通过trow操作创建一个异常对象并抛掷。 异· 将可能抛出异常的程序段嵌在try块之中。控制通过正 常的顺序执行到达try语句，然后执行try块内的保护段。 常。如果在保护段执行期间没有引起异常，那么跟在ty快 处 后的catch子句就不执行。程序从try块后跟随的最后一 理 个catch子句后面的语句继续执行下去。 的 ● catch子句按其在try块后出现的顺序被检查。匹配的 catch子句将捕获并处理异常（或继续抛掷异常）。 实。如果匹配的处理器未找到，则运行库函数terminate将 现 被自动调用，其缺省功能是调用abort终止程序。大
C++语言程序设计 清华大学 郑莉 5 异常处理的执行过程（续） ⚫ 若有异常则通过throw操作创建一个异常对象并抛掷。 ⚫ 将可能抛出异常的程序段嵌在try块之中。控制通过正 常的顺序执行到达try语句，然后执行try块内的保护段。 ⚫ 如果在保护段执行期间没有引起异常，那么跟在try块 后的catch子句就不执行。程序从try块后跟随的最后一 个catch子句后面的语句继续执行下去。 ⚫ catch子句按其在try块后出现的顺序被检查。匹配的 catch子句将捕获并处理异常（或继续抛掷异常）。 ⚫ 如果匹配的处理器未找到，则运行库函数terminate将 被自动调用，其缺省功能是调用abort终止程序。 C++ 异 常 处 理 的 实 现
C+语言程序设计 清华大学郑莉 例12-1处理除零异常 #include using namespace std; 程序运行结果如下： 异 int divide(int x,int y){ 5/2=2 if(y==0) 常 throw x; 8 is divided by zero! return x y; That is ok. 处 int main(){ 理 try t cout <<"5 /2="<divide(5,2)<<endl; 的 cout <<"8/0 "<divide(8,0) <endl; 实 cout<"7/1=" <divide(7.1) <endl; catch (int e){ cout <<e<"is divided by zero!" <endl; cout <"That is ok."<endl; return 0; }
C++语言程序设计 清华大学 郑莉 6 例12-1处理除零异常 #include using namespace std; int divide(int x, int y) { if (y == 0) throw x; return x / y; } int main() { try { cout << "5 / 2 = " << divide(5, 2) << endl; cout << "8 / 0 = " << divide(8, 0) << endl; cout << "7 / 1 = " << divide(7, 1) << endl; } catch (int e) { cout << e << " is divided by zero!" << endl; } cout << "That is ok." << endl; return 0; } 程序运行结果如下： 5 / 2 = 2 8 is divided by zero! That is ok. C++ 异 常 处 理 的 实 现
C+语言程序设计 清华大学郑莉 异常接口声明 C++ ● 可以在函数的声明中列出这个函数可 异 能抛掷的所有异常类型。 常 例如： 处 void fun()throw(A,B,C,D); 理 。若无异常接口声明，则此函数可以抛 的 掷任何类型的异常。 实 ·不抛掷任何类型异常的函数声明如下： void fun()throw();
C++语言程序设计 清华大学 郑莉 7 异常接口声明 ⚫ 可以在函数的声明中列出这个函数可 能抛掷的所有异常类型。 –例如： void fun() throw(A，B，C，D); ⚫ 若无异常接口声明，则此函数可以抛 掷任何类型的异常。 ⚫ 不抛掷任何类型异常的函数声明如下： void fun() throw(); C++ 异 常 处 理 的 实 现
C++语言程序设计 清华大学郑莉 异常处理中的尥造与析构 异 常 处 ●找到一个匹配的catch异常处理后 理 -初始化异常参数。 的 -将从对应的ty块开始到异常被抛掷 构 处之间构造（且尚未析构）的所有 造 自动对象进行析构。 与 -从最后一个catch处理之后开始恢复 析 执行。 构
C++语言程序设计 清华大学 郑莉 8 异常处理中的构造与析构 ⚫ 找到一个匹配的catch异常处理后 –初始化异常参数。 –将从对应的try块开始到异常被抛掷 处之间构造（且尚未析构）的所有 自动对象进行析构。 –从最后一个catch处理之后开始恢复 执行。 异 常 处 理 的 构 造 与 析 构
C++语言程序设计 清华大学郑莉 例12-2异常处理时的析构 异 常 #include 处 #include 理 using namespace std; class MyException 的 public: 构 MyException(const string &message) message (message) 造 MyException ( )0 与 const string &getMessage (const return message; 析 private: 构 string message;
C++语言程序设计 清华大学 郑莉 9 例12-2 异常处理时的析构 #include #include using namespace std; class MyException { public: MyException(const string &message) : message(message) {} ~MyException() {} const string &getMessage() const { return message; } private: string message; }; 异 常 处 理 的 构 造 与 析 构
class Demo public: Demo(){cout <"Constructor of Demo"<< endl; ~Demo()cout <"Destructor of Demo"< endl; }; void func()throw (MyException){ Demo d; cout<"Throw MyException in func()”〈< endl; throw MyException("exception thrown by func ()")
class Demo { public: Demo() { cout << "Constructor of Demo" << endl; } ~Demo() { cout << "Destructor of Demo" << endl; } }; void func() throw (MyException) { Demo d; cout << "Throw MyException in func()" << endl; throw MyException("exception thrown by func()"); } 10