详解Python异常处理中的Finally else的功能

Python使用Try Exception来处理异常机制 若Exception中有Try对应的异常处理，则Try - exception之后的代码将被执行，但若Try - exception中没有对应的代码，则程序抛出Traceback停止运行 那么else finally就是针对这两种情况带来的后果分别相应的关键字

else

如果一个Try - exception中，没有发生异常，即exception没有执行，那么将会执行else语句的内容

反之，如果触发了Try - exception（异常在exception中被定义），那么将会执行exception中的内容，而不执行else中的内容

下面代码在python 3中运行通过

try:
  a = 1 / 0
except ZeroDivisionError:
  print("Division is 0 ,Wrong!")
else:
  print("Program is running here!")

由于此时触发了Try - exception，所以执行exception

不执行else

输出结果：Division is 0 ,Wrong!

try:
  a = 1 / 1
except ZeroDivisionError:
  print("Division is 0 ,Wrong!")
else:
  print("Program is running here!")

同理，这段代码由于try中无异常，所以执行else语句

输出结果：Program is running here!

所以如果try中的异常在exception中被指出，那么：

Try - exception-else中，执行了exception不执行else，执行else不执行exception。

或者这么理解：

作者希望Try - exception是指出错误的，如果Try - exception并没有指出错误，则是另外（else）的情况，所以执行else语句

finally

如果try中的异常没有在exception中被指出，那么系统将会抛出Traceback(默认错误代码）,并且终止程序，接下来的所有代码都不会被执行，但如果有Finally关键字，则会在程序抛出Traceback之前（程序最后一口气的时候），执行finally中的语句。这个方法在某些必须要结束的操作中颇为有用，如释放文件句柄，或释放内存空间等。

try:
  a = 1 / '1'
except ZeroDivisionError:
  print("Division is 0 ,Wrong!")
else:
  print("Program is running here!")

这个程序会输出Traceback
Traceback (most recent call last):
File “*********************, line 2, in
a = 1 / ‘1'
TypeError: unsupported operand type(s) for /: ‘int' and ‘str'

因为try中的异常没有在exception中被指出,如果改为下面程序

try:
  a = 1 / '1'
except ZeroDivisionError:
  print("Division is 0 ,Wrong!")
finally:
  print("Program is running here!")

输出结果：

Traceback (most recent call last):
File “********************”, line 2, in
a = 1 / ‘1'
TypeError: unsupported operand type(s) for /: ‘int' and ‘str'
Program is running here!

可见，即使Traceback没有消除，但依旧输出了print语句，这就是相当于一个程序的收尾工作（finally）

而且如果程序没有任何错误，finally也会执行

所以可以这么理解：

不管程序有没有异常，finally中的语句必会执行。