案例类中的重命名和覆盖等于方法

Question

我想定义一个名为Ext 的特征，它将现有的equals 方法重命名为equalsByAttributes，同时定义一个新的equals 方法。该特征被使用 扩展案例类。我目前的解决方案看起来有点老套：

case class A(id: Int) extends Ext

trait Ext { p: Product =>
    // new implementation
    override def equals(obj: Any) = obj match {
        case that: AnyRef => this eq that
        case _ => false
    }

    // reimplementation of old equals implementation
    def equalsByAttributes(obj: Any) = obj match {
        case that: Product =>
            if (this.getClass.isAssignableFrom(that.getClass) || that.getClass.isAssignableFrom(this.getClass))
                p.productIterator.toList == that.productIterator.toList
            else
                false
        case _ => false
    }
}

不知道有没有直接在equalsByAttributes中引用A的equals方法，这样就可以避免这个方法的重新实现？

编辑 2012-07-12

由于有一个使用super.METHOD_NAME 引用超级实现的解决方案，我认为必须有类似的语法，例如overridden.METHOD_NAME 来访问将由该特征扩展的基类/特征中的特定实现，所以我的Ext 特质看起来像这样：

trait Ext { p: Product =>
    override def equals(obj: Any) = ...

    def equalsByAttributes(obj: Any) = overridden.equals(obj)
}

Answer 1

不要更改 case 类的 equals。如果您需要这样做，请不要让您的课程成为案例课程。更改案例类方法会使代码表现出意外（即与案例类不同），这将增加维护成本，破坏假设案例类像案例类一样工作的一切，使人们的生活变得悲惨，并让很多程序员讨厌你的胆量.

换句话说，这不值得。不要那样做。

Answer 2

编译器不会为已经带有 equals 的案例类生成 equals（和分别为 hashCode），即继承一个或自己声明一个。在this blog entry 中阅读更多相关信息。 AFAIK 你唯一能做的就是通过使用 productIterator 提供的 productIterator 来实现结构平等，案例类扩展，就像你在 equalsByAttributes 中所做的那样。

Answer 3

此代码将使用 Ext trait 中的方法实现：

case class A(id: Int) extends Ext { 
  def someEqual(x:Any) = { 
    super[Ext].equalsByAttributes(x) 
  } 
}

这里的 super[X] 用于指代此类扩展的特征之一。这回答了你的第二个问题。

第一个问题：

trait Ext { p: A => def eql(x:Any) = p.equals(x) }