如何让IDE正确推断子类中嵌套类实例的Type Hint？

你的核心问题是IDE无法根据子类的实际类型，自动推断nestedInstance属于子类的Nested内部类。可以通过在Base类中添加类型提示，利用Python的类型系统让IDE识别正确类型，无需修改任何子类代码。

方法一：使用Python 3.11+的Self类型（推荐） #

Self类型可以直接指代当前实例所属的类，IDE能据此关联到子类的Nested类：

from typing import Self

class Base:
    class Nested:
        pass

    def __init__(self: Self) -> None:
        # 标注nestedInstance为当前类的Nested类型
        self.nestedInstance: self.Nested = self.Nested()

方法二：使用TypeVar+Generic兼容旧版本Python #

如果使用Python 3.11之前的版本，可以通过泛型类型变量绑定子类：

from typing import TypeVar, Generic

# 定义绑定到Base子类的类型变量
T = TypeVar('T', bound='Base')

class Base(Generic[T]):
    class Nested:
        pass

    def __init__(self) -> None:
        # 利用泛型参数关联子类的Nested类型
        self.nestedInstance: T.Nested = self.Nested()

原理说明 #

这两种方式都是通过类型提示告诉IDE：nestedInstance的类型并非固定的Base.Nested，而是当前实例所属类的Nested内部类。当子类Sub继承Base时，IDE会自动将self的类型推断为Sub，进而识别nestedInstance为Sub.Nested类型。

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