如何定义扩展此特征的任何事物

Question

请参阅以下代码片段：

 trait Fruit {
   val color:String
   def == (fruit:Fruit) = this.color == fruit.color
 }

 case class Orange(color:String) extends Fruit 

 case class Apple(color:String) extends Fruit

正如预期的那样，Orange("red") == Orange("red") 为 true。但是，我想强制只能比较相同类型的水果，因此例如 Orange("red") == Apple("red") 应该给出错误。我们能否以一种优雅的方式在特质 Fruit 的 == 签名中强制执行这一点？

编辑：我希望在编译时捕获错误，而不是在运行时捕获。

Answer 1

Scalaz 有一个 Equal “类型类”来解决这个问题，尽管使用了不同的运算符。

https://github.com/scalaz/scalaz/blob/ master/core/src/main/scala/scalaz/Equal.scala

它的核心基本上是这样的（尽管我在他们使用一些 unicode 的地方使用 === ）

/** Defines a type safe === operator */
trait Equals[A] {
 def ===(y : A) : Boolean
}

/** A conventient way to define Equals traits based on the == operator */
def equalA[A](x : A) = new Equals[A] {
  def ===(y : A) = x == y
}

并且像这样使用

// one for oranges
implicit val EqualsOrange = equalA[Orange] _

// one for apples
implicit val EqualsApple = equalA[Apple] _


Orange("red") === Orange("red") // true

Orange("red") === Orange("green") // false

Orange("red") === Apple("red") // Compile error

Answer 2

不幸的是，您无法静态地检查这一点...至少不能使用 ==，它使用 Java 的 Object#equals 方法，其中所有内容都强调以原始方式定义对象。

如果您想要类型安全，那么您唯一的选择是实现另一个运算符，可能类似于 =|=，然后将其与类型类结合起来以确保您的安全。

我相信 scalaz 对于类型安全相等也有一些有用的东西，但对这个库的了解还不足以肯定地说明这一点。

您可以采取的另一种方法（仅在运行时安全）是使用 canEqual 模式 如此处所述。这已经被案例类使用，并提供了一种在适合相等时选择性地破坏 LSP 的好方法。

Answer 3

如果您愿意将该方法的名称从 == 更改为其他名称，我们可以这样做：

trait Fruit {
 type FruitType <: Fruit
 val color:String
 def === (fruit:FruitType) = this.color == fruit.color

}


case class Orange(color:String) extends { type FruitType = Orange } with Fruit 

case class Apple(color:String) extends {type FruitType = Apple } with Fruit

然后，如果我们将 Apples 与 Oranges 进行比较，我们会得到：

Apple("red") === Orange("red")
<console>:11: error: type mismatch;
 found   : Orange
 required: Apple
       Apple("red") === Orange("red")

Apples 与 Apples of the same color 我们会得到：

Apple("red") === Apple("red")
res10: Boolean = true

Apples with Apples of a different我们得到的颜色：

Apple("green") === Apple("red")
res11: Boolean = false

Answer 4

尝试：

 trait Fruit {
   val color: String
   def == (fruit: Fruit) = getClass == fruit.getClass && color == fruit.color
 }