等式和案例类

Question

我有：

sealed trait BEValue

case class BEByteString(val value: Array[Byte]) extends BEValue { 
  def equals(that: BEByteString): Boolean = this.value.deep == that.value.deep
  def ==(that: BEByteString) = this equals that
}

case class BEList(val value: List[BEValue]) extends BEValue

BEByteString("spam".getBytes) == BEByteString("spam".getBytes) //true

val l1 =  BEList(BEByteString("spam".getBytes):: Nil)
val l2 =  BEList(BEByteString("spam".getBytes):: Nil)

l1 == l2 // false. Why ?

Answer 1

您不应该创建自己的== 方法。在scala中==方法是使用equals实现的。

您应该使用override 关键字来覆盖equals 方法。

case class BEByteString(val value: Array[Byte]) extends BEValue { 
  override def equals(that: BEByteString): Boolean = this.value.deep == that.value.deep
}
// <console>:11: error: method equals overrides nothing
//          override def equals(that: BEByteString): Boolean = this.value.deep == that.value.deep
//                       ^       

您创建了一个新的equals 方法。并且您的新 == 方法是使用您的新 equals 方法实现的。但是 case class equals 是使用Any#equals 方法来实现参数的。

Any#equals 方法签名是def equals(that: Any): Boolean

case class BEByteString(val value: Array[Byte]) extends BEValue { 
  override def equals(that: Any): Boolean = that match {
    case BEByteString(thatValue) => thatValue.deep == this.value.deep
    case _ => false
  }
}

l1 == l2 
// Boolean = true

请注意，您可以使用IndexedSeq[Byte] 代替Array[Byte]。在这种情况下，您可以使用默认的 equals 实现。它还使您的BEByteString 类不可变：使用Array[Byte] 可以更改value 的内容。