如何为基类的类方法定义返回类型提示，使子类调用时PyCharm能给出正确代码提示？

你遇到的核心问题是：List[Type[Base]]表示的是Base类（或子类）的类型对象的列表，但你的foo方法实际返回的是Base（或子类）的实例对象的列表，而且需要让类型检查器（PyCharm）知道返回的实例是调用该方法的子类的实例，而不是基类的。

要实现正确的代码提示，我们需要利用Python的泛型类型系统来绑定子类的具体类型，具体步骤如下：

1. 导入TypeVar和Generic工具，用来定义泛型类型
2. 定义一个绑定到Base的类型变量，确保它只能是Base或其子类
3. 让Base类继承Generic，实现泛型绑定
4. 将foo方法的返回类型标注为包含该泛型类型的列表

完整代码示例：

from typing import TypeVar, Generic, List

# 定义绑定到Base的类型变量，bound限定只能是Base或其子类
T = TypeVar('T', bound='Base')

class Base(Generic[T]):
    @classmethod
    def foo(cls) -> List[T]:
        # 返回当前调用类的实例列表，类型会被自动绑定为子类类型
        return [cls(), cls()]

class Sub(Base['Sub']):
    # 定义子类专属方法，测试代码提示
    def sub_specific_method(self):
        print("这是Sub类独有的方法")

# 测试代码提示效果
sub_instance = Sub.foo()[0]
# 现在PyCharm应该能正确识别sub_instance是Sub类型，提示sub_specific_method方法

为什么这样能生效？ #

• TypeVar('T', bound='Base')限定了T只能是Base或它的子类，避免了类型范围过大的问题
• 让Base继承Generic[T]后，当子类Sub继承Base['Sub']时，T会被自动绑定为Sub类型
• 此时foo方法返回的List[T]就等价于List[Sub]，PyCharm能准确识别列表元素的类型，从而给出子类的属性和方法提示

如果你的Python版本是3.10及以上，还可以使用PEP 585引入的内置泛型类型，不需要导入List，直接写list[T]即可：

from typing import TypeVar, Generic

T = TypeVar('T', bound='Base')

class Base(Generic[T]):
    @classmethod
    def foo(cls) -> list[T]:
        return [cls(), cls()]

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