python枚举（enum）通过结合魔术方法和元类机制，实现了对其成员的只读访问，有效防止了枚举值的意外修改。具体来说，`enumtype`元类重写了`__setattr__`方法，在尝试重新赋值已存在的枚举成员时抛出`attributeerror`，从而在类级别强制执行了不可变性，确保了枚举的常量特性。
在Python中，尽管我们通常通过约定俗成的全大写变量名来表示常量，但这并非强制性的。然而，当我们使用Enum类创建枚举类型时，其成员却能实现真正的只读访问，即一旦定义便不可更改。这种强大的行为背后，是Python语言中两个核心特性：魔术方法（Magic Methods）和元类（Metaclasses）的巧妙结合。
1. 魔术方法 (__setattr__) 的作用
Python提供了许多特殊的“魔术方法”（或称为“双下划线方法”，Dunders），它们允许我们自定义对象的行为。这些方法在特定操作发生时被Python解释器自动调用，例如__str__用于字符串表示，__add__用于加法运算等。
其中，__setattr__(self, name, value)魔术方法在对象属性被设置时被调用。通过重写这个方法，我们可以拦截并自定义属性赋值的行为。
考虑以下示例，一个会“唠叨”的类：
立即学习“Python免费学习笔记（深入）”；
from typing import Any
class Talkative:
def __setattr__(self, name: str, value: Any) -> None:
print(f"正在为对象 {self!r} 设置属性 {name!r}: {value!r}")
super().__setattr__(name, value) # 调用父类的__setattr__完成实际赋值
obj = Talkative()
obj.a = "xyz"
obj.b = -1输出：
正在为对象 <__main__.Talkative object at 0x...> 设置属性 'a': 'xyz' 正在为对象 <__main__.Talkative object at 0x...> 设置属性 'b': -1
这个例子展示了__setattr__如何控制实例属性的设置。然而，这种定制仅限于类的实例。当我们尝试直接为类本身设置属性时，Talkative类中定义的__setattr__方法并不会被调用：
Talkative.idea = "lightbulb" # 不会触发Talkative.__setattr__
这是因为Talkative类对象本身是一个type的实例，而我们定义的__setattr__是针对Talkative的实例而言的。要控制类对象本身的属性设置行为，我们需要引入元类的概念。
2. 元类（Metaclasses）的介入
元类是“类的类”。在Python中，所有的类都是type类的实例。我们可以通过定义一个自定义的type子类来创建自己的元类，从而控制类的创建和行为。
为了让类对象本身在属性设置时触发自定义逻辑，我们需要在元类中定义__setattr__方法。这样，当尝试为使用该元类创建的类设置属性时，元类的__setattr__就会被调用。
from typing import Any
class TalkativeType(type):
"""一个会“唠叨”的元类"""
def __setattr__(cls, name: str, value: Any) -> None:
print(f"正在为类 {cls!r} 设置属性 {name!r}: {value!r}")
super().__setattr__(cls, name, value) # 调用父类(type)的__setattr__完成实际赋值
class Talkative(metaclass=TalkativeType):
"""使用自定义元类的类"""
pass
Talkative.q = "bert"输出：
正在为类设置属性 'q': 'bert'
在这个例子中，TalkativeType作为Talkative的元类，其__setattr__方法被调用，成功拦截了Talkative.q = "bert"这一操作。注意，在元类中，我们通常使用cls作为第一个参数的名称，以强调它操作的是一个类对象，而非实例。
高级读者旁注： 为什么不能直接将自定义函数绑定到类的__setattr__属性上，例如Talkative2.__setattr__ = MethodType(talkative_setattr, Talkative2)？ 原因是，像__setattr__这样的“魔术方法”的查找机制与普通属性不同。它们不是通过常规的属性查找链在实例上查找，而是直接在对象所属的类型（即其类）上查找。因此，如果一个类（比如Talkative2）的类型（即type）没有定义自定义的__setattr__，那么即使Talkative2本身有一个__setattr__属性，它也会被忽略，而采用默认行为。这再次强调了使用元类来定制类行为的必要性。
3. Enum 中的实现原理
Python的enum模块正是通过结合上述两种机制来实现枚举成员的只读访问。
enum模块定义了一个名为EnumType的元类，所有继承自Enum的类都会使用这个EnumType作为它们的元类。EnumType元类重写了__setattr__方法，其核心逻辑是在尝试为枚举类设置属性时，检查该属性名是否已存在于枚举成员映射中。如果存在，则抛出AttributeError，从而阻止对现有枚举成员的重新赋值。
我们可以查看Python enum.py 源码中的相关部分：
# 简化后的核心逻辑
class EnumType(type):
"""
Enum 的元类
"""
# ... 其他方法 ...
def __setattr__(cls, name, value):
"""
阻止重新赋值 Enum 成员。
对类命名空间的简单赋值只会改变从 Enum 类获取 Enum 成员的
几种可能方式之一，导致不一致的枚举。
"""
# _member_map_ 存储了枚举成员的名称到值的映射
member_map = cls.__dict__.get('_member_map_', {})
if name in member_map:
raise AttributeError('无法重新赋值成员 %r' % (name, ))
super().__setattr__(cls, name, value)
# Enum 类声明，指定其元类为 EnumType
class Enum(metaclass=EnumType):
# ... Enum 的其他实现 ...
pass当您定义一个枚举类并尝试修改其成员时，例如：
from enum import Enum
class Color(Enum):
RED = 1
GREEN = 2
BLUE = 3
# 尝试修改枚举成员
try:
Color.RED = 100
except AttributeError as e:
print(f"捕获到错误: {e}")
# 尝试添加新成员 (在初始化后通常不推荐，但会被允许)
# Color.YELLOW = 4 # 这在某些Python版本和Enum使用方式下可能被允许，但并非推荐做法输出：
捕获到错误: 无法重新赋值成员 'RED'
EnumType的__setattr__方法会检测到'RED'已经在_member_map_中，并立即抛出AttributeError，从而确保了Color.RED的不可变性。
总结
Python Enum 通过其EnumType元类和重写的__setattr__魔术方法，在类级别上实现了对枚举成员的只读访问。这种机制确保了枚举值的稳定性和一致性，使其成为定义常量集合的理想选择。理解这一底层实现原理，不仅能帮助我们更好地使用Enum，也加深了对Python高级特性（如魔术方法和元类）的理解。
