类型化python：在类定义中使用类自己的类型[duplicate]

Question

以下代码不能按预期工作。显然，我不能在类定义中使用类自己的类型：

class Foo:
    def __init__(self, key :str) -> None:
        self.key = key

    def __eq__(self, other :Foo) -> bool:
        return self.key == other.key

print('should be true: ', Foo('abc') == Foo('abc'))
print('should be false: ', Foo('abc') == Foo('def'))

运行它的结果是：

Traceback (most recent call last):
  File "class_own_type.py", line 1, in <module>
    class Foo:
  File "class_own_type.py", line 5, in Foo
    def __eq__(self, other :Foo) -> bool:
NameError: name 'Foo' is not defined

此外，使用mypy检查代码会返回：

class_own_type.py:5: error: Argument 1 of "__eq__" incompatible with supertype "object"

如何将此代码更正为对Python和mypy有效？

Answer 1

名称Foo尚未绑定，因为在尝试使用该名称时，类本身尚未定义（请记住：函数参数是在函数定义时计算的，而不是在函数调用时计算的）。

在Python 3.7中，您可以通过在模块顶部添加此导入来推迟注释的评估：

from __future__ import annotations

在Python 3.10中，延迟求值将成为默认行为。对于Python

class Foo:
    def __init__(self, key :str) -> None:
        self.key = key

    def __eq__(self, other: 'Foo') -> bool:
        return self.key == other.key

print('should be true: ', Foo('abc') == Foo('abc'))
print('should be false: ', Foo('abc') == Foo('def'))