最后是“清理行动”的定义。finally子句在离开try语句之前的任何事件中执行，无论是否发生异常(即使您没有处理它)。

我赞同拜尔斯的例子。

代码块是不等效的。如果run_code1()抛出TypeError以外的异常，或者run_code2()抛出异常，finally子句也将运行，而第一个版本中的other_code()在这些情况下不会运行。

下面是一段代码来澄清两者的区别:

...

try: 
  a/b
  print('In try block')
  
except TypeError:
  print('In except block')
  
finally: 
  print('In finally block')

print('Outside')

A b = 0,1

输出:

In try block 
In finally block 
Outside

(没有错误，除了跳过块。)

A b = 1,0

输出:

In finally block

Traceback (most recent call last):
a/b
ZeroDivisionError: division by zero

(没有为ZeroDivisionError指定异常处理，只执行finally块。)

A, b = 0， '1'

输出:

In except block 
In finally block 
Outside

(异常被正确处理，程序没有中断。)

注意:如果你有一个except块来处理所有类型的错误，finally块将是多余的。

它们不相等。最后，不管发生什么，代码都会运行*。 它对于清理必须运行的代码非常有用。

*： 正如Mark Byers所评论的，任何导致进程立即终止的事情也会阻止最终代码的运行。 后者可以是os._exit()。或断电，但无限循环或其他东西也属于这一类。

您可以使用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的博客文章，读者可能会觉得很有趣。

专业地使用delphi几年教会了我如何使用最后来保护我的清理程序。Delphi在很大程度上强制使用finally来清理try块之前创建的任何资源，以免导致内存泄漏。这也是Java、Python和Ruby的工作原理。

resource = create_resource
try:
  use resource
finally:
  resource.cleanup

不管你在try和finally之间做了什么，资源都会被清理。此外，如果执行从未到达try块，它将不会被清理。(例如create_resource本身抛出异常)它使你的代码“异常安全”。

至于为什么你需要一个finally块，并不是所有的语言都需要。在c++中，你可以自动调用析构函数，当异常展开堆栈时，析构函数会强制执行清理。我认为与尝试相比，这是朝着更干净的代码方向迈进了一步。最后的语言。

{    
  type object1;
  smart_pointer<type> object1(new type());
} // destructors are automagically called here in LIFO order so no finally required.