Python：如何覆盖子类中实例属性的类型提示？

在深入研究之前，我的问题是：如何在子类中使用类型提示来指定实例属性的不同类型？

如果您不清楚这意味着什么，请阅读下面的内容，我在其中起草了一个示例来澄清问题。

完整说明

我有一个抽象类Foo，以及一个子类Foo called SubclassOfFoo.

Foo有一个抽象方法get_something返回一个类型的对象Something.

Something有一个子类叫做SubclassOfSomething. SubclassOfSomething有一个额外的方法something_special.

SubclassOfFoo覆盖get_something返回类型的对象SubclassOfSomething。然后，SubclassOfFoo尝试使用SubclassOfSomething的方法something_special.

然而，目前我的 PyCharm 的检查正在报告Unresolved attribute reference 'something_special' for class 'Something'。我正在尝试找出解决此问题的正确方法。

这一切都非常令人困惑，所以我制作了一个很好的小代码片段来帮助这里：

from abc import ABC, abstractmethod


class Something:
    def __init__(self):
        self.attr = 0


class SubclassOfSomething(Something):
    def __init__(self):
        Something.__init__(self)

    def something_special(self):
        self.attr = 1


class Foo(ABC):
    def __init__(self):
        self.my_class = self.get_something()

    @abstractmethod
    def get_something(self) -> Something:
        pass


class SubclassOfFoo(Foo):
    def __init__(self):
        Foo.__init__(self)

    def get_something(self) -> SubclassOfSomething:
        return SubclassOfSomething()

    def do_something_special(self):
        self.my_class.something_special()

基本上，为了让一切顺利进行，我可以做以下几件事之一：

1. 删除返回时的类型提示get_something within Foo
2. 使用类型提示SubclassOfFoo for self.my_class把事情弄清楚
3. 使用泛型？

选项 1. 是我试图避免的

选项2.不错，但我不明白

选项3.也是一个选项。

我也愿意接受其他选择，因为我确信有更好的方法。

你能帮我找出处理这个问题的正确方法吗？

我尝试过的

为了模拟选项 2.，我尝试使用typing.Type正如这里所建议的：类型提示中的子类 https://stackoverflow.com/questions/46092104/subclass-in-type-hinting

但是，这对我不起作用。

使用泛型：

from abc import ABC, abstractmethod
from typing import Generic, TypeVar


SomethingT = TypeVar('SomethingT', bound='Something')


...


class Foo(ABC, Generic[SomethingT]):
    my_class: SomethingT

    def __init__(self):
        self.my_class = self.get_something()

    @abstractmethod
    def get_something(self) -> SomethingT:
        pass


class SubclassOfFoo(Foo[SubclassOfSomething]):
    def __init__(self):
        super().__init__()

    def get_something(self) -> SubclassOfSomething:
        return SubclassOfSomething()

    def do_something_special(self):
        # inferred type of `self.my_class` will be `SubclassOfSomething`
        self.my_class.something_special()