正如文档中所解释的，finally子句旨在定义在所有情况下都必须执行的清理操作。

如果finally存在，则指定一个' cleanup '处理程序。的尝试 子句，包括except和else子句。如果一个 异常发生在任何子句中而不被处理，则 异常被暂时保存。finally子句被执行。如果 有一个保存的异常，它在finally结束时被重新引发 条款。

一个例子:

>>> def divide(x, y):
...     try:
...         result = x / y
...     except ZeroDivisionError:
...         print("division by zero!")
...     else:
...         print("result is", result)
...     finally:
...         print("executing finally clause")
...
>>> divide(2, 1)
result is 2.0
executing finally clause
>>> divide(2, 0)
division by zero!
executing finally clause
>>> divide("2", "1")
executing finally clause
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 3, in divide
TypeError: unsupported operand type(s) for /: 'str' and 'str'

如您所见，finally子句在任何事件中都被执行。由分隔两个字符串引发的TypeError不由except子句处理，因此在finally子句执行后重新引发。

在实际应用程序中，finally子句用于释放外部资源(例如文件或网络连接)，而不管资源的使用是否成功。

试着先运行这段代码，不要使用finally块，

1 / 0导致除零误差。

    try:
        1 / 0    
        print(1)
        
    except Exception as e:
        1 / 0
        print(e)
        

然后尝试运行这段代码，

    try:
        1 / 0    
        print(1)
        
    except Exception as e:
        1 / 0
        print(e)
   
    finally:
        print('finally')

对于第一种情况，你没有finally块， 因此，当在except块中发生错误时，程序执行将停止，并且在except块之后不能执行任何东西。

但对于第二种情况， 错误发生，但在程序停止之前，python先执行finally块，然后导致程序停止。 这就是为什么你要用finally来做真正重要的事情。

try块只有一个强制子句:try语句。 except、else和finally子句是可选的，基于用户的首选项。

最后: 在Python离开try语句之前，它将在任何条件下运行finally块中的代码，即使它正在结束程序。例如，如果Python在except或else块中运行代码时遇到错误，finally块仍将在停止程序之前执行。

您可以使用finally来确保无论是否发生异常都关闭或释放文件或资源，即使您没有捕获异常。(或者如果你没有捕捉到特定的异常。)

myfile = open("test.txt", "w")

try:
    myfile.write("the Answer is: ")
    myfile.write(42)   # raises TypeError, which will be propagated to caller
finally:
    myfile.close()     # will be executed before TypeError is propagated

在本例中，您最好使用with语句，但这种结构也可以用于其他类型的资源。

几年后，我写了一篇关于滥用finally的博客文章，读者可能会觉得很有趣。

如果你早点回来，情况就不一样了:

try:
    run_code1()
except TypeError:
    run_code2()
    return None   # The finally block is run before the method returns
finally:
    other_code()

与此相比:

try:
    run_code1()
except TypeError:
    run_code2()
    return None   

other_code()  # This doesn't get run if there's an exception.

其他可能导致差异的情况:

如果在except块内抛出异常。 如果在run_code1()中抛出异常，但它不是TypeError。 其他控制流语句，如continue和break语句。

在第一个例子中，如果run_code1()引发了一个不是TypeError的异常，会发生什么?．.． Other_code()将不会被执行。

与finally: version: other_code()相比，无论引发任何异常，都保证执行。