Python try-except-else-finally 正确顺序解析

合法结构是try→零个或多个except→最多一个else→最多一个finally；else仅在try无异常时执行，finally无论异常与否均执行。

try-except-else-finally 的合法语法结构是什么

Python 不允许随意打乱这四个块的顺序。只有唯一合法结构：try → 零个或多个 except → 最多一个 else → 最多一个 finally。任何其他排列（比如 except 后直接跟 finally 再跟 else）都会触发 SyntaxError: invalid syntax。

• else 必须紧跟在所有 except 块之后，不能插在中间，也不能放在 finally 后面
• finally 必须是整个语句的结尾，且只能出现一次
• 没有 except 时，else 和 finally 依然可以存在，但 else 要求至少有一个 except 或 except *（Python 3.11+）才被允许（否则报错）
• 空的 except（即 except:）虽语法合法，但会吞掉 KeyboardInterrupt 和 SystemExit，慎用

else 和 finally 的执行时机差异在哪

else 只在 try 块未抛出异常时运行；finally 则无论是否异常、是否被捕获、是否 return/raise，都一定执行。

• 如果 try 中有 return 1，else 不会执行，但 finally 仍会执行（且其内的 return 会覆盖前面的返回值）
• else 里抛出的异常，不会被前面的 except 捕获（它已脱离 try 作用域），但会被外层异常处理捕获
• finally 中若发生未捕获异常，它会直接取代原异常（原异常丢失），这是常见静默掩盖点

def f():
    try:
        return "from try"
    except:
        pass
    else:
        return "from else"  # 这行永远不会执行，因为 try 里已有 return
    finally:
        print("always runs")
        return "from finally"  # 实际返回这个

嵌套 try 时，else 和 finally 容易混淆的作用域

嵌套时，每个 try 都有自己独立的 else 和 finally，它们只响应对应层级的异常和执行流。

• 外层 try 的 else 不关心内层是否异常，只看外层 try 块本身有没有异常
• 内层 except 捕获后，若没重新 raise，外层就“看不到”该异常，外层 else 仍会执行
• finally 是逐层触发的：内层先执行完自己的 finally，再轮到外层

try:
    try:
        1/0
    except ZeroDivisionError:
        print("inner caught")
    else:
        print("inner else")  # 不执行
    finally:
        print("inner finally")  # 执行
else:
    print("outer else")  # 会执行！因为外层 try 块本身没异常
finally:
    print("outer finally")

什么时候该用 else，而不是把代码塞进 try 或 finally

else 的核心价值是明确区分“无异常时才做”的逻辑，避免误判或副作用。

• 把本该放 else 的清理/后续操作写进 try，可能导致异常时不该执行的代码被执行（比如文件已打开失败，却还去读内容）
• 把本该放 else 的逻辑写进 finally，会导致它总被执行（比如连接数据库成功后发通知，失败时也发“通知”，显然不合理）
• else 适合放依赖 try 成功结果的后续动作：如打开文件后读取、API 调用成功后解析 JSON、锁获取成功后修改共享变量
• 注意：如果 try 中有 continue/break/return，else 就跳过——这点常被忽略，导致逻辑意外跳过

真正的难点不在语法，而在于判断「某段代码到底属于‘成功路径’还是‘收尾保障’」。写之前多问一句：它该在失败时也跑吗？