Python元类类变量：为何原始类型与对象表现不同？

代码示例1：可变属性的共享修改 #

class M(type):
    hey = []

class S(metaclass=M):
    pass

class N(metaclass=M):
    pass

print(S.hey)  # output []
print(N.hey)  # output []
S.hey.append(6)
print(S.hey)  # output [6]
print(N.hey)  # output [6]

修改S.hey列表时N.hey同步变化，说明二者访问的是元类M中hey列表的同一个引用。

代码示例2：不可变属性的赋值屏蔽 #

class M(type):
    hey = 5

class S(metaclass=M):
    pass

class N(metaclass=M):
    pass

print(S.hey)  # output 5
print(N.hey)  # output 5
S.hey = 6
print(S.hey)  # output 6
print(N.hey)  # output 5

给S.hey赋值不会影响N.hey，因为赋值操作在S类本身新增了同名属性，屏蔽了元类中的hey。

问题解答 #

1. 官方文档参考
   Python官方文档的**数据模型（Data Model）**章节详细说明了这类规则，核心是类的属性查找机制：当访问类的属性时，若类自身未定义该属性，会向上查找其元类的属性；属性修改分两种逻辑：

• 对可变对象（如列表、字典）的原地修改（如append），直接操作对象本身，不会在当前类上新增属性；
• 直接赋值（如S.hey = 6）会在当前类的命名空间创建新属性，后续访问会优先使用类自身的定义，不再去元类查找。
  另外，元类的核心定义可在文档"Metaclasses"小节找到，明确了类是元类实例的关系。

2. 设计考量

• 属性系统一致性：延续了Python中属性查找与修改的统一逻辑，不管是实例、普通类还是元类都遵循相同规则，避免特殊化带来的认知负担；
• 元类职责定位：元类用于定义类的创建行为和共享类级特性，将共享属性放在元类中可实现多类复用，符合DRY（Don't Repeat Yourself）原则；
• 操作语义区分：原地修改可变对象和属性赋值是两种不同语义，前者修改对象状态，后者重新绑定名称，该设计清晰区分二者，契合语言动态特性。

3. 正确称谓
   S和N是元类M的实例。Python中所有类本质上都是type的实例，指定metaclass=M时，M作为type的子类负责创建S和N这两个类对象，因此二者是M的实例，而非M的子类——子类是通过类继承（class A(B)）产生的关系，与元类和类的实例关系完全不同。

内容的提问来源于stack exchange，提问作者Amir Kooshky