如何解决泛型子类重写方法时的Pylance类型检查报错？

你遇到的错误根源在于：子类Bar继承自Foo[str]，但重写method方法时没有给参数q标注明确的类型。Pylance会沿用父类中TypeVar的约束（T可以是str或int），因此无法确定q的具体类型，进而报错无法访问int类型不存在的capitalize方法。

最简单的解决方法 #

直接给Bar的method参数q标注str类型，同时指定返回值类型为str，让Pylance明确类型信息：

import typing as typ

T = typ.TypeVar("T", str, int)

class Foo(typ.Generic[T]):
    def method(self, q: T) -> T:
        return q

class Bar(Foo[str]):
    def method(self, q: str) -> str:
        return q.capitalize()

泛型兼容的进阶写法（可选） #

如果希望保持代码和父类泛型的关联性，可以通过类型工具获取父类绑定的泛型类型，这种写法适合更复杂的泛型继承场景：

import typing as typ
from typing import get_args, get_origin

T = typ.TypeVar("T", str, int)

class Foo(typ.Generic[T]):
    def method(self, q: T) -> T:
        return q

class Bar(Foo[str]):
    # 自动获取父类绑定的泛型类型
    _BoundT = get_args(get_origin(__orig_bases__[0]))[0]
    def method(self, q: _BoundT) -> _BoundT:
        return q.capitalize()

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