TypeVar作为字典键类型提示时Pylance报无意义上下文错误的咨询

你出错的核心原因是误用了内置type而非类型提示专用的Type泛型，同时泛型变量的作用域未被正确识别。

正确的类型提示写法 #

from typing import Callable, TypeVar, Type, Dict

class Hero:
    def __init__(self, name):
        self.name = name

all_heroes = {
    "deadpool": Hero("wade wilson"),
    "wolverine": Hero("james howlett")
}

# 定义泛型变量T，代表任意类型
T = TypeVar("T")
# 用Type[T]表示T的类型对象，对应值为接收字符串返回T的Callable
REGISTERED_CONVERTERS: Dict[Type[T], Callable[[str], T]] = {
    Hero: all_heroes.get,
    int: int,
}

# 验证类型提示有效性
hero_lookup = REGISTERED_CONVERTERS[Hero]
assert hero_lookup("deadpool").name == "wade wilson"

int_lookup = REGISTERED_CONVERTERS[int]
assert int_lookup("5") == 5

可选：限制转换器支持的类型 #

如果希望仅允许特定类型（比如int和Hero），可以给TypeVar添加绑定：

T = TypeVar("T", int, Hero)

这样类型检查器会拦截不符合规范的键值对添加操作。

错误原因解析 #

你之前使用type[T]是错误语法——类型提示中表示「类型对象」的泛型必须使用Type[T]（需从typing模块导入）。Pylance报错正是因为无法识别type[T]，导致泛型变量T的作用域无法被正确解析，并非Pylance本身的问题。

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