在 __add__ 运算符中返回相同子类的对象

Question

我正在为自己的解释器开发一个简单的类型系统。 我正在写这样的东西：

class Base(object):
    def __init__(self, content):
        self.__content = content

    @property
    def content(self):
        return self.__content

    @content.setter
    def content(self, value):
        self.__content = value

class Number(Base):
    def __init__(self, content):
        super(Number, self).__init__(content)

    def __add__(self, other):
        return Number(self.content + other.content)

    ...and so on

class Float(Number):
    def __init__(self, content):
        super(Float, self).__init__(content)

class Integer(Number):
    def __init__(self, content):
        super(Integer, self).__init__(content)

我的问题显然是如果我这样做：

if __name__ == '__main__':
    f1 = Float(3.5)
    f2 = Float(2.3)
    f3 = f1 + f2
    type(f3)

我将f1和f2相加，它们是Float类型，但我得到了f3，它是Number类型，但我希望f3是Float类型。如何在 Number 超类中定义一次 add 运算符，返回一个与 f1 和 f2 相同的类型？我必须使用 isinstance 吗？有没有更清洁的方法来做到这一点？

谢谢！

Answer 1

你可以用__class__做点什么：

def __add__(self, other):
    return self.__class__(self.content + other.content)

正如@Eric 指出的那样，你可能想做一些类似

的事情

if self.__class__ == other.__class__:
    <use __class__>
else:
    <use Number>

以确保可预测的行为（或在类不匹配时采取其他行动）。

__radd__ 也值得在这里覆盖：

__radd__ = __add__

这将使Number(1) + Float(1) == Float(1) + Number(1) == Float(2)