Python3 错误和异常

作为 Python 初学者，在刚学习 Python 编程时，经常会看到一些报错信息，在前面我们没有提及，这章节我们会专门介绍。

Python 有两种错误很容易辨认：语法错误和异常。

语法错误

Python 的语法错误或者称之为解析错，是初学者经常碰到的，如下实例

  1. >>> while True print('Hello world')
  2.   File "<stdin>", line 1, in ?
  3.     while True print('Hello world')
  4.                    ^
  5. SyntaxError: invalid syntax

这个例子中，函数 print() 被检查到有错误，是它前面缺少了一个冒号（:）。

语法分析器指出了出错的一行，并且在最先找到的错误的位置标记了一个小小的箭头。

异常

即便 Python 程序的语法是正确的，在运行它的时候，也有可能发生错误。运行期检测到的错误被称为异常。

大多数的异常都不会被程序处理，都以错误信息的形式展现在这里:

  1. >>> 10 * (1/0)
  2. Traceback (most recent call last):
  3.   File "<stdin>", line 1, in ?
  4. ZeroDivisionError: division by zero
  5. >>> 4 + spam*3
  6. Traceback (most recent call last):
  7.   File "<stdin>", line 1, in ?
  8. NameError: name 'spam' is not defined
  9. >>> '2' + 2
  10. Traceback (most recent call last):
  11.   File "<stdin>", line 1, in ?
  12. TypeError: Can't convert 'int' object to str implicitly

异常以不同的类型出现，这些类型都作为信息的一部分打印出来: 例子中的类型有 ZeroDivisionError，NameError 和 TypeError。

错误信息的前面部分显示了异常发生的上下文，并以调用栈的形式显示具体信息。

异常处理

以下例子中，让用户输入一个合法的整数，但是允许用户中断这个程序（使用 Control-C 或者操作系统提供的方法）。用户中断的信息会引发一个 KeyboardInterrupt 异常。 

  1. >>> while True:
  2.         try:
  3.             x = int(input("Please enter a number: "))
  4.             break
  5.         except ValueError:
  6.             print("Oops!  That was no valid number.  Try again   ")

try 语句按照如下方式工作；

  • 首先，执行 try 子句（在关键字 try 和关键字 except 之间的语句）
  • 如果没有异常发生，忽略 except 子句，try 子句执行后结束。
  • 如果在执行 try 子句的过程中发生了异常，那么 try 子句余下的部分将被忽略。如果异常的类型和 except 之后的名称相符，那么对应的 except 子句将被执行。最后执行 try 语句之后的代码。
  • 如果一个异常没有与任何的 except 匹配，那么这个异常将会传递给上层的 try 中。

一个 try 语句可能包含多个 except 子句，分别来处理不同的特定的异常。最多只有一个分支会被执行。

处理程序将只针对对应的 try 子句中的异常进行处理，而不是其他的 try 的处理程序中的异常。

一个 except 子句可以同时处理多个异常，这些异常将被放在一个括号里成为一个元组，例如: 

  1. >>> except (RuntimeError, TypeError, NameError):
  2.         pass

最后一个 except 子句可以忽略异常的名称，它将被当作通配符使用。你可以使用这种方法打印一个错误信息，然后再次把异常抛出。

  1. import sys
  3. try:
  4.     f = open('myfile.txt')
  5.     s = f.readline()
  6.     i = int(s.strip())
  7. except OSError as err:
  8.     print("OS error: {0}".format(err))
  9. except ValueError:
  10.     print("Could not convert data to an integer.")
  11. except:
  12.     print("Unexpected error:", sys.exc_info()[0])
  13.     raise

try except 语句还有一个可选的 else 子句，如果使用这个子句，那么必须放在所有的 except 子句之后。这个子句将在 try 子句没有发生任何异常的时候执行。例如: 

  1. for arg in sys.argv[1:]:
  2.     try:
  3.         f = open(arg, 'r')
  4.     except IOError:
  5.         print('cannot open', arg)
  6.     else:
  7.         print(arg, 'has', len(f.readlines()), 'lines')
  8.         f.close()

使用 else 子句比把所有的语句都放在 try 子句里面要好，这样可以避免一些意想不到的、而except又没有捕获的异常。

异常处理并不仅仅处理那些直接发生在try子句中的异常，而且还能处理子句中调用的函数（甚至间接调用的函数）里抛出的异常。例如:

  1. >>> def this_fails():
  2.         x = 1/0
  4. >>> try:
  5.         this_fails()
  6.     except ZeroDivisionError as err:
  7.         print('Handling run-time error:', err)
  9. Handling run-time error: int division or modulo by zero

抛出异常

Python 使用 raise 语句抛出一个指定的异常。例如:

  1. >>> raise NameError('HiThere')
  2. Traceback (most recent call last):
  3.   File "<stdin>", line 1, in ?
  4. NameError: HiThere

raise 唯一的一个参数指定了要被抛出的异常。它必须是一个异常的实例或者是异常的类（也就是 Exception 的子类）。

如果你只想知道这是否抛出了一个异常，并不想去处理它，那么一个简单的 raise 语句就可以再次把它抛出。

  1. >>> try:
  2.         raise NameError('HiThere')
  3.     except NameError:
  4.         print('An exception flew by!')
  5.         raise
  7. An exception flew by!
  8. Traceback (most recent call last):
  9.   File "<stdin>", line 2, in ?
  10. NameError: HiThere

用户自定义异常

你可以通过创建一个新的 exception 类来拥有自己的异常。异常应该继承自 Exception 类，或者直接继承，或者间接继承，例如:

  1. >>> class MyError(Exception):
  2.         def __init__(self, value):
  3.             self.value = value
  4.         def __str__(self):
  5.             return repr(self.value)
  7. >>> try:
  8.         raise MyError(2*2)
  9.     except MyError as e:
  10.         print('My exception occurred, value:', e.value)
  12. My exception occurred, value: 4
  13. >>> raise MyError('oops!')
  14. Traceback (most recent call last):
  15.   File "<stdin>", line 1, in ?
  16. __main__.MyError: 'oops!'

在这个例子中，类 Exception 默认的 init() 被覆盖。

异常的类可以像其他的类一样做任何事情，但是通常都会比较简单，只提供一些错误相关的属性，并且允许处理异常的代码方便的获取这些信息。

当创建一个模块有可能抛出多种不同的异常时，一种通常的做法是为这个包建立一个基础异常类，然后基于这个基础类为不同的错误情况创建不同的子类:

  1. class Error(Exception):
  2.     """Base class for exceptions in this module."""
  3.     pass
  5. class InputError(Error):
  6.     """Exception raised for errors in the input.
  8.     Attributes:
  9.         expression -- input expression in which the error occurred
  10.         message -- explanation of the error
  11.     """
  13.     def __init__(self, expression, message):
  14.         self.expression = expression
  15.         self.message = message
  17. class TransitionError(Error):
  18.     """Raised when an operation attempts a state transition that's not
  19.     allowed.
  21.     Attributes:
  22.         previous -- state at beginning of transition
  23.         next -- attempted new state
  24.         message -- explanation of why the specific transition is not allowed
  25.     """
  27.     def __init__(self, previous, next, message):
  28.         self.previous = previous
  29.         self.next = next
  30.         self.message = message

大多数的异常的名字都以"Error"结尾，就跟标准的异常命名一样。

定义清理行为

try 语句还有另外一个可选的子句，它定义了无论在任何情况下都会执行的清理行为。 例如:

  1. >>> try:
  2.         raise KeyboardInterrupt
  3.     finally:
  4.         print('Goodbye, world!')
  6. Goodbye, world!
  7. KeyboardInterrupt

以上例子不管 try 子句里面有没有发生异常，finally 子句都会执行。

如果一个异常在 try 子句里（或者在 except 和 else 子句里）被抛出，而又没有任何的 except 把它截住，那么这个异常会在 finally 子句执行后再次被抛出。

下面是一个更加复杂的例子（在同一个 try 语句里包含 except 和 finally 子句）:

  1. >>> def divide(x, y):
  2.         try:
  3.             result = x / y
  4.         except ZeroDivisionError:
  5.             print("division by zero!")
  6.         else:
  7.             print("result is", result)
  8.         finally:
  9.             print("executing finally clause")
  11. >>> divide(2, 1)
  12. result is 2.0
  13. executing finally clause
  14. >>> divide(2, 0)
  15. division by zero!
  16. executing finally clause
  17. >>> divide("2", "1")
  18. executing finally clause
  19. Traceback (most recent call last):
  20.   File "<stdin>", line 1, in ?
  21.   File "<stdin>", line 3, in divide
  22. TypeError: unsupported operand type(s) for /: 'str' and 'str'

预定义的清理行为

一些对象定义了标准的清理行为，无论系统是否成功的使用了它，一旦不需要它了，那么这个标准的清理行为就会执行。

这面这个例子展示了尝试打开一个文件，然后把内容打印到屏幕上: 

  1. for line in open("myfile.txt"):
  2.     print(line, end="")

以上这段代码的问题是，当执行完毕后，文件会保持打开状态，并没有被关闭。

关键词 with 语句就可以保证诸如文件之类的对象在使用完之后一定会正确的执行他的清理方法:

  1. with open("myfile.txt") as f:
  2.     for line in f:
  3.         print(line, end="")

以上这段代码执行完毕后，就算在处理过程中出问题了，文件 f 总是会关闭。