22、错误和异常
上集回顾:
- 类的定义
- 实例对象
- 继承
上集学习了类的相关知识,掌握了如何去定义一个类、如何实例化类的对象以及使用和类的继承。
本集了解一下常见的错误信息。前面学习的过程当中,录入代码或者执行代码的时候已经遇到过一些错误信息。目前,(至少)有两种不同错误:句法错误 和 异常。
一、句法错误
句法错误又称解析错误,是学习 Python 时最常见的错误:
>>> while True print('Hello world')
File "<stdin>", line 1
while True print('Hello world')
^
SyntaxError: invalid syntax
解析器会复现出现句法错误的代码行,并用小“箭头”指向行里检测到的第一个错误。错误是由箭头 上方 的 token 触发的(至少是在这里检测出的):本例中,在 print()
函数中检测到错误,因为,在它前面缺少冒号(':'
) 。错误信息还输出文件名与行号,在使用脚本文件时,就可以知道去哪里查错。
再比如:
>>> def test() :
...
File "<stdin>", line 2
^
IndentationError: expected an indented block
没有缩进代码块。
二、异常
即使语句或表达式使用了正确的语法,执行时仍可能触发错误。执行时检测到的错误称为 异常,异常不一定导致严重的后果:很快我们就能学会如何处理 Python 的异常。大多数异常不会被程序处理,而是显示下列错误信息:
>>> 10 * (1/0)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ZeroDivisionError: division by zero
>>> 4 + spam*3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
NameError: name 'spam' is not defined
>>> '2' + 2
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: can only concatenate str (not "int") to str
错误信息的最后一行说明程序遇到了什么类型的错误。异常有不同的类型,而类型名称会作为错误信息的一部分中打印出来。
作为异常类型打印的字符串是发生的内置异常的名称。对于所有内置异常都是如此,但对于用户定义的异常则不一定如此(虽然这种规范很有用)。标准的异常类型是内置的标识符(不是保留关键字)。
此行其余部分根据异常类型,结合出错原因,说明错误细节。
错误信息开头用堆栈回溯形式展示发生异常的语境。一般会列出源代码行的堆栈回溯;但不会显示从标准输入读取的行。
三、异常处理
可以编写程序处理选定的异常。下例会要求用户一直输入内容,直到输入有效的整数,但允许用户中断程序(使用 Control-C 或操作系统支持的其他操作);注意,用户中断程序会触发 KeyboardInterrupt
异常。
>>> while True:
... try:
... x = int(input("Please enter a number: "))
... break
... except ValueError:
... print("Oops! That was no valid number. Try again...")
...
try
语句的工作原理如下:
- 首先,执行 try 子句 (
try
和except
关键字之间的代码块)。 - 如果没有触发异常,则跳过 except 子句,
try
语句执行完毕。 - 如果在执行
try
子句时发生了异常,则跳过该子句中剩下的部分。 如果异常的类型与except
关键字后指定的异常相匹配,则会执行 except 子句,然后跳到 try/except 代码块之后继续执行。 - 如果发生的异常与 except 子句 中指定的异常不匹配,则它会被传递到外部的
try
语句中;如果没有找到处理程序,则它是一个 未处理异常 且执行将终止并输出如上所示的消息。
如果异常有参数,则它们将作为未处理异常的消息的最后一部分('详细信息')打印。
异常处理程序不仅会处理在 try 子句 中发生的异常,还会处理在 try 子句 中调用(包括间接调用)的函数。 例如:
>>> def this_fails():
... x = 1/0
...
>>> try:
... this_fails()
... except ZeroDivisionError as err:
... print('Handling run-time error:', err)
...
Handling run-time error: division by zero
四、触发异常
raise
语句支持强制触发指定的异常。例如:
>>> raise NameError('HiThere')
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
NameError: HiThere
raise
唯一的参数就是要触发的异常。这个参数必须是异常实例或异常类(派生自 Exception
类)。如果传递的是异常类,将通过调用没有参数的构造函数来隐式实例化:
raise ValueError # 'raise ValueError()' 的简写形式
如果只想判断是否触发了异常,但并不打算处理该异常,则可以使用更简单的 raise
语句重新触发异常:
>>> try:
... raise NameError('HiThere')
... except NameError:
... print('遇到了异常!')
... raise
...
遇到了异常!
Traceback (most recent call last):
File "<stdin>", line 2, in <module>
NameError: HiThere
五、finally子句
try
语句还有一个可选子句,用于定义在所有情况下都必须要执行的清理操作。例如:
>>> try:
... raise KeyboardInterrupt
... finally:
... print('Goodbye, world!')
...
Goodbye, world!
KeyboardInterrupt
Traceback (most recent call last):
File "<stdin>", line 2, in <module>
如果存在 finally
子句,则 finally
子句是 try
语句结束前执行的最后一项任务。不论 try
语句是否触发异常,都会执行 finally
子句。以下内容介绍了几种比较复杂的触发异常情景:
- 如果执行
try
子句期间触发了某个异常,则某个except
子句应处理该异常。如果该异常没有except
子句处理,在finally
子句执行后会被重新触发。 -
except
或else
子句执行期间也会触发异常。 同样,该异常会在finally
子句执行之后被重新触发。 - 如果
finally
子句中包含break
、continue
或return
等语句,异常将不会被重新引发。 - 如果执行
try
语句时遇到break
、continue
或return
语句,则finally
子句在执行break
、continue
或return
语句之前执行。 - 如果
finally
子句中包含return
语句,则返回值来自finally
子句的某个return
语句的返回值,而不是来自try
子句的return
语句的返回值。
例如:
>>> def bool_return():
... try:
... return True
... finally:
... return False
...
>>> bool_return()
False
本集总结:
- 句法错误
- 异常
- 异常处理
- 触发异常
- finally子句
下集见