集合中的 Scala 案例类

Question

场景：例如，我正在解析一个 IL 并希望从基于堆栈的表示转换为 CFG。

我的 IL 由多个操作组成，例如 PushInt(value)、Pop 等。现在的问题是哪种实现在 Scala 方面是正确的。我很想使用案例类/对象或提取器，这样我就可以编写代码了

op match {
  case PushInt(x) => doSomethingWith x
  case Pop => ...
}

现在问题存在于类似PushInt(1) :: PushInt(1) :: Pop :: Pop 的序列中，因为 PushInt(1) 等于 PushInt(1) 并且我不能将多个（相等的）操作添加到集合中。但是我知道我正在丢弃一些信息，即流中的位置，但这会隐式存储为序列中的 te 索引。

• 一种可能的解决方案是重写 hashCode 方法并打破 equal/hashCode 的规则。我对此并不满意。

• 另一种选择是在抽象库中存储一个“创建时间”计数器，以便case class PushInt(value: Int) extends AbstractOp(AbstractOp.nextIndex)

• 使用提取器，但在这种情况下，我会错过一些不错的功能，例如 hashCode、equals、toString 的实现，以及更重要的是检查穷举匹配。

所以我现在的问题是如何根据我的要求为我的结构建模。就 Scala 而言，任何可能的解决方案是否“正确”？

Answer 1

首先，让我们解决找到您想要的确切实例的问题：

scala> trait AbstractOp
defined trait AbstractOp

scala> case class Pop() extends AbstractOp {
     |   override def equals(other: Any) = other match {
     |     case that: Pop => this eq that
     |     case _ => false
     |   }
     | }
defined class Pop

scala> case class PushInt(val i: Int) extends AbstractOp {
     |   override def equals(other: Any) = other match {
     |     case that: PushInt => this eq that
     |     case _ => false
     |   }
     | }
defined class PushInt

scala> val l = List(PushInt(1), PushInt(1), Pop(), Pop())
l: List[Product with AbstractOp] = List(PushInt(1), PushInt(1), Pop(), Pop())

scala> val op = l(1)
op: Product with AbstractOp = PushInt(1)

scala> println( l.indexOf( op ) )
1

这当然是指PushInt(1) != PushInt(1)，除非它与PushInt(1) 完全相同。它不会破坏equals/hashCode 合同，因为a.equals(b) => a.hashCode == b.hashCode，但a.hashCode == b.hashCode 并不意味着什么。但是，如果您唯一的用途是查找该实例，请尝试以下操作：

scala> case class Pop() extends AbstractOp
defined class Pop

scala> case class PushInt(val i: Int) extends AbstractOp
defined class PushInt

scala> val l = List(PushInt(1), PushInt(1), Pop(), Pop())
l: List[Product with AbstractOp] = List(PushInt(1), PushInt(1), Pop(), Pop())

scala> val op = l(1)
op: Product with AbstractOp = PushInt(1)

scala> println( l.findIndexOf( op eq _ ) )
1

无论哪种方式，如果您将该实例重新插入列表中，您就会遇到麻烦。您必须确保您插入的每个实例都是唯一的。您甚至可以编写自己的集合，或者在插入重复实例时抛出异常，或者复制传递给它的任何实例（使用案例类和 Scala 2.8 上的 copy 方法很容易）。

Answer 2

如果 Joa 不介意 ;) 想象一下这样的代码：

trait AbstractOp
case class Pop() extends AbstractOp
case class PushInt(val i:Int) extends AbstractOp

现在我们构造一个表示程序指令序列的列表

val l=List(PushInt(1), PushInt(1), Pop(), Pop())

第一个问题：你想得到一个操作的索引

val op=l(1) // get the second operation for example
// now you want to get back the index for the op you are using
println( l.indexOf( op1 ) ) // you will get 0 and not 1

第二个问题：你想将前一个列表中的每个操作映射到一个值，这会失败，因为equals不会区分两个Pop，或者两个PushInt。

附： 当然这不是一个答案，我还没有找到如何在其他 cmets 下发布这个 随意将其移动到正确的位置