比较对象时 == 运算符在飞镖中究竟是如何工作的？

Question

所以 Dart API 关于 == 操作符是这样说的：

相等运算符。

所有对象的默认行为是当且仅当 这个对象和其他对象是同一个对象。

重写此方法以在 a 上指定不同的相等关系 班级。覆盖方法必须仍然是等价关系。 也就是说，它必须是：

Total：它必须为所有参数返回一个布尔值。它永远不应该 扔。

自反：对于所有对象，o, o == o 必须是 true。

对称：对于所有对象 o1 和 o2、o1 == o2 和 o2 == o1 必须 要么都是true，要么都是false。

传递：对于所有对象o1、o2 和o3，如果o1 == o2 和o2 == o3 是true，那么o1 == o3 必须是true。

方法也应该随着时间的推移保持一致，所以无论两个对象 只有当至少有一个对象是相等时才应该改变 修改。

如果子类覆盖了相等运算符，它应该覆盖 hashCode 方法也是为了保持一致性。

但是，如果 2 个对象相同，Dart 是如何检查的呢？

当且仅当返回true 这个对象和其他对象是同一个对象

可以理解为“检查两个对象是否引用同一个实例”，但显然不是这样。

假设我有 2 个实例

class Car {
  int tires = 4;
  Color color = Colors.blue;
  int doors = 4;
}

Car carA = Car();
Car carB = Car();

根据我的理解，如果我检查carA == carB，Dart 通过循环比较两个实例的所有属性？

如果是这样，如果某些属性是非基元类，它是否总是深入到基元？

谢谢

Answer 1

我相信 Dart 确实“检查两个对象是否引用同一个实例”。如果要比较属性，可以覆盖 == 运算符，例如：

class Car {
  int tires = 4;
  int doors = 4;

  @override
   bool operator ==(Object other) {
     return other is Car && this.tires == other.tires && this.doors == other.doors;
   } 
  @override
  int get hashCode => this.tires * this.doors;
}

void main() {
  Car carA = Car();
  Car carB = Car();
  print("equal ${carA==carB}");
  print("identical ${identical(carA,carB)}");
}

现在汽车是平等的。请注意，函数 identical() 确实会检查相同的对象。

Dart Spec 规定常量对象会检查属性，例如：

class ConstCar {
  final int tires = 4;
  final int doors = 4;
  const ConstCar();
}

void main() {
  ConstCar constCarA = const ConstCar();
  ConstCar constCarB = const ConstCar();
  print("equal ${constCarA==constCarB}");
  print("identical ${identical(constCarA,constCarB)}");
}

这对于 == 和 identical() 返回 true。