Python：如何注释操作员dunder方法？

Question

假设我有一个类a支持+操作，以便可以将a的实例添加到其他实例中a，结果是a的另一个实例。例如：

class A:
    ...

    def __add__(self, other):
        if not isinstance(other, A):
            return NotImplemented
        else:
            return A(self._value + other._value)  # or whatever

我应该如何注释该方法？我可以想到三个选择，这对我来说听起来都不好。

所有三个选项的标题

为简单起见，我将使用

from types import NotImplementedType
from typing import Any, Self, overload

。选项1

def __add__(self, other: Self) -> Self:

这就像对我说谎，因为__添加__可能会返回nimplemented。另外（正如评论中提到的Richard Ambler），其他可能不是a的实例，因此不应注释为self 。

选项2

def __add__(self, other: Any) -> Self | NotImplementedType:

现在，它可以查看a（） + a（） + a（） is a |的类型Checker notimplempledtype，然后在obj = a（）+a（）之后; f（obj）;我会收到一些警告，例如“预期a，但obj可能是notimplemented”。

选项3：

@overload
def __add__(self, other: A) -> Self: ...
@overload
def __add__(self, other: Any) -> Self | NotImplementedType: ...

def __add__(self, other):
   ...  # implementation

我还不能测试这个问题，因为显然Mypy尚未实现self，但这看起来应该很好。但是，这确实比我预期的要多，因为这种功能是相当标准的样板。

---

有记录的最佳实践吗？这是上述方法之一，还是我没有想到的另一种方法？