Python中Final与类型别名配合失效？如何实现IDE可识别的不可变类型

这不是VSCode或Pylance的问题，核心是对Final语义的误解：

• Final并非用来定义不可变类型的工具，它是一个类型修饰符，作用是标记某个名称的绑定不可被重新赋值。
• 当你写ImmutableStr = Final[str]时，Final仅约束ImmutableStr这个别名本身不能被重新定义（比如不能再写ImmutableStr = int），但用ImmutableStr注解的属性s1，类型检查器只会将其视为str类型，不会继承Final的"不可赋值"约束。
• 而s2: Final[str]是直接给属性s2加上Final约束，所以Pylance能检测到后续的赋值错误。

要实现可复用的、能触发类型检查的不可变属性，分两种场景处理：

1. 实例属性的不可变（仅类型检查层面） #

先定义基础类型别名，再在属性注解中用Final包裹这个别名：

from typing import Final

# 复用的基础类型别名
StrType = str

class Test:
    s1: Final[StrType] = 'abc'  # 会触发赋值错误
    s2: Final[str] = 'abc'

t = Test()
t.s1 = 'def'  # Pylance会报错：无法给Final属性赋值
t.s2 = 'def'  # 已有报错

2. 类级别的不可变属性（实例无法修改类属性） #

如果希望属性是类变量（所有实例共享）且不可被实例修改，结合ClassVar和Final：

from typing import Final, ClassVar

StrType = str

class Test:
    s1: ClassVar[Final[StrType]] = 'abc'
    s2: Final[str] = 'abc'

t = Test()
t.s1 = 'def'  # Pylance会报错：无法给ClassVar+Final的属性赋值
t.s2 = 'def'  # 已有报错

3. 运行时真正的不可变（可选） #

如果不仅要类型检查报错，还要在Python运行时阻止赋值，使用@property实现只读属性：

class Test:
    def __init__(self):
        self._s1 = 'abc'
    
    @property
    def s1(self):
        return self._s1

t = Test()
t.s1 = 'def'  # Python运行时直接报错：AttributeError: can't set attribute

内容的提问来源于stack exchange，提问作者link89