python enums 通过巧妙结合魔术方法和元类机制，实现了其成员的只读特性。核心在于 `enumtype` 元类重写了 `__setattr__` 方法，该方法在尝试修改 enum 成员时会抛出 `attributeerror`，从而有效防止了枚举值的意外篡改，确保了枚举类型的稳定性和一致性。
在 Python 中，虽然我们可以通过约定（如使用大写变量名）来表示常量，但语言层面并没有强制的常量机制。然而，Python 的 Enum 类型却能确保其枚举成员在定义后无法被重新赋值，实现了“只读”访问。这种特性并非通过简单的语法糖实现，而是深入利用了 Python 的高级特性：魔术方法（Magic Methods）和元类（Metaclasses）。
1. 魔术方法 (__setattr__) 的作用
Python 提供了许多特殊的“魔术方法”（也称为“双下划线方法”或“dunders”），它们允许我们自定义对象的行为。这些方法在特定操作发生时会被 Python 解释器自动调用，例如 __str__ 用于自定义对象的字符串表示，__init__ 用于初始化对象。
其中，__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}")
# 调用父类的 __setattr__ 确保属性能够被实际设置
super().__setattr__(name, value)
obj = Talkative()
obj.a = "xyz"
obj.b = -1输出：
正在为 <__main__.Talkative object at 0x...> 设置属性 'a': 'xyz' 正在为 <__main__.Talkative object at 0x...> 设置属性 'b': -1
然而，需要注意的是，上述 __setattr__ 的定制仅适用于 Talkative 类的 实例。如果我们尝试为 Talkative 类本身 设置属性，这个 __setattr__ 方法并不会被调用：
Talkative.idea = "lightbulb" # 这不会触发上面定义的 __setattr__
这是因为 Python 类本身也是对象，它们是 type 类的实例。要控制类对象自身的属性设置行为，我们需要更强大的机制——元类。
2. 元类 (Metaclasses) 的应用
元类是“类的类”。在 Python 中，当我们定义一个类时，默认情况下这个类是由内置的 type 元类创建的。我们可以通过定义一个 type 的子类来创建自定义的元类，并将其应用于我们自己的类，从而在类创建时或类属性操作时注入自定义逻辑。
通过在元类中实现 __setattr__ 方法，我们可以控制 类对象 的属性赋值行为。
示例：拦截类属性赋值
from typing import Any
class TalkativeType(type):
"""
自定义元类，用于拦截类属性的设置
"""
def __setattr__(cls, name: str, value: Any) -> None:
"""
在设置类属性时打印信息
注意这里使用 cls 而不是 self，因为操作的是类对象
"""
print(f"正在为 {cls!r} 设置类属性 {name!r}: {value!r}")
super().__setattr__(cls, name, value)
class Talkative(metaclass=TalkativeType):
"""
使用自定义元类的类
"""
pass
Talkative.q = "bert"输出：
正在为设置类属性 'q': 'bert'
在这个例子中，TalkativeType 是 Talkative 类的元类。当 Talkative.q = "bert" 尝试设置 Talkative 类的属性时，实际上是调用了 TalkativeType 元类的 __setattr__ 方法，从而实现了对类属性赋值的拦截和定制。
高级读者旁注：
为什么不能简单地将自定义函数绑定到 Talkative2.__setattr__ 来实现对类属性的拦截？
from types import MethodType
class Talkative2:
pass
def talkative_setattr(self, name, value):
print(f"Setting attribute {name!r} on {self!r}: {value!r}")
object.__setattr__(self, name, value)
# 尝试绑定，但对魔术方法无效
Talkative2.__setattr__ = MethodType(talkative_setattr, Talkative2)
Talkative2.q = "bert" # 这不会触发 talkative_setattr原因在于，Python 对魔术方法的查找机制与普通属性不同。魔术方法（如 __setattr__）不是通过常规的属性查找链（MRO）在实例或类上查找的。相反，它们是直接在对象 类型（即对象的 __class__）上查找的。因此，要使 __setattr__ 生效，它必须定义在 Talkative2 的类型（也就是其元类）上，而不是 Talkative2 类本身上。在上述例子中，Talkative2 的类型仍然是 type，而 type 并没有我们自定义的 __setattr__ 逻辑，所以赋值行为依然遵循 type 的默认处理。
3. Python Enum 只读特性的实现
了解了魔术方法和元类的原理后，我们就可以理解 Python Enum 如何实现其只读特性了。Enum 模块正是结合了这两个强大的特性。
查看 Python enum.py 模块的源码，可以发现 Enum 类实际上使用了 EnumType 作为其元类：
# 简化版 enum.py 源码片段
class EnumType(type):
"""
Enum 的元类
"""
# ... 其他方法 ...
def __setattr__(cls, name, value):
"""
阻止重新赋值 Enum 成员。
对类命名空间的简单赋值只会改变从 Enum 类获取 Enum 成员的
几种可能方式之一，导致枚举不一致。
"""
# 检查要设置的属性名是否已经是枚举成员
member_map = cls.__dict__.get('_member_map_', {})
if name in member_map:
raise AttributeError(f'无法重新赋值成员 {name!r}')
# 如果不是枚举成员，则允许通过父类设置
super().__setattr__(cls, name, value)
# ...
class Enum(metaclass=EnumType):
"""
所有枚举的基类
"""
# ...从上述源码中可以看到：
- EnumType 是 type 的子类，它被指定为 Enum 类的元类。
- EnumType 重写了 __setattr__ 方法。
- 在这个 __setattr__ 方法中，首先会检查尝试设置的属性名 name 是否已经存在于 _member_map_ 中（_member_map_ 存储了所有枚举成员）。
- 如果 name 是一个已存在的枚举成员，__setattr__ 会立即抛出一个 AttributeError，阻止了对枚举成员的重新赋值。
- 如果 name 不是一个枚举成员（例如，尝试添加一个新的类属性），则会调用 super().__setattr__(cls, name, value)，允许正常设置该属性。
总结与注意事项：
通过这种机制，Enum 成功地在类级别上拦截了对枚举成员的赋值操作，从而确保了枚举成员的不可变性。
- 核心原理： EnumType 元类通过重写 __setattr__ 魔术方法，在检测到尝试修改现有枚举成员时抛出 AttributeError。
- 只读范围： 这种只读特性仅针对已定义的枚举成员。你可以为 Enum 类添加新的非成员属性（只要它们不与现有成员名称冲突），因为 EnumType.__setattr__ 会允许这些操作。
- 深层理解： 这展示了 Python 中魔术方法和元类在实现复杂、低级行为控制方面的强大能力。理解这些机制有助于更深入地掌握 Python 语言的灵活性和设计哲学。
通过深入理解 Python Enum 背后的魔术方法和元类机制，我们不仅能更好地使用 Enum，还能窥探到 Python 语言强大的定制能力，为未来开发更高级的抽象和框架打下基础。
