为了补充上面的其他答案，无论发生什么，finally子句都会执行，而else子句只在没有引发异常时执行。

例如，写入一个没有异常的文件将输出以下内容:

file = open('test.txt', 'w')

try:
    file.write("Testing.")
    print("Writing to file.")
except IOError:
    print("Could not write to file.")
else:
    print("Write successful.")
finally:
    file.close()
    print("File closed.")

输出:

Writing to file.
Write successful.
File closed.

如果存在异常，代码将输出以下内容(注意，故意使文件保持只读会导致错误。

file = open('test.txt', 'r')

try:
    file.write("Testing.")
    print("Writing to file.")
except IOError:
    print("Could not write to file.")
else:
    print("Write successful.")
finally:
    file.close()
    print("File closed.")

输出:

Could not write to file.
File closed.

我们可以看到，无论异常如何，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语句。

完美的例子如下:

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)

试着先运行这段代码，不要使用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来做真正重要的事情。

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

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

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