多重继承、集合和 hashCode/equals 重写

Question

下面的代码生成：
名称的 hashCode
名称的 hashCode
名字等于
ID=0

import scala.collection.mutable
object TestTraits {
  def main(args: Array[String]): Unit = {
    val toto0 = new Person(0,"toto")
    val toto1 = new Person(1,"toto")
    val peoples = mutable.Set.empty[PersonID]
    peoples.add(toto0)
    peoples.add(toto1)
    peoples.foreach(_.showID)
    //peoples.foreach(_.saySomething)//won't compile'
  }
}

trait Name{
  var theName=""
  override def hashCode(): Int = {
    println("Name's hashCode")
    var hash = 5;
    hash = 71 * hash + this.theName.##;
    hash
    //super.hashCode()//infinite loop
  }

  override def equals(that: Any): Boolean = {
    println("Name's equals")
    that match {
    case that: Name     => this.theName.equals(that.theName)
    case _ => false
    }
  }
}

abstract class PersonID{
  val idNumber: Int

  override def hashCode(): Int = {
    println("PersonID's hashCode")
    super.##
  }
  override def equals(that: Any): Boolean = {
    println("PersonID's equals")
    that match {
    case that: PersonID     => this.eq(that)
    case _ => false
    }
  }
  def showID: Unit = {
    println("ID=" + idNumber)
  }
}

class Person(val id:Int, val s:String) extends {
  val idNumber=id
} with PersonID with Name {
  /*override def hashCode(): Int = {
    println("Person's hashCode")
    super.## //infinite loop !!
  }
  override def equals(that: Any): Boolean = {
    println("Person's equals")
    that match {
    case that: Person     => this.eq(that)
    case _ => false
    }
  }*/
  theName=s
  def saySomething: Unit = {
    print("Hello, my name is " + theName + ", ")
    showID
  }
}

由于“peoples”是一组 PersonID，我期待以下输出：
PersonID 的 hashCode
PersonID 的 hashCode
ID=0
ID=1

有人可以解释这种行为以及如何做我所期望的事情（也就是说，有一个基于字段值的“等于”类，除非将实例放入 Set[PersonID] 中）

另一个谜团是为什么我当我在自定义 hashCode 中使用 super.hashCode() 时会出现无限循环吗？

PS：我使用预初始化的抽象成员，因为我在实际用例中需要它......

Answer 1

另一个谜团是为什么当我在自定义 hashCode 中使用 super.hashCode() 时会出现无限循环？

除了装箱数字之外，## 的整个实现就是调用 hashCode。

在 hashCode 的实现中，您正在调用（或尝试调用）##。

谜团解开了！

Answer 2

我得到的是这样的：

Name's hashCode
Name's hashCode
Name's equals
ID=0

发生这种情况是因为 Name 是初始化中的最后一个特征，所以它的覆盖 hashCode 和 equals 将是第一个称为。您希望 Set 调用基于静态类型（即已声明的类型）的方法，这不是 OO 的工作方式。如果这是真的，那么继承和覆盖就几乎毫无用处。

至于如何实现你想要的……你做不到。如果有一个采用 Equal[A] 类型类的 Set 那就太好了，但是没有。也许斯卡拉兹有它。

顺便说一句，对 super.## 的调用在 Scala 2.9.0.rc2 上被视为非法。我还不确定这意味着什么。