Python 3.12 Special Attribute - 09 -__bases__
Python 3.12 Special Attribute -__bases__
__bases__是 Python 中用于存储类的直接父类的内置特殊属性。它是一个元组（tuple），按照继承声明顺序包含了该类的所有基类。理解__bases__对于掌握继承机制、多重继承、方法解析顺序（MRO）以及高级元编程至关重要。本文将详细解析__bases__的定义、与__mro__的区别、典型用途、动态修改的后果，并通过多个示例演示其行为，最后从 CPython 底层探讨其实现机制。
1.__bases__的基本概念
- 定义：每个类对象（class）都有一个
__bases__属性，它是一个元组，包含该类的直接父类（不包括间接父类）。 - 默认值：如果一个类没有显式指定父类，则
__bases__默认为(object,)，因为所有类都隐式继承自object。 - 只读性：在 Python 中，
__bases__是可写的（可以赋值），但修改它可能导致不可预料的后果，通常视为只读。
示例：
classA:passclassB(A):passclassC(B,A):passprint(A.__bases__)# (<class 'object'>,)print(B.__bases__)# (<class '__main__.A'>,)print(C.__bases__)# (<class '__main__.B'>, <class '__main__.A'>)2.__bases__与__mro__的区别
| 属性 | 内容 | 顺序 | 是否包含间接父类 |
|---|---|---|---|
__bases__ | 直接父类 | 按照类定义时括号内的顺序 | ❌ 否 |
__mro__ | 所有祖先类（包括自身） | C3 线性化算法计算的结果 | ✅ 是 |
__bases__只反映“父类列表”，不反映完整的继承链。__mro__是方法解析顺序，决定了属性查找的路径。
示例：
classX:passclassY(X):passclassZ(Y):passprint(Z.__bases__)# (<class '__main__.Y'>,)print(Z.__mro__)# (<class '__main__.Z'>, <class '__main__.Y'>, <class '__main__.X'>, <class 'object'>)3. 用途与典型场景
- 查看直接父类：在调试或自省时快速了解类的继承结构。
- 元类中检查或限制继承：在自定义元类的
__new__或__init__中检查bases参数，强制子类必须继承某些基类。 - 动态修改继承关系：通过给
__bases__赋值，可以在运行时改变类的父类（危险操作，慎用）。 - 实现混入（Mixin）检测：判断一个类是否直接继承了某个特定基类。
- 构建代理类：动态创建新类时，通过指定
bases元组来设置父类。
4. 示例与逐行解析
示例 1：基本用法 – 查看直接父类
classAnimal:passclassMammal(Animal):passclassDog(Mammal):passprint(Dog.__bases__)# (<class '__main__.Mammal'>,)print(Dog.__bases__[0].__name__)# Mammal逐行解析：
| 行 | 代码 | 解释 |
|---|---|---|
| 1-3 | 定义三个类，形成继承链 | Dog直接继承自Mammal。 |
| 5 | 打印Dog.__bases__ | 输出一个元组，包含Mammal类。 |
| 6 | 通过索引访问第一个父类并获取其名称 | 输出'Mammal'。 |
为什么这样写？
- 通过
__bases__可以精确知道一个类“直接”继承了谁，而不是通过 MRO 间接查找。
示例 2：在元类中验证继承约束
classMustInheritFromBaseMeta(type):def__new__(cls,name,bases,namespace):ifnotany(base.__name__=='Base'forbaseinbases):raiseTypeError(f"Class{name}must inherit from Base")returnsuper().__new__(cls,name,bases,namespace)classBase:passclassGood(Base,metaclass=MustInheritFromBaseMeta):pass# class Bad(metaclass=MustInheritFromBaseMeta): pass # 会引发 TypeError逐行解析：
| 行 | 代码 | 解释 |
|---|---|---|
| 1-6 | 定义元类 | 在__new__中检查bases元组是否包含Base。 |
| 7-8 | 定义Base类 | 作为强制基类。 |
| 10-12 | 定义Good类，继承Base | 通过检查。 |
| 14 | 注释掉的Bad类 | 不继承Base，会在类创建时抛出TypeError。 |
为什么这样写？
- 这种模式可用于框架中要求子类必须实现某些接口或继承特定基类，类似于抽象基类但更灵活。
示例 3：动态修改__bases__（危险操作演示）
classA:defgreet(self):return"Hello from A"classB:defgreet(self):return"Hello from B"classC:passc=C()# print(c.greet()) # AttributeError# 动态将 C 的父类改为 AC.__bases__=(A,)# TypeError: __bases__ assignment: 'A' deallocator differs from 'object'逐行解析：
| 行 | 代码 | 解释 |
|---|---|---|
| 1-3 | 定义类A | 有greet方法。 |
| 5-7 | 定义类B | 有greet方法。 |
| 9-10 | 定义类C | 没有父类，默认继承object，也没有greet。 |
| 12-13 | 修改C.__bases__为(A,) | 动态改变继承关系， 出现TypeError |
为什么这样写？
- 演示
__bases__的可写性，但这是高危操作，可能导致 MRO 不一致甚至解释器崩溃。
示例 4：使用__bases__实现简单的混入检测
classMixinA:passclassMixinB:passclassMyClass(MixinA,MixinB):passdefhas_mixin(cls,mixin):returnmixinincls.__bases__print(has_mixin(MyClass,MixinA))# Trueprint(has_mixin(MyClass,object))# False逐行解析：
| 行 | 代码 | 解释 |
|---|---|---|
| 1-2 | 定义两个混入类 | 用作标记。 |
| 4-5 | 定义MyClass，继承两个混入 | __bases__包含(MixinA, MixinB)。 |
| 7-9 | 定义has_mixin函数 | 检查某个类是否直接继承了给定的混入类。 |
| 11-12 | 测试 | MixinA在__bases__中，返回True；object不在直接父类中（它是间接父类），返回False。 |
为什么这样写？
- 用于判断一个类是否直接使用了某个混入，而不是通过继承链间接获得。
5. 底层实现机制（CPython）
在 CPython 中，__bases__属性直接对应于类型对象（PyTypeObject）中的tp_bases字段。该字段是一个PyObject*，指向一个元组对象，元组中存储了直接基类的指针。
- 创建类时：当执行
class C(A, B):时，Python 会构建一个元组(A, B)，并将其赋值给tp_bases。同时，根据tp_bases和 C3 线性化算法计算出tp_mro（即__mro__）。 - 访问
__bases__：实际上返回的是tp_bases的 Python 对象（元组）。 - 修改
__bases__：当执行C.__bases__ = (X,)时，CPython 会：- 检查新元组的每个元素是否是类型对象。
- 替换
tp_bases指针。 - 重新计算
tp_mro（方法解析顺序），并更新类的__mro__属性。 - 更新子类的 MRO（如果该类有子类，会导致子类的 MRO 也可能改变，这是非常昂贵的操作）。
由于 MRO 的重新计算可能引发不可预知的问题（如循环引用、内存错误），官方强烈建议不要动态修改__bases__。
6. 注意事项与陷阱
- 动态修改的危险性：修改
__bases__可能导致：- MRO 不一致，方法查找结果意外。
- 引起段错误（如果新基类与旧基类内存布局不兼容）。
- 影响已经创建的实例（实例的方法解析会立即改变，但实例属性不会自动更新）。
- 与
__mro__的区别：不要用__bases__来判断一个类是否继承自某个类（应使用issubclass或检查__mro__）。 - 多重继承的顺序：
__bases__的顺序与类定义时括号内的顺序一致，这个顺序会影响 MRO。 - 空基类：没有显式父类的类，
__bases__是(object,)，而不是空元组。
7. 与其他特殊属性的关系
| 属性 | 关系 |
|---|---|
__mro__ | 由__bases__计算得出，是完整的继承链。 |
__class__ | 实例的__class__指向其类，类的__bases__是父类。 |
__subclasses__() | 返回直接子类的列表，与__bases__互为反向关系。 |
__name__ | 类的名称，与__bases__无关。 |
8. 总结
| 特性 | 说明 |
|---|---|
| 角色 | 存储类的直接父类元组 |
| 类型 | tuple |
| 位置 | 类对象 |
| 内容 | 直接父类（按声明顺序） |
| 访问方式 | ClassName.__bases__ |
| 可写性 | 可修改（但极度危险，强烈不推荐） |
| 底层 | CPython 的tp_bases字段 |
| 典型用途 | 查看继承关系、元类约束、动态继承（谨慎） |
| 最佳实践 | 仅用于读取；不要动态修改；使用issubclass或__mro__进行完整继承检查 |
掌握__bases__是深入理解 Python 类继承机制的基石。它为我们提供了查看和（在极端情况下）修改类层次结构的入口。然而，它的可变性是一把双刃剑，除非在非常受控的元编程场景中，否则应避免修改，以保持代码的稳定性和可预测性。希望本文能帮助你全面掌握这一特殊属性。
如果在学习过程中遇到问题，欢迎在评论区留言讨论!