如何为绑定TypeVar的函数正确标注返回内部类的类型？

你遇到的问题是因为Pylance默认不会自动推断绑定了Base的TypeVar包含嵌套的BaseInner类——即便Base本身有这个嵌套类，TypeVar的bound仅限定T是Base的子类，并未显式声明子类必须继承/重写这个嵌套类。

解决方案1：使用Protocol定义结构约束 #

通过Protocol明确所有绑定到T的类型必须包含BaseInner嵌套类，让类型检查器能正确解析T.BaseInner：

from typing import TypeVar, Protocol

# 定义协议，要求类必须包含BaseInner嵌套类
class HasBaseInner(Protocol):
    class BaseInner:
        ...

T = TypeVar("T", bound=HasBaseInner)

class Base:
    class BaseInner:
        ...

class DerivedBase(Base):
    class BaseInner:
        def ExtendedFunctionality(self):
            print("扩展功能执行")

def ReturnBaseInner(BaseInstance: T) -> T.BaseInner:
    return BaseInstance.BaseInner()

# 测试：类型检查器会识别返回的是DerivedBase.BaseInner，可调用ExtendedFunctionality
obj = ReturnBaseInner(DerivedBase())
obj.ExtendedFunctionality()  # Pylance不会报错，能正确提示方法

解决方案2：给Base类添加类属性类型注解 #

直接在Base类中给BaseInner添加类型注解，明确这是一个类级别的成员，让类型检查器确认子类会继承该成员：

from typing import TypeVar, Type

class Base:
    # 显式声明BaseInner是类类型
    BaseInner: Type["BaseInner"]
    class BaseInner:
        ...

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

class DerivedBase(Base):
    class BaseInner:
        def ExtendedFunctionality(self):
            print("扩展功能执行")

def ReturnBaseInner(BaseInstance: T) -> T.BaseInner:
    return BaseInstance.BaseInner()

# 测试
obj = ReturnBaseInner(DerivedBase())
obj.ExtendedFunctionality()

这两种方法都能让Pylance正确识别T.BaseInner，并且在派生类重写嵌套类后，返回的实例可以正常访问扩展方法，满足你的需求。

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