如何让Pylance识别动态添加的类属性？

一、完全动态场景（props由__init__参数传入） #

你编写的代码可正常运行，但Pylance作为静态类型检查器，无法在编译阶段预知运行时传入的props内容，因此无法自动识别这类完全动态生成的属性。目前没有完美的根治方案，但可通过以下方式规避警告：

1. 使用类型忽略注释
   在访问动态属性的行末尾添加# type: ignore，直接告知Pylance忽略该位置的类型检查：

A(["x"]).x  # type: ignore

2. 使用typing.cast强制类型声明
   通过cast明确告诉类型检查器属性的类型，既保留类型提示又消除警告：

from typing import cast

obj = A(["x"])
x_value = cast(int, obj.x)

注：你尝试的修改__annotations__的方法无效，因为Pylance在静态分析阶段只会读取类定义时的注释，而非运行时动态修改后的内容。

二、半动态场景（PROPS为类固定列表） #

这种场景下属性名称是固定可知的，有两种可靠方法让Pylance识别：

1. 预先添加类属性类型注释
   在类定义中直接声明所有动态属性的类型，Pylance会识别这些静态注释，即使属性是运行时动态创建的：

class A:
    PROPS = ["x", "y", "z"]
    x: int
    y: int
    z: int
    def __init__(self) -> None:
        for name in self.PROPS:
            setattr(self.__class__, name, property(lambda _: 1))

2. 用@overload为__getattr__添加类型提示
   通过重载__getattr__方法，为每个固定属性明确返回类型，适合属性数量不多的场景：

from typing import Literal, overload, int

class A:
    PROPS = ["x", "y", "z"]
    def __init__(self) -> None:
        for name in self.PROPS:
            setattr(self.__class__, name, property(lambda _: 1))
    
    @overload
    def __getattr__(self, name: Literal["x"]) -> int: ...
    @overload
    def __getattr__(self, name: Literal["y"]) -> int: ...
    @overload
    def __getattr__(self, name: Literal["z"]) -> int: ...
    def __getattr__(self, name: str) -> int:
        return getattr(self, name)

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