使用TypeVar时出现Pylance错误，如何正确添加类型提示？

你的问题出在未对TypeVar做精确的类型约束，导致Pylance无法推断分支中赋值后的类型与返回类型T的一致性。以下是修正后的代码和说明：

修正后的代码 #

from typing import TypeVar, Union
from __future__ import annotations  # 若使用Python 3.9及以下版本，需添加此行支持递归类型注解

# 定义递归类型变量，限定支持的类型：字符串、嵌套的列表/元组、键为字符串值为支持类型的字典
T = TypeVar('T', str, list[T], tuple[T, ...], dict[str, T])

PLACEHOLDERS = ["1", "2", "3"]
VALUE = "value"

def replace_string(obj: T) -> T:
    if isinstance(obj, str):
        for placeholder in PLACEHOLDERS:
            obj = obj.replace(placeholder, VALUE)
    elif isinstance(obj, list):
        obj = [replace_string(item) for item in obj]
    elif isinstance(obj, tuple):
        obj = tuple(replace_string(item) for item in obj)
    elif isinstance(obj, dict):
        obj = {key: replace_string(value) for key, value in obj.items()}
    return obj

关键修改点 #

1. 精确约束TypeVar：
   给TypeVar指定了具体的允许类型，包括递归的嵌套类型（比如列表元素可以是T类型，即支持嵌套处理）。这样Pylance能明确每个分支中处理后的类型与输入类型T的匹配关系。

2. 递归类型注解支持：
   对于Python 3.9及以下版本，需要添加from __future__ import annotations来让解释器延迟解析类型注解，支持递归引用T。Python 3.10+则无需此行，原生支持递归类型。

3. 类型窄化生效：
   通过isinstance判断后，Pylance会自动将obj窄化为对应类型（比如str/list等），此时赋值操作的类型会被正确识别为T的子类型，消除"不可赋值"的警告。

内容的提问来源于stack exchange，提问作者이준서