为何MyPy不允许将泛型类的属性标记为Final？

你遇到的是MyPy的类型检查限制，不是Python语法本身的问题。

原因说明 #

MyPy对类体中声明的Final属性有特殊处理：它默认认为类体里的Final是类级别的常量，这类常量的类型应该是固定的，不能依赖于泛型类的类型变量T——毕竟类属性是所有实例共享的，而泛型类型T是随类的实例化（比如Foo[int]、Foo[str]）动态变化的，MyPy目前不支持这种“类级Final + 泛型类型变量”的组合。

但你的实际需求是实例级的常量属性（每个实例的bar一旦赋值就不再改变），原本的写法把Final写在类体里，被MyPy误判成了类属性的声明，所以才报错。

解决办法 #

把Final标注移到__init__方法里的实例属性赋值处，这样MyPy会正确识别这是实例级的常量：

from typing import TypeVar, Generic, Final

T = TypeVar("T")

class Foo(Generic[T]):
    def __init__(self, bar: T) -> None:
        self.bar: Final[T] = bar

这样既保留了“bar属性始终引用同一对象”的语义，又能通过MyPy的类型检查，同时泛型类型T的约束也能正常生效。

补充说明 #

如果你的代码里需要在其他地方引用Foo实例的bar属性类型，这种写法也完全不影响——MyPy会根据Foo的泛型实例化类型（比如Foo[int]）推断出bar的类型是Final[int]，和你原本的需求一致。

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