Python中为何type()不总返回实例真实类？该例外设计的依据是什么？

很多Python开发者对内置type()的固有认知是：传入单个实例参数调用时，会稳定返回实例的真实绑定类。但实际存在一个明确的例外触发场景：

当实例自身的__class__属性被手动赋值，且所属类没有自定义类层级的__class__变量时，type()会返回实例变量__class__对应的取值，而非实例的原生真实类。

以下是三个可直接复现的行为对比场景，所有代码均可在Python3环境正常运行：

场景1：类自定义类变量__class__ #

class X:
    pass

class A:
    __class__ = X

a = A()
print(type(a))      # 输出 <class '__main__.A'>（实例真实类）
print(a.__class__)  # 输出 <class '__main__.X'>

场景2：类有__class__类变量，额外给实例赋值__class__ #

class X:
    pass

class Y:
    pass

class A:
    __class__ = X

a = A()
a.__class__ = Y
print(type(a))      # 输出 <class '__main__.A'>（实例真实类）
print(a.__class__)  # 输出 <class '__main__.Y'>

场景3：类无__class__类变量，仅给实例赋值__class__（触发例外的场景） #

class X:
    pass

class A:
    pass

a = A()
a.__class__ = X
print(type(a))      # 输出 <class '__main__.X'>（非实例原生真实类）
print(a.__class__)  # 输出 <class '__main__.X'>

该例外设计的底层逻辑 #

• type()单参数形式的实现从Python新式类引入时，就没有直接读取实例在C层存储的真实类指针，而是会走和普通属性查找一致的流程，触发对__class__属性的描述符调用，这是所有上述行为的实现基础。
• Python对__class__这个特殊属性的查找有明确优先级规则：只要类的继承链上存在自定义的__class__变量，就会优先绑定类层级定义的__class__对应的get/set描述符逻辑。这时候哪怕实例上手动赋值了__class__属性，type()拿到的也是描述符强制返回的实例真实类指针值，不会被实例属性绕开。
• 当类继承链上完全没有自定义__class__变量时，解释器才会启用type元类自带的默认__class__描述符逻辑：这个默认描述符的行为就是直接读取实例上存储的__class__属性值，同时允许通过给实例__class__赋值，来改变实例的属性、方法查找路由关系。
• 这个设计的核心初衷，是支撑Python经典的实例类动态替换能力：比如不修改原生类的逻辑，就可以把单个实例的方法、属性查找路由到另一个类上，实现轻量mixin、透明代理等动态模式。如果type()完全不响应实例上的__class__赋值，会出现行为割裂：实例的方法调用、属性查找都已经切到新类的逻辑，唯独类型判断还返回旧类，反而会破坏动态特性的一致性。
• 当类自定义了__class__时，解释器选择绕开实例属性的影响，本质是为了保留类对自身特殊属性的控制权：如果类已经明确定义了自己的__class__逻辑（比如自定义元类做类型拦截、类代理），就不允许单个实例随意修改类对外暴露的类型判断结果，保证类层面的行为一致性。

内容的提问来源于stack exchange，提问作者Géry Ogam