南京大学：《面向对象技术 OOT》课程教学资源（PPT课件讲稿）05 异常处理 Exception Handling

Exception Handling 异常处理 Institute of Computer Software 2022-2-27 Nanjing University

异常处理 Exception Handling 2022-2-27 Institute of Computer Software Nanjing University 1

&雪扇 摘要 UNIVE 2 口简介 口Java异常处理 口Java Exception机制的不当使用示例 Effective Java Exceptions 口Eiffel异常处理 口小结 Institute of Computer Software 2022-2-27 Nanjing University

摘要  简介  Java 异常处理  Java Exception机制的不当使用示例  Effective Java Exceptions  Eiffel 异常处理  小结 2022-2-27 Institute of Computer Software Nanjing University 2

&雪扇 回顾DbC UNIVE DbC vs Defensive Programming 口DP中产生异常的语句是程序体本身的组成部分 口DbC中Precondition:还是程序文档的组成部分 Check our DbC demo... Institute of Computer Software 2022-2-27 Nanjing University

回顾DbC  DbC vs Defensive Programming  DP中产生异常的语句是程序体本身的组成部分  DbC中Precondition还是程序文档的组成部分  Check our DbC demo… 2022-2-27 Institute of Computer Software Nanjing University 3

&扇 002 简介 UNIVE 口问题 口何谓“异常(Exception)”? ■一种情况要“异常”到什么程度才算“异常”？ 口为什么要引入异常处理机制？ Robustness?Readability? 口如何进行异常处理？ Mandatory or Optional 口不同的认识，不同的答案 ▣Java/C++/C# Eiffel Institute of Computer Software 2022-2-27 Nanjing University

简介  问题  何谓“异常（Exception）”?  一种情况要“异常” 到什么程度才算“异常”？  为什么要引入异常处理机制？  Robustness? Readability?  如何进行异常处理？  Mandatory or Optional  不同的认识，不同的答案  Java/C++/C#  Eiffel 2022-2-27 Institute of Computer Software Nanjing University 4

&扇 Java Exception Mechanisms 102 口Java对Exception的界定较宽 口因而需认真区分不同类型的Exceptions Java的Exception机制回顾 try/catch/finally throw Exceptions 口自定义Exceptions Java Exception Design by Contract 口Exception的转换 Institute of Computer Software 2022-2-27 Nanjing University

Java Exception Mechanisms  Java 对 Exception 的界定 较宽  因而 需 认真区分 不同类型的 Exceptions  Java的Exception机制回顾  try/catch/finally  throw Exceptions  自定义Exceptions  Java Exception与Design by Contract  Exception的转换 2022-2-27 Institute of Computer Software Nanjing University 5