VSCode 1.91.1中Literal类型提示仅在__init__生效，如何全局识别？

问题根源是类型检查器（VSCode默认用Pyright）会自动对未显式标注的实例变量做类型拓宽，把Literal["a", "b"]这类窄类型转换成宽泛的str类型，导致其他方法里无法识别精确的Literal类型。

以下是两种可行的解决方法：

方法一：显式标注类的实例变量类型 #

直接在类内部定义my_var的类型，强制类型检查器保留Literal的精确类型：

from typing import TypedDict, Literal

class MyDict(TypedDict):
    my_var: Literal["a", "b"]

class MyClass:
    my_var: Literal["a", "b"]  # 显式声明实例变量的Literal类型

    def __init__(self, my_dict: MyDict):
        self.my_var = my_dict["my_var"]  # 此处仍能正确识别Literal类型

    def other_method(self):
        self.my_var  # 现在悬停会显示Literal["a", "b"]

方法二：复用Literal类型（适合多次使用的场景） #

如果这个Literal类型需要在多处使用，可以先定义一个类型别名，再标注给实例变量，让代码更简洁：

from typing import TypedDict, Literal

# 定义类型别名
MyVarType = Literal["a", "b"]

class MyDict(TypedDict):
    my_var: MyVarType

class MyClass:
    my_var: MyVarType  # 使用类型别名标注

    def __init__(self, my_dict: MyDict):
        self.my_var = my_dict["my_var"]

    def other_method(self):
        self.my_var  # 同样显示正确的Literal类型

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