Python入门：Python内置的异常机制（Python为什么要提供异常处理机制）

Python入门：Python内置的异常机制（Python为什么要提供异常处理机制）

本章剩余部分将会专门介绍Python内置的异常机制。整个Python异常机制都是按照面向对象的规范搭建的，这使得它灵活而又兼具扩展性。即便大家对面向对象编程（object-oriented programming，OOP）不太熟悉，使用异常时也无须特地去学习面向对象技术。

异常是Python函数用​​raise​​​语句自动生成的对象。在异常对象生成后，引发异常的​​raise​​​语句将改变Python程序的执行方式，这与正常的执行流程不同了。不是继续执行​​raise​​的下一条语句，也不执行生成异常后的下一条语句，而是检索当前函数调用链，查找能够处理当前异常的处理程序。如果找到了异常处理程序，则会调用它，并访问异常对象获取更多信息。如果找不到合适的异常处理程序，程序将会中止并报错。

{请求容易认可难!}总体而言，Python对待错误处理的方式与Java等语言的常见方式不同。那些语言有赖于在错误发生之前就尽可能地检查出来，因为在错误发生后再来处理异常，往往要付出各种高昂的成本。本章第一节已对这种方式有所介绍，有时也被称为“三思而后行”（Look Before You Leap, LBYL）方式。而Python可能更依赖于“异常”，在错误发生之后再做处理。虽然这种依赖看起来可能会有风险，但如果“异常”能使用得当，代码就会更加轻巧，可读性也更好，只有在发生错误时才会进行处理。这种Python式的错误处理方法通常被称为“先斩后奏”（Easier to Ask Forgiveness than Permission, EAFP）。

14.2.1　Python异常的类型

为了能够正确反映引发错误的实际原因，或者需要报告的异常情况，可以生成各种不同类型的异常对象。Python 3.6提供的异常对象有很多类型：

​​BaseException​​​​SystemExit​​​​KeyboardInterrupt​​​​GeneratorExit​​​​Exception​​​​StopIteration​​​​ArithmeticError​​​​FloatingPointError​​​​OverflowError​​​​ZeroDivisionError​​​​AssertionError​​​​AttributeError​​​​BufferError​​​​EOFError​​​​ImportError​​​​ModuleNotFoundError​​​​LookupError​​​​IndexError​​​​KeyError​​​​MemoryError​​​​NameError​​​​UnboundLocalError​​​​OSError​​​​BlockingIOError​​​​ChildProcessError​​​​ConnectionError​​​​BrokenPipeError​​​​ConnectionAbortedError​​​​ConnectionRefusedError​​​​ConnectionResetError​​​​FileExistsError​​​​FileNotFoundError​​​​InterruptedError​​​​IsADirectoryError​​​​NotADirectoryError​​​​PermissionError​​​​ProcessLookupError​​​​TimeoutError​​​​ReferenceError​​​​RuntimeError​​​​NotImplementedError​​​​RecursionError​​​​SyntaxError​​​​IndentationError​​​​TabError​​​​SystemError​​​​TypeError​​​​ValueError​​​​UnicodeError​​​​UnicodeDecodeError​​​​UnicodeEncodeError​​​​UnicodeTranslateError​​​​Warning​​​​DeprecationWarning​​​​PendingDeprecationWarning​​​​RuntimeWarning​​​​SyntaxWarning​​​​UserWarning​​​​FutureWarning​​​​ImportWarning​​​​UnicodeWarning​​​​BytesWarningException​​​​ResourceWarning​​

Python的异常对象是按层级构建的，上述异常列表中的缩进关系正说明了这一点。正如第10章中所示，可以从​​__builtins__​​模块中获取按字母顺序排列的异常对象清单。

每种异常都是一种Python类，继承自父异常类。但大家如果还未接触过OOP，也不必担心。例如，​​IndexError​​​也是​​LookupError​​​类和​​Exception​​​类（通过继承），且还是​​BaseException​​。

这种层次结构是有意为之的，大部分异常都继承自​​Exception​​​，强烈建议所有的用户自定义异常也都应是​​Exception​​​的子类，而不要是​​BaseException​​的子类。理由如下。

​​try:​​​​# 执行一些异常操作​​​​except Exception:​​​​# 处理异常​​

{:—}上述代码中，仍旧可以用Ctrl+C中止​​try​​​语句块的执行，且不会引发异常处理代码。因为​​KeyboardInterrupt​​​异常不是​​Exception​​的子类。

虽然在文档中可以找到每种异常的解释，但最常见的几种异常通过动手编程就能很快熟悉了。

14.2.2　引发异常

异常可由很多Python内置函数引发：

​​>>> alist = [1, 2, 3]​​​​>>> element = alist[7]​​​​Traceback (innermost last):​​​​File "", line 1, in ?​​​​IndexError: list index out of range​​

Python内置的错误检查代码，将会检测到第二行请求读取的列表索引值不存在，并引发​​IndexError​​异常。该异常一直传回顶层，也就是交互式Python解释器，解释器对其处理的方式是打印出一条消息表明发生了异常。

在自己的代码中，还可以用​​raise​​​语句显式地引发异常。​​raise​​语句最基本的形式如下：

​​raise exception(args)​​

​​exception(args)​​​部分会创建一个异常对象。新异常对象的参数通常应是有助于确定错误情况的值，后续将会介绍。在异常对象被创建之后，​​raise​​​会将其沿着Python函数堆栈向上层抛出，也就是当前执行到​​raise​​语句的函数。新创建的异常将被抛给堆栈中最近的类型匹配的异常捕获代码块。如果直到程序顶层都没有找到相应的异常捕获代码块，程序就会停止运行并报错，在交互式会话中则会把错误消息打印到控制台。

请尝试以下代码：

​​>>> raise IndexError("Just kidding")​​​​Traceback (innermost last):​​​​File "", line 1, in ?​​​​IndexError: Just kidding​​

上面用​​raise​​生成的消息，乍一看好像与之前所有的Python列表索引错误消息都很类似。再仔细查看一下就会发现，情况并非如此。实际的错误并不像之前的错误那么严重。

创建异常时，常常会用到字符串参数。如果给出了第一个参数，大部分内置Python异常都会认为该参数是要显示出来的信息，作为对已发生事件的解释。不过情况并非总是如此，因为每个异常类型都有自己的类，创建该类的异常时所需的参数，完全由类的定义决定。此外，由程序员创建的自定义异常，经常用作错误处理之外的用途，因此可能并不会用文本信息作为参数。

14.2.3　捕获并处理异常

异常机制的重点，并不是要让程序带着错误消息中止运行。要在程序中实现中止功能，从来都不是什么难事。异常机制的特别之处在于，不一定会让程序停止运行。通过定义合适的异常处理代码，就可以保证常见的异常情况不会让程序运行失败。或许可以通过向用户显示错误消息或其他方法，或许还可能把问题解决掉，但是不会让程序崩溃。

以下演示了Python异常捕获和处理的基本语法，用到了​​try​​​、​​except​​​，有时候还会用​​else​​关键字：

​​try:​​​​body​​​​except exception_type1 as var1:​​​​exception_code1​​​​except exception_type2 as var2:​​​​exception_code2​​​​.​​​​.​​​​.​​​​except:​​​​default_exception_code ​​​​else:​​​​else_body​​​​finally:​​​​finally_body​​

首先执行的是​​try​​​语句的​​body​​​部分。如果执行成功，也就是​​try​​​语句没有捕获到有异常抛出，那就执行​​else_body​​​部分，并且​​try​​​语句执行完毕。因为这里有条​​finally​​​语句，所以接着会执行​​finally_body​​​部分。如果有异常向​​try​​​抛出，则会依次搜索各条​​except​​​子句，查找关联的异常类型与抛出的异常匹配的子句。如果找到匹配的​​except​​​子句，则将抛出的异常赋给变量，变量名在关联异常类型后面给出，并执行匹配​​except​​​子句内的异常处理代码。例如，​​except exception_type as var:​​​这行匹配上了某抛出的异常​​exc​​​，就会创建变量​​var​​​，并在执行该​​except​​​语句的异常处理代码之前，将​​var​​​的值赋为​​exc​​​。​​var​​​不是必需的，可以只出现​​except exception_type​​：这种写法，给定类型的异常仍然能被捕获，只是不会把异常赋给某个变量了。

如果没有找到匹配的​​except​​​子句，则该​​try​​​语句就无法处理抛出的异常，异常会继续向函数调用链的上一层抛出，期望有外层的​​try​​能够处理。

​​try​​​语句中的最后一条​​except​​​子句，可以完全不指定任何异常类型，这样就会处理所有类型的异常。对于某些调试工作和非常快速的原型开发，这种技术可能很方便。但通常这不是个好做法，所有错误都被​​except​​子句掩盖起来了，可能会让程序的某些行为令人难以理解。

​​try​​​语句的​​else​​​子句是可选的，也很少被用到。当且仅当​​try​​​语句的​​body​​​部分执行时没有抛出任何错误时，​​else​​子句才会被执行。

​​try​​​语句的​​finally​​​子句也是可选的，在​​try​​​、​​except​​​、​​else​​​部分都执行完毕后执行。如果​​try​​​块中有异常引发并且没被任何​​except​​​块处理过，那么​​finally​​​块执行完毕后会再次引发该异常。因为​​finally​​块始终会被执行，所以能在异常处理完成后，通过关闭文件、重置变量之类的操作提供一个加入资源清理代码的机会。

动手题：捕获异常　编写代码读取用户输入的两个数字，将第一个数字除以第二个数字。检查并捕获第二个数字为0时的异常（​​ZeroDivisionError​​）。

14.2.4　自定义新的异常

定义自己的异常十分简单。用以下两行代码就能搞定：

​​class MyError(Exception):​​​​pass​​

{:—}上述代码创建了一个类，该类将继承基类​​Exception​​中的所有内容。不过如果不想弄清楚细节，则大可不必理会。

以上异常可以像其他任何异常一样引发、捕获和处理。如果给出一个参数，并且未经捕获和处理，参数值就会在跟踪信息的最后被打印出来：

​​>>> raise MyError("Some information about what went wrong")​​​​Traceback (most recent call last):​​​​File "", line 1, in ​​​​__main__.MyError: Some information about what went wrong​​

当然，上述参数在自己编写的异常处理代码中也是可以访问到的：

​​try:​​​​raise MyError("Some information about what went wrong") ​​​​except MyError as error:​​​​print("Situation:", error)​​

运行结果将如下所示：

​​Situation: Some information about what went wrong​​

如果引发异常时带有多个参数，这些参数将会以元组的形式传入异常处理代码中，元组通过​​error​​​变量的​​args​​属性即可访问到：

​​try:​​​​raise MyError("Some information", "my_filename", 3)​​​​except MyError as error:​​​​print("Situation: {0} with file {1}\n error code: {2}".format(​​​​error.args[0],​​​​error.args[1], error.args[2]))​​

运行结果将如下所示：

​​Situation: Some information with file my_filename​​​​error code: 3​​

异常类型是常规的Python类，并且继承自​​Exception​​​类，所以建立自己的异常类型层次架构，供自己的代码使用，就是一件比较简单的事情。第一次阅读本书时，不必关心这一过程。读完第15章之后，可以随时回来看看。如何创建自己的异常，完全由需求决定。如果正在编写的是个小型程序，可能只会生成一些唯一的错误或异常，那么如上所述采用​​Exception​​​类的子类即可。如果正在编写大型的、多文件的、完成特定功能的代码库（如天气预报库），那就可以考虑单独定义一个名为​​WeatherLibraryException​​​的类，然后将库中所有的不同异常都定义为​​WeatherLibraryException​​的子类。

速测题：“异常”类　假设​​MyError​​​继承自​​Exception​​​类，请问​​except Exception as e​​​和​​except MyError as e​​有什么区别？

14.2.5　用assert语句调试程序

​​assert​​​语句是​​raise​​语句的特殊形式：

​​assert expression, argument​​

如果​​expression​​​的结算结果为​​False​​​，同时系统变量​​__debug__​​​也为​​True​​​，则会引发携带可选参数​​argument​​​的​​AssertionError​​​异常。​​__debug__​​​变量默认为​​True​​​。带​​-O​​​或​​-OO​​​参数启动Python解释器，或将系统变量​​PYTHONOPTIMIZE​​​设为​​True​​​，则可以将​​__debug__​​​置为​​False​​​。可选参数​​argument​​​可用于放置对该​​assert​​的解释信息。

如果​​__debug__​​​为​​False​​​，则代码生成器不会为​​assert​​​语句创建代码。在开发阶段，可以用​​assert​​​语句配合调试语句对代码进行检测。​​assert​​语句可以留存在代码中以备将来使用，在正常使用时不存在运行开销：

​​>>> x = (1, 2, 3)​​​​>>> assert len(x) > 5, "len(x) not > 5"​​​​Traceback (most recent call last):​​​​File "", line 1, in ​​​​AssertionError: len(x) not > 5​​

动手题：assert语句　请编写一个简单的程序，让用户输入一个数字，利用​​assert​​​语句在数字为0时引发异常。首先请测试以确保​​assert​​​语句的执行，然后通过本小节提到的方法禁用​​assert​​。

14.2.6　异常的继承架构

之前已经介绍过，Python的异常是分层的架构。本节将对这种架构作深入介绍，包括这种架构对于​​except​​子句如何捕获异常的意义。

请看以下代码：

​​try:​​​​body​​​​except LookupError as error:​​​​exception code​​​​except IndexError as error:​​​​exception code​​

这里将会捕获​​IndexError​​​和​​LookupError​​​这两种异常。正巧​​IndexError​​​是​​LookupError​​​的子类。如果​​body​​​抛出​​IndexError​​​，那么错误会首先被“​​except LookupError as error:​​​”这行检测到。由于​​IndexError​​​继承自​​LookupError​​​，因此第一条​​except​​​子句会成功执行，第二条​​except​​​子句永远不会用到，因为它的运行条件被第一条​​except​​子句包含在内了。

相反，将两条​​except​​​子句的顺序互换一下，可能就有意义了。这样第一条子句将处理​​IndexError​​​，第二条子句将处理除​​IndexError​​​之外的​​LookupError​​。

14.2.7　示例：用Python编写的磁盘写入程序

本节将重新回到字处理程序的例子，在把文档写入磁盘时，该程序需要检查磁盘空间不足的情况：

​​def save_to_file(filename) :​​​​try:​​​​save_text_to_file(filename)​​​​save_formats_to_file(filename)​​​​save_prefs_to_file(filename)​​​​.​​​​.​​​​.​​​​except IOError:​​​​...处理错误...​​​​def save_text_to_file(filename):​​​​...调用底层函数来写入文本大小...​​​​...调用底层函数来写入实际的文本数据...​​​​.​​​​.​​​​.​​

注意，错误处理代码很不显眼，在​​save_to_file​​函数中与一系列磁盘写入调用放在一起了。那些磁盘写入子函数都不需要包含任何错误处理代码。程序一开始会比较容易开发，以后要添加错误处理代码也很简单。程序员经常这么干，尽管这种实现顺序不算最理想。

还有一点也值得注意，上述代码并不是只会对磁盘满的错误做出响应，而是会响应所有​​IOError​​​异常。Python的内置函数无论何时无法完成I/O请求，不管什么原因都会自动引发​​IOError​​​异常。可能这么做能满足需求，但如果要单独识别磁盘已满的情况，就得再做一些操作。可以在​​except​​​语句体中检查磁盘还有多少可用空间。如果磁盘空间不足，显然是发生了磁盘满的问题，应该在​​except​​​语句体内进行处理。如果不是磁盘空间问题，那么​​except​​​语句体中的代码可以向调用链的上层抛出该​​IOError​​​，以便交由其他的​​except​​​语句体去处理。如果这种方案还不足以解决问题，那么还可以进行一些更为极端的处理，例如，找到Python磁盘写入函数的C源代码，并根据需要引发自定义的​​DiskFull​​异常。最后的这种方案并不推荐，但在必要时应该知道有这种可能性的存在，这是很有意义的。

14.2.8　示例：正常计算过程中的异常

异常最常见的用途就是处理错误，但在某些应被视作正常计算过程的场合，也会非常有用。设想一下电子表格程序之类的实现时可能会遇到的问题。像大多数电子表格一样，程序必须能实现涉及多个单元格的算术运算，并且还得允许单元格中包含非数字值。在这种应用程序中，进行数值计算时碰到的空白单元格，其内容可能被视作​​0​​​值。包含任何其他非数字字符串的单元格可能被视作无效，并表示为Python的​​None​​值。任何涉及无效值的计算，都应返回无效值。

下面首先编写一个函数，用于对电子表格单元格中的字符串进行求值，并返回合适的值：

​​def cell_value(string):​​​​try:​​​​return float(string)​​​​except ValueError:​​​​if string == "":​​​​return 0​​​​else:​​​​return None​​

Python的异常处理能力使这个函数写起来十分简单。在​​try​​​块中，将单元格中的字符串用内置​​float​​​函数转换为数字，并返回结果。如果参数字符串无法转换为数字，​​float​​​函数会引发​​ValueError​​​异常。然后异常处理代码将捕获该异常并返回​​0​​​或​​None​​，具体取决于参数字符串是否为空串。

有时候在求值时可能必须要对​​None​​​值做出处理，下一步就来解决这个问题。在不带异常机制的编程语言中，常规方案就是定义一组自定义的算术求值函数，自行检查参数是否为​​None​​​，然后用这些自定义函数取代内置函数，执行所有电子表格计算。但是，这个过程会非常耗时且容易出错。而且实际上这是在电子表格程序中自建了一个解释器，所以会导致运行速度的降低。本项目采用的是另一种方案。所有电子表格公式实际上都可以是Python函数，函数的参数是被求值单元格的x、y坐标和电子表格本身，用标准的Python算术操作符计算结果，用​​cell_value​​​从电子表格中提取必要的值。可以定义一个名为​​safe_apply​​​的函数，在​​try​​​块中用相应参数完成公式的调用，根据公式是否计算成功，返回其计算结果或者返回​​None​​：

​​def safe_apply(function, x, y, spreadsheet):​​​​try:​​​​return function(x, y, spreadsheet)​​​​except TypeError:​​​​return None​​

上述两步改动，足以在电子表格的语义中加入空值（​​None​​）的概念。如果不用异常机制来开发上述功能，那将会是一次很有教益的练习（言下之意是，能体会到相当大的工作量）。

14.2.9　异常的适用场合

使用异常来处理几乎所有的错误，是很自然的解决方案。往往是在程序的其余部分基本完成时，错误处理部分才会被加入进来。很遗憾事实就是如此，不过异常机制特别擅长用易于理解的方式编写这种事后错误处理的代码，更好听的说法是事后多加点错误处理代码。

如果程序中有计算分支已明显难以为继，然后可能有大量的处理流程要被舍弃，这时异常机制也会非常有用。电子表格示例就是这种情况，其他应用场景还有分支限界（branch-and-bound）算法和语法解析（parsing）算法。

速测题：异常　Python异常会让程序强行中止吗？假定要访问字典对象​​x​​​，如果键不存在，也就是引发​​KeyError​​​，则返回​​None​​。该如何编写代码达到此目标呢？

动手题：异常　编写代码创建自定义的​​ValueTooLarge​​​，并在变量​​x​​大于1000时引发。

本文截选自《Python 快速入门（第3版）》

这是一本Python快速入门书，基于Python 3.6编写。本书分为4部分，第一部分讲解Python的基础知识，对Python进行概要的介绍；第二部分介绍Python编程的重点，涉及列表、元组、集合、字符串、字典、流程控制、函数、模块和作用域、文件系统、异常等内容；第三部分阐释Python的高级特性，涉及类和面向对象、正则表达式、数据类型即对象、包、Python库等内容；第四部分关注数据处理，涉及数据文件的处理、网络数据、数据的保存和数据探索，最后给出了相关的案例。

本书框架结构清晰，内容编排合理，讲解循序渐进，并结合大量示例和习题，让读者可以快速学习和掌握Python，既适合Python初学者学习，也适合作为专业程序员的简明Python参考书。

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。