专业地使用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.

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

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

试着先运行这段代码，不要使用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: 
  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块将是多余的。

专业地使用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.

为了让Abhijit Sahu对这个答案的评论更好看，并突出显示语法:

像这样，你可以观察到在以下情况下哪个代码块发生了什么:

try: 
    x = Hello + 20 
    x = 10 + 20 
except: 
    print 'I am in except block' 
    x = 20 + 30 
else: 
    print 'I am in else block' 
    x += 1 
finally: 
    print 'Finally x = %s' %(x)