17370845950

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 的职责范围——它只是给类型检查器看的契约标签，不是锁。