重载不可变类中的方法

Question

假设我有一个Point带有x和y参数的不可变类，以及一个add定义如下的方法：

class Point:
  Point add(int x, int y):
    return new Point(this.x + x, this.y + y);

由于它是不可变的，因此它返回一个新的Point。这一切都很好，直到我们有了一个扩展Point并重新定义的类add。

class ColoredPoint extends Point:
  ColoredPoint add(int x, int y):
    return new ColoredPoint(this.x + x, this.y + y, this.width, this.height)

我们必须编写新的定义，因为否则将返回addon的方法，这是不好的。但是现在，这在大多数语言中都行不通，因为我们正在压倒一切，但我们只是在对返回类型进行歧义处理。语言不允许您只对返回类型进行歧义的方法，因为在大多数情况下，这可能是模棱两可的。ColoredPointPointadd

那么我们该怎么办？

我看到的唯一解决方案是：

使它们都实现一些接口，例如 IPositionable
放弃不变性。
还要别的吗？

Answer 1

如果要强制不变性，则不能有子类。例如java.lang.String，参见，final由于这样的原因，它是一个类：防止人们将String子类化以使其可变。

另外，为什么要首先Rect扩展Point？这不是一回事吗？从几何角度看，它们甚至不存在于相同的维中。

最后，我看不到子类上的方法问题返回更严格的类型（以及某些不支持这种语言的语言）与不变性之间的联系。