如何解决mypy对类静态变量使用Self类型时的报错问题

我明白你遇到的这个头疼的问题了——用Self标注类静态变量时mypy报错，去掉标注又说属性不存在，确实有点两难。咱们先理清楚问题出在哪，再给你解决办法。

问题重现 #

你当前的代码场景是这样的：

from typing import Self

class A:
    B: Self
    
A.B = A()

mypy 1.15.0会抛出错误：Access to generic instance variables via class is ambiguous；但如果删掉B: Self这行标注，又会提示"type[A]" has no attribute "B"。

问题原因 #

这是因为Self类型的设计初衷是标注实例方法的返回值或者实例变量，它指向的是类的实例类型。而你这里的B是类级别的静态变量，直接用Self的话，mypy会混淆它到底应该指代类本身还是类的实例，所以抛出了歧义错误。

解决方案 #

要让mypy满意，你只需要把Self换成类本身的类型即可，具体有两种常用方式：

1. 直接使用类名标注（最简单）

如果你的类不需要考虑继承扩展，直接用类名A标注就行。Python 3.10及以上版本支持直接写类名（无需前向引用引号），低版本可以用字符串引号包裹类名：

# Python 3.10+ 写法
class A:
    B: A

A.B = A()

# 低版本Python 写法（避免前向引用）
class A:
    B: "A"

A.B = A()

2. 用TypeVar支持继承场景（更通用）

如果你的类需要支持继承，希望子类能正确识别类变量的类型，可以用TypeVar绑定当前类：

from typing import TypeVar

# 绑定到A类，确保子类也能正确推导类型
T = TypeVar("T", bound="A")

class A:
    B: T

# 子类示例
class B(A):
    pass

B.B = B()  # mypy会正确识别这里的类型是B

核心思路就是：Self不适合用来标注类级别的变量，类变量的类型直接用类名或者绑定好的TypeVar就能解决歧义问题啦。

备注：内容来源于stack exchange，提问作者PinkFloyd