在Python的类型提示体系中，typing.Final是一个用于标记变量为最终值的特殊类型，它的核心作用是在静态类型检查阶段限制变量被重新赋值，从而在开发阶段就规避常量被意外修改的问题。Python本身没有原生常量语法，通常我们用全大写命名来表示常量，但这只是约定，无法从语法层面阻止修改，而Final可以弥补这个不足。
Final的基本使用方式
使用Final需要先导入对应的类型，然后将其作为变量的类型注解，标记该变量在初始化后不允许被重新赋值。示例如下：
from typing import Final # 标记MAX_SIZE为最终常量，初始化后不可修改 MAX_SIZE: Final = 1024 # 标记配置路径为最终值 CONFIG_PATH: Final[str] = "/etc/app/config.json" # 初始化时直接赋值也可以 DEFAULT_TIMEOUT: Final = 30
上面的代码中，三个变量都被标记为Final，类型检查工具会认为这些变量在赋值后不能再被修改。
Final在类型检查中的约束效果
Final本身不会影响Python运行时的行为，它的作用完全体现在静态类型检查阶段，常见的类型检查工具如mypy、pyright都会识别Final的约束。如果尝试修改被Final标记的变量，类型检查工具会直接报错。
比如下面的代码：
from typing import Final MAX_RETRY: Final = 3 # 尝试重新赋值，类型检查会报错 MAX_RETRY = 5 # 错误：不能给Final变量重新赋值
运行mypy检查这段代码，会得到类似error: Cannot assign to final name "MAX_RETRY"的提示，提前告知开发者存在不符合规范的修改操作。
Final的适用场景和注意事项
适用场景
- 定义全局配置常量，比如接口地址、最大连接数、默认超时时间等，避免这些配置在代码运行中被意外修改。
- 标记函数内部不需要被修改的局部变量，明确变量的生命周期内值固定，提升代码可读性。
- 在类定义中标记类常量，比如类的版本号、固定的业务编码等。
注意事项
Final只能用于变量注解，不能用于函数参数、返回值的类型注解，也不能作为泛型参数使用。- 如果
Final标记的是可变对象（比如列表、字典），类型检查只会限制变量本身不能被重新赋值，不会限制对象内部元素的修改，比如下面的代码是允许的：
from typing import Final
ALLOWED_USERS: Final = ["admin", "root"]
# 允许修改列表内部元素
ALLOWED_USERS.append("test") # 类型检查不会报错
# 不允许重新赋值整个列表
ALLOWED_USERS = ["new_user"] # 类型检查报错
如果需要限制可变对象内部也不能被修改，需要配合typing.Sequence、typing.Mapping等不可变序列类型一起使用。
类中使用Final的示例
在类定义中，Final可以用来标记类级别的常量，这些常量属于类本身，不需要实例化就可以访问，且不能被修改：
from typing import Final
class AppConfig:
# 类级别的Final常量
APP_NAME: Final = "demo_app"
VERSION: Final[str] = "1.0.0"
MAX_CONNECTION: Final = 100
# 访问类常量
print(AppConfig.APP_NAME) # 输出demo_app
# 尝试修改类常量，类型检查报错
AppConfig.APP_NAME = "new_app" # 错误：不能给Final属性重新赋值
总结
typing.Final是Python类型提示体系中用于约束常量不可修改的重要工具，它虽然不影响运行时行为，但能在静态类型检查阶段有效避免常量被意外赋值的问题，提升代码的规范性和可维护性。开发者在使用时需要注意它的适用边界，尤其是针对可变对象的约束场景，配合其他不可变类型可以达到更好的约束效果。