typing.Final 不能阻止运行时赋值，仅在类型检查阶段生效；模块级 Final 变量禁止任何赋值，类中 Final 属性允许在 init 中初始化一次。
typing.Final 能否阻止运行时赋值？
typing.Final 完全不干预运行时行为，它只在类型检查阶段（如 mypy、pyright、pycharm 的类型分析）起作用。你写 const: Final[int] = 42，然后执行 CONST = 100，python 解释器照常运行，不会报错也不会警告——但 mypy 会报 Error: Cannot assign to final Attribute "CONST"。
必须显式标注类型才能触发检查
仅写 CONST = 42 再加 Final 注解是无效的。类型检查器需要明确的类型标注，且 Final 必须出现在变量声明语句的类型注解位置：
- ✅ 正确：
CONST: Final[int] = 42 - ✅ 正确（模块级常量推荐）：
CONST: Final = 42（此时类型由值推导为Final[int]） - ❌ 无效：
CONST = 42 # type: Final[int]（旧式注释不被 mypy 当作 Final 处理） - ❌ 无效：
CONST: int后再用Final包裹值（CONST: int = Final[42]不合法）
Final 变量在类中和模块中的行为差异
模块级 Final 变量被设计为“真正常量”，而类属性上的 Final 允许在 __init__ 中赋值一次（类似“一次赋值”语义），这点容易误判：
- 模块级：
API_URL: Final[str] = "https://api.example.com"→ mypy 禁止任何后续赋值 - 类属性：
class Client: timeout: Final[int]; def __init__(self): self.timeout = 30→ 合法；但client.timeout = 60会在实例上调用时报错 - 注意：类中未在
__init__赋值的Final实例属性，mypy 会报Final instance attribute not initialized
常见误用与绕过检查的风险点
开发者有时试图用动态方式绕过 Final 限制，比如 globals()["CONST"] = 999 或 setattr(sys.modules[__name__], "CONST", 999)。这些操作：
- ✅ 运行时确实能改掉值（因为 Python 没有真正的常量机制）
- ❌ 但会破坏类型系统的可信度，导致其他开发者或工具误以为该值稳定
- ⚠️ 更隐蔽的问题：如果该
Final值被用于Literal类型推导（如def f(x: Literal[CONST]) -> None: ...），绕过赋值会让类型推导失效甚至出错
真正想“强制不可变”，得靠运行时手段（如 __slots__ + 自定义 __setattr__），但那已超出 typing.Final 的职责范围——它只是给类型检查器看的契约标签，不是锁。