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

...

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块将是多余的。

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

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语句。

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

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

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

我赞同拜尔斯的例子。

为了让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) 

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

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