Python多态依赖鸭子类型,即运行时检查对象是否有对应方法,而非继承体系;可辅以abc.ABC强制约束方法实现,或用try/except处理AttributeError确保健壮性。

Python 多态不靠关键字,靠对象有没有对应方法
Python 的多态不是靠继承体系里的 class Animal 和 class Dog(Animal) 强制约定出来的,而是运行时看“这个对象能不能响应 .speak()”。只要它有,就能调;没有,就抛 AttributeError。这叫鸭子类型:「像鸭子一样走路、叫,那它就是鸭子」。
常见错误现象:TypeError: 'Dog' object is not callable(误把类当函数调用),或更隐蔽的 AttributeError: 'Cat' object has no attribute 'speak'(忘了实现方法)。
- 使用场景:写通用处理函数,比如
make_animal_speak(animal),传进来的可能是Dog、Cat、甚至第三方库的RobotPet - 不需要显式声明接口或抽象基类(
ABC),但加了能提前报错、增强 IDE 提示 - 性能无额外开销——就是普通属性查找,比 Java/C# 的虚函数调用还轻量
def make_animal_speak(animal):
animal.speak() # 不检查类型,只管调
<p>class Dog:
def speak(self):
print("Woof!")</p><p>class Cat:
def speak(self): # 必须叫这个名字,大小写、拼写都不能错
print("Meow!")</p><p>make_animal_speak(Dog()) # Woof!
make_animal_speak(Cat()) # Meow!想强制约束方法签名?用 abc.ABC + @abstractmethod
纯鸭子类型太自由,协作开发或大型项目里容易漏实现。这时候加一层契约:用 abc.ABC 定义「必须有 speak 方法」,子类没实现就根本实例化不了。
常见错误现象:TypeError: Can't instantiate abstract class Bird with abstract method speak——这是好事,说明约束生效了。
立即学习“Python免费学习笔记(深入)”;
- 不是所有多态都需要它,小脚本或原型阶段可跳过
-
@abstractmethod方法体只能是pass或文档字符串,不能有实际逻辑 - 继承
ABC后,类不能直接实例化,但可以被isinstance(obj, Animal)检查
from abc import ABC, abstractmethod
<p>class Animal(ABC):
@abstractmethod
def speak(self):
pass</p><p>class Duck(Animal): # 必须实现 speak,否则报错
def speak(self):
print("Quack!")</p><h1>Animal() # TypeError:不能实例化抽象类</h1><p>Duck().speak() # Quack!
isinstance() 和 hasattr() 到底该用哪个?
多数时候不该用它们做类型判断——违背鸭子类型精神,也容易让代码变僵硬。但如果要兼容旧逻辑、做降级处理,或明确区分数据来源(比如 JSON dict vs 自定义对象),就得选对工具。
常见错误现象:用 isinstance(x, dict) 判断是否可迭代,结果自定义类实现了 __iter__ 却被忽略;或用 hasattr(obj, 'read') 判断文件类对象,却因属性是 property 或触发副作用而失败。
-
hasattr(obj, 'speak')等价于getattr(obj, 'speak', None) is not None,会触发__getattribute__,慎用于有副作用的属性 -
isinstance(obj, Animal)只在用了ABC时才有意义;对普通类,它只是检查继承链,无法保证方法存在 - 真正安全的做法:直接调用 +
try/except AttributeError,尤其适合不确定输入来源的 API 层
def safe_speak(obj):
try:
obj.speak()
except AttributeError:
print(f"{type(obj).__name__} can't speak")重写方法时参数不一致?Python 不拦你,但调用方会崩
Python 不检查子类方法签名是否和父类/协议一致。你可以让 Dog.speak(self, volume="loud"),而 Cat.speak(self) 不带参数——语法合法,但通用函数一调就出错。
常见错误现象:通用函数传了 volume=10,Cat 报 TypeError: speak() got an unexpected keyword argument 'volume';或者反过来,Dog 少传参数导致 TypeError: speak() missing 1 required positional argument。
- 没有编译期检查,靠测试覆盖或类型提示(
def speak(self) -> str:)来暴露问题 - 如果用
mypy,加上类型注解后能发现参数不匹配;但运行时仍不管 - 最稳妥的是文档写清协议,或用
ABC配合类型提示,在接口层统一约束
别指望语言替你守住契约,得靠人盯住方法签名、测试用例和类型检查工具。这点最容易被忽略——写的时候很顺,跑起来才见真章。








