當使用 self.class() 返回 class Foo 的實例時，為什么 PyCharm 認為類型應該是 Optional[Type[Foo]]？

Question

我有一個 class Foo ，它有一個返回另一個 Foo 實例的方法。

from __future__ import annotations

class Foo:
    def get_other_foo(self) -> Foo:
        return self.__class__()

（ __future__導入是為了使方法上的Foo注釋在 Python 3.7 中工作。）

這可行，並且 MyPy 不會標記文件中的任何錯誤。 但是，PyCharm 以黃色突出顯示返回值，當我在它上面使用 hover 時，我收到警告“預期類型'Foo'，改為'Optional [Type [Foo]]'”。

我考慮在方法中對 Foo 進行硬編碼，如下所示：

from __future__ import annotations

class Foo:
    def get_other_foo(self) -> Foo:
        return Foo()

這也有效，並使 PyCharm 警告靜音。 但是，在子類中，這將返回 Foo 的實例而不是子類的實例，所以我不願意這樣做。

為什么 PyCharm 在我的第一個示例中認為返回類型應該是Optional[Type[Foo]] ？ 有沒有辦法修復 PyCharm 警告，同時保持get_other_foo()從子類調用時返回子類實例的能力？

Answer 1

當使用 self.__class__() 返回 class Foo 的實例時，為什么 PyCharm 認為類型應該是 Optional[Type[Foo]]？