Question

我想重载Dart中的比较运算符（==）来比较结构。现在，当我已经重载了基类的比较运算符并希望重用它时，我不确定如何为派生类执行此操作。

假设我有一个基类，如：

class Base
{
  int _a;
  String _b;

  bool operator ==(Base other)
  {
    if (identical(other, this)) return true;
    if (_a != other._a) return false;
    if (_b != other._b) return false;
    return true;
  }
}

然后我声明我派生类添加了额外的字段，并且还想重载operator ==。我只想比较派生类中的其他字段，并将Base字段的比较委托给Base类。在其他编程语言中，我可以执行类似Base::operator==(other)或super.equals(other)的操作，但在Dart中我无法弄清楚最好的方法是什么。

class Derived extends Base
{
  int _c; // additional field

  bool operator ==(Derived other)
  {
    if (identical(other, this)) return true;        
    if (_c != other._c) return false; // Comparison of new field

    // The following approach gives the compiler error:
    // Equality expression cannot be operand of another equality expression.
    if (!(super.==(other))) return false;

    // The following produces "Unnecessary cast" warnings
    // It also only recursively calls the Derived operator
    if ((this as Base) != (other as Base)) return false;    

    return true;
  }
}

我想我能做的是：

在派生类中也比较基类的所有字段：如果基类得到改变则非常容易出错，并且当base和derived在不同的包中时也不起作用。
使用与当前equals相同的逻辑声明operator ==函数，调用super.equals()来比较基类并将operator==的所有调用委托给{{ 1}}功能。但是，实施equals和equals

那么这个问题的最佳或推荐解决方案是什么？

Answer 1

好的，经过一些进一步的实验，我自己想出来了。它只是在呼唤：

super==(other)

之前我曾尝试使用super.operator==(other)和super.==(other)，但是没想到简单super==(other)就足够了。

对于上面给出的示例，正确的运算符是：

bool operator ==(Derived other)
  {
    if (identical(other, this)) return true;
    if (_c != other._c) return false;
    if (!(super==(other))) return false;
    return true;
  }

Answer 2

似乎我在碰一个5岁的问题，但是从现在开始，我们有了Dart 2 ...

==运算符可以轻松地内联定义。

class Base {
    int a;
    String b;

    bool operator ==(other) => other is Base
          && other.a == a
          && other.b == b;
}

要在派生类中重用，super == other似乎仍然是这种方式。

class Derived extends Base {
    int c;

    bool operator ==(other) => other is Derived
          && super == other
          && other.c == c;
}

现在，我发现一个主要的难题，==运算符似乎在比较项的左侧。也就是说Base == Derived将调用Base的==比较，而Derived == Base将调用Derived的==比较（以及随后的Base）。这似乎是合理的，但是让我挠了一下头。

例如：

main() {
    Base b = new Base();
    Derived d1 = new Derived();
    Derived d2 = new Derived();

    b.a = 6;
    d1.a = 6;
    d2.a = 6;

    b.b = "Hi";
    d1.b = "Hi";
    d2.b = "Hi";

    d1.c = 1;
    d2.c = 1;

    assert(d1 == d2); // pass
    assert(b == d1);  // PASS!!!
    assert(d1 == b);  // fail
}

（注意：出于演示目的，我从字段中删除了私人_。）

Answer 3

为避免基类与子句错误地具有相等性的问题，您可以如下添加对runtimeType的附加检查。

bool operator ==(other) => other is Base
      && this.runtimeType == other.runtimeType
      && other.a == a
      && other.b == b;

Dart：将派生类的比较运算符委托给基类的比较运算符

3 个答案: