如何在Python类继承中重写父类方法抛出特定异常

在面向对象编程的世界中，子类是否具备某项行为，以及“不具备”时该如何恰当表达，其实是一门值得深究的设计学问。当一个类“缺少某行为”时，与其静默忽略或返回空值，不如明确拒绝调用——即重写父类方法，主动抛出一个语义清晰的异常（例如 AttributeError）。这不仅体现了代码的规范性，更是保障 API 可用性的关键做法，还能有效避免那些直到运行时才暴露的隐式错误。

下面这个鸟类类的层级结构，正是一个遵循上述设计思路、具备良好扩展性的参考实现。我们先从核心设计理念说起。

关键设计一：主动抛出 AttributeError 异常，而不是默默吞掉它

在 NonFlyingBird 类中，fly() 方法的设计逻辑非常直接：不会飞就报错。千万不要用 try/except 捕获异常后静默处理，而应该直接 raise，让调用失败时真实地暴露问题。只有这样，才能确保错误信息透明可信，便于调试。

class NonFlyingBird(Bird):
    def __init__(self, name, ration='fish'):
        super().__init__(name)
        self.ration = ration

    def swim(self):
        return f"{self.name} bird can swim"

    def fly(self):
        raise AttributeError(f"'{type(self).__name__}' object has no attribute 'fly'")

    def eat(self):
        return f"It eats mostly {self.ration}"

    def __str__(self):
        return f"{self.name} bird can walk and swim"

这里的要点在于：

• raise AttributeError(...) 会直接中断程序执行，这完全符合 Python 的惯例——例如当你访问一个不存在的属性时，Python 同样采取这种处理方式。错误消息的格式也应保持与内置报错一致，比如 'Penguin' object has no attribute 'fly'，这对调试过程非常友好。
• __str__ 必须准确反映该类实例的实际能力：能走会游，唯独不会飞。这就像一份产品说明书，绝不能夸大其功能。

关键设计二：利用多继承构建 SuperBird，合理组合能力

如果你想创建一个既能飞又能游的 SuperBird，就需要借助多继承。这个 SuperBird 既要能从 Bird 继承 walk()，从 FlyingBird 继承 fly()，还得从 NonFlyingBird 继承 swim()。为了精准控制 eat() 的行为，推荐显式使用继承链，并结合方法委托来设定优先级。

class SuperBird(FlyingBird, NonFlyingBird):
    def __init__(self, name, ration='fish'):  
        # 注意继承顺序：FlyingBird 在前
        FlyingBird.__init__(self, name, ration)
        self.ration = ration  

    def swim(self):
        return f"{self.name} bird can swim"

    def __str__(self):
        return f"{self.name} bird can walk, swim and fly"

    # eat() 默认继承 FlyingBird 的实现（因为 MRO 中 FlyingBird 优先）
    # 如果需要从 NonFlyingBird 获取 eat，可以显式调用：return NonFlyingBird.eat(self)

这里需要特别关注的一点是 方法解析顺序（MRO）。Python 通过 C3 线性化算法来处理多继承时的调用顺序问题。简单来说，SuperBird.mro() 会返回一个列表，标明方法查找的搜索顺序。在这个例子中，顺序是 [SuperBird, FlyingBird, NonFlyingBird, Bird, object]，因此 eat() 默认调用 FlyingBird.eat，fly() 来自 FlyingBird，swim() 来自 NonFlyingBird，walk() 来自 Bird。换言之，由于不存在“钻石问题”（即 Bird 是 FlyingBird 和 NonFlyingBird 的共同父类，但 Python 的 MRO 机制已完美处理了这种多重继承的复杂性），我们只需把类名写对，把初始化顺序理清即可。

完整可运行示例：验证设计是否可靠

# 测试用例
p = NonFlyingBird("Penguin")
print(p.swim())   # → "Penguin bird can swim"
# p.fly()         # → AttributeError: 'Penguin' object has no attribute 'fly'

s = SuperBird("Gull")
print(s)          # → "Gull bird can walk, swim and fly"
print(s.eat())    # → "It eats mostly fish" （若未重写，则继承 FlyingBird 默认 'grains'）

总结一下，这个设计模式的核心原则如下：

• 拒绝行为要显式抛出异常，而不是闷声发大财地返回 None 或写个 pass。你必须让调用者清楚知道这里出了问题，从而增强代码的健壮性和可调试性。
• 多继承必须搞清 MRO，利用 super() 或显式调用父类方法来控制初始化逻辑，不留模糊地带，确保继承链的正确性与一致性。
• __str__ 必须真实反映实例能力，它就像一张产品卡片，不能夸大其词，以避免误导开发者或使用者。
• 类命名应当体现职责，例如 FlyingBird 就应该专门提供 fly 方法，而不是负责 eat。这样能大幅提高代码的可读性与可维护性。