异常
类似地,如果你的程序中出现了一些无效的语句该怎么办?Python 将会对此进行处理,举起(Raises)[^1]它的小手来告诉你哪里出现了一个错误(Error)。
你可以想象一个简单的 print
函数调用。如果我们把 print
误拼成 Print
会怎样?你会注意到它的首字母是大写。在这一例子中,Python 会抛出(Raise)一个语法错误。
你会注意到一个 NameError
错误被抛出,同时 Python 还会打印出检测到的错误发生的位置。这就是一个错误错误处理器(Error Handler)[^2] 为这个错误所做的事情。
异常
我们将尝试(Try)去读取用户的输入内容。按下 [ctrl-d]
来看看会发生什么事情。
>>> s = input('Enter something --> ')
Enter something --> Traceback (most recent call last):
EOFError
此处 Python 指出了一个称作 EOFError
的错误,代表着它发现了一个文件结尾(End of File)符号(由 ctrl-d
实现)在不该出现的时候出现了。
我们可以通过使用 try..except
来处理异常状况。一般来说我们会把通常的语句放在 try 代码块中,将我们的错误处理器代码放置在 except 代码块中。
案例(保存文 exceptions_handle.py
):
{% include "./programs/exceptions_handle.py" %}
输出:
它是如何工作的
我们将所有可能引发异常或错误的语句放在 try
代码块中,并将相应的错误或异常的处理器(Handler)放在 except
子句或代码块中。except
子句可以处理某种特定的错误或异常,或者是一个在括号中列出的错误或异常。如果没有提供错误或异常的名称,它将处理所有错误与异常。
要注意到必须至少有一句 except
字句与每一句 try
字句相关联。不然,有一个 try 代码块又有什么意义?
如果没有任何错误或异常被处理,那么将调用 Python 默认处理器,它只会终端程序执行并打印出错误信息。我们已经在前面的章节里见过了这种处理方式。
你还可以拥有一个 子句与 try..except
代码块相关联。else
子句将在没有发生异常的时候执行。
抛出异常[^3]
你可以通过 raise
语句来引发一次异常,具体方法是提供错误名或异常名以及要抛出(Thrown)异常的对象。
你能够引发的错误或异常必须是直接或间接从属于 Exception
(异常) 类的派生类。
案例(保存为 exceptions_raise.py
):
{% include "./programs/exceptions_raise.py" %}
输出:
{% include "./programs/exceptions_raise.txt" %}
它是如何工作的
在本例中,我们创建了我们自己的异常类型。这一新的异常类型叫作 ShortInputException
。它包含两个字段——获取给定输入文本长度的 length
,程序期望的最小长度 atleast
。
在 except
子句中,我们提及了错误类,将该类存储 as(为)
相应的错误名或异常名。这类似于函数调用中的形参与实参。在这个特殊的 except
子句中我们使用异常对象的 length
与 atleast
字段来向用户打印一条合适的信息。
假设你正在你的读取中读取一份文件。你应该如何确保文件对象被正确关闭,无论是否会发生异常?这可以通过 finally
块来完成。
保存该程序为 exceptions_finally.py
:
输出:
它是如何工作的
我们按照通常文件读取进行操作,但是我们同时通过使用 time.sleep
函数任意在每打印一行后插入两秒休眠,使得程序运行变得缓慢(在通常情况下 Python 运行得非常快速)。当程序在处在运行过过程中时,按下 来中断或取消程序。
你会注意到 KeyboardInterrupt
异常被抛出,尔后程序退出。不过,在程序退出之前,finally 子句得到执行,文件对象总会被关闭。
with
语句 {#with}
在 try
块中获取资源,然后在 finally
块中释放资源是一种常见的模式。因此,还有一个 with
语句使得这一过程可以以一种干净的姿态得以完成。
保存为 exceptions_using_with.py
:
{% include "./programs/exceptions_using_with.py" %}
它是如何工作的
程序输出的内容应与上一个案例所呈现的相同。本例的不同之处在于我们使用的是 open
函数与 with
语句——我们将关闭文件的操作交由 with open
来自动完成。
在幕后发生的事情是有一项 with
语句所使用的协议(Protocol)。它会获取由 open
语句返回的对象,在本案例中就是“thefile”。
它总会在代码块开始之前调用 thefile.__enter__
函数,并且总会在代码块执行完毕之后调用 thefile.__exit__
。
因此,我们在 finally
代码块中编写的代码应该格外留心 __exit__
方法的自动操作。这能够帮助我们避免重复显式使用 try..finally
语句。
有关该话题的更多讨论已经超出了本书所能涉及的范围,因此请参考 来了解更加全面的解释。
我们已经讨论了 和 try..finally
语句的用法。同时我们也已经看到了如何创建我们自己的异常类型,还有如何抛出异常。
接下来,我们将探索 Python 的标准库。
[^1]: 在本章中 Raise 一词会经常出现,沈洁元译本大都将其译作“引发”,此处将按照具体的语境对该词的译法作出调整。
[^2]: 此处采用沈洁元译本的翻译。但是在其它教程或有关 Python 的讨论文章中,Handler 大都保留原文而不作翻译,这点需读者知悉。
[^3]: 原文作 Raising Exceptions,沈洁元译本译作“引发异常”,此处采用更流行的译法。