Python 异常体系是如何分层设计的?

Python异常体系以BaseException为根,Exception是面向开发者的标准基类;自定义异常应继承Exception或其子类,捕获时需按MRO顺序从具体到宽泛排列。

Python 的异常体系采用层级化的类继承结构,顶层是 BaseException,所有异常都直接或间接继承自它;

日常编程中真正接触最多的是它的子类 Exception,绝大多数内置异常和用户自定义异常都应继承自它,而非直接继承 BaseException。

顶层:BaseException 是所有异常的根类

BaseException 是异常类的最上层基类,设计初衷是为系统级退出行为服务。它本身不用于常规错误处理,而是被几个特殊异常继承:

  • SystemExit:由 sys.exit() 触发,表示程序主动退出
  • KeyboardInterrupt:用户按下 Ctrl+C 时抛出
  • GeneratorExit:生成器被关闭时内部使用
  • Exception:唯一面向开发者使用的子类,也是整个常规异常体系的起点

直接继承 BaseException 会绕过 try-except Exception: 的捕获逻辑,容易导致意外跳过错误处理,因此不推荐。

主干:Exception 及其标准子类构成实用异常树

Exception 类是 Python 异常处理的事实标准基类。内置异常按语义分组,形成清晰的继承链,例如:

  • ArithmeticError(如 ZeroDivisionError、OverflowError)
  • LookupError(如 IndexError、KeyError)
  • IOError(在 Python 3 中已合并为 OSError)
  • ValueErrorTypeErrorRuntimeError 等具体语义异常

这种分层让 except 块可以按需捕获:用更具体的异常类型处理特定问题,用更宽泛的父类统一兜底,比如先捕获 KeyError,再用 LookupError 处理其他查找类错误。

自定义异常应继承 Exception 或其子类

定义业务异常时,应明确语义并合理挂靠到现有体系中:

  • 若属于参数或输入问题,可继承 ValueError
  • 若涉及状态不一致,可继承 RuntimeError 或新建子类继承 Exception
  • 新建异常类建议以 “Error” 结尾,如 class ConfigLoadError(Exception): pass

这样既保持一致性,又支持多级捕获——上层代码可选择捕获 Exception 来兜底,也可只响应特定业务错误。

捕获顺序必须遵循 MRO(方法解析顺序)

由于异常是通过类继承关系匹配的,except 子句的书写顺序直接影响行为:

  • 更具体的异常类型必须写在更宽泛的前面,否则会被提前捕获
  • 例如 except ValueError: 必须放在 except Exception: 之前
  • Python 按代码中 except 的出现顺序尝试匹配,找到第一个兼容类型即停止

违反顺序会导致子类异常永远无法进入对应处理分支,属于常见逻辑陷阱。