Scala 2.9 中的案例类和代理行为

Question

在将我们的代码迁移到 Scala 2.9 时，我们发现其中大部分代码无法工作并且默默地失败了。我们追踪到扩展 Proxy 不相等的案例类。在我们的代码中，我们不直接扩展 Proxy，我们只是扩展扩展 Proxy 的库中的类。

任何帮助将不胜感激。

在 2.8 中

scala> case class Test(a:String) extends Proxy {
     |   def self = a
     | }
defined class Test

scala> 

scala> val label = new Test("bla")
label: Test = bla

scala> println(label == label) // this is TRUE
true

scala> println(label == "bla")
true

在 2.9

scala> case class Test(a:String) extends Proxy {
     |   def self = a
     | }
defined class Test

scala> 

scala> val label = new Test("bla")
label: Test = bla

scala> println(label == label) // this is now FALSE
false

scala> println(label == "bla")
true

更新

我认为这只能是 Scala 2.9 中的一个错误。否则，如果您有一个扩展任何其他类的案例类，您必须调查该基类的层次结构，以确保它在任何时候都不会扩展 Proxy。我们无法在代码中执行此操作，我们只能修复更明显的错误。如果这是预期的行为，那么编译器警告是必须的。听起来对吗？

更新

也在 scala 邮件列表。

更新

我已提交错误

Answer 1

在 2.9 中，他们将 equals 方法从: 更改

override def equals(that: Any): Boolean = 
  if(that == null) false 
  else that equals self

为

override def equals(that: Any): Boolean = that match {
 case null       => false
 case x: Equals  => (x canEqual self) && (x equals self)
 case x          => (x equals self)
}

x: 由于某种原因，Equals 不等于 self。

您可以重写 equals 方法来修复它。

Answer 2

这将解决你的问题

case class Test(a: String) extends Proxy {
   def self = a
   def canEqual(that: Any) = that match {
      case that: String => true
      case _ => false
   }
}

Answer 3

那么为什么不重写 equals 方法呢？那应该可以解决问题。