Question

出于教学目的，我使用Enumeration和case对象实现了枚举。我对Enumeration版本感到满意，尽管它不能在匹配语句中警告丢失的情况。

我曾尝试使用case对象编写等效项，但我发现，虽然它编译，但它不会运行。特别是，它似乎在运行时进入无限循环（但是我无法在调试器中确认这一点）。这是我正在尝试运行的代码：

sealed abstract class Suit extends Ordered[Suit] {
  val name: String
  val priority: Int
  override def toString = name
  def compare(that: Suit) = priority-that.priority
}
case object Spades extends Suit { val name = "Spades"; val priority = 0 }
case object Hearts extends Suit { val name = "Hearts"; val priority = 1 }
case object Diamonds extends Suit { val name = "Diamonds"; val priority = 2 }
case object Clubs extends Suit { val name = "Clubs"; val priority = 3 }

object Suit {
  implicit def ordering[A <: Suit]: Ordering[A] = Suit.ordering
  def suits = List(Clubs,Spades).sorted
}

如果我将此代码输入REPL（通过粘贴模式）或者如果我在Eclipse中编译它，那么一切都很好。但是，如果我尝试测试Suit对象的suit方法，则运行只会挂起，我必须终止它。

我已经尝试了大多数（如果不是所有）我在StackOverflow上找到的关于implicits的建议（例如，没有定义Suit类来扩展Ordered [Suit]而是直接为类指定一个Ordering。这些都没有然而，编译。

非常感谢工作建议。

Answer 1

object Suit {
  implicit def ordering[A <: Suit]: Ordering[A] = Suit.ordering
}

这是一个无限循环，ordering调用自身。我想你想要一个Ordering[Suit]，在这种情况下，要求A的子类型Suit的排序是没有意义的（这将是一个单独的案例对象）

对于扩展Ordered的类型，已经存在隐式排序，因此您甚至不需要构造一个：

implicitly[Ordering[Suit]]  // aka Ordering.ordered[Suit]

所以以下内容正常：

object Suit {
  def suits = List[Suit](Clubs, Spades).sorted
}

请注意，List(Clubs, Spades).sorted无效，，因为推断的列表元素类型为Suit with Product，并且无论如何都会导致无法找到明确的排序。

Answer 2

我之前遇到的部分问题是，Suit实际上扩展了一个名为Concept的特征，我没有在这里展示（试图简化事情）。

然而，它实际上允许对0 __的答案略有改进，因为我不再需要明确设置列表的类型。这是代码，至少是相关部分：

trait Concept extends Ordered[Concept]{
  val name: String
  val priority: Int
  override def toString = name
  def compare(that: Concept) = priority-that.priority
}
sealed trait Suit extends Concept {
}
object Concept {
  implicit def ordering[A <: Concept]: Ordering[A] = Ordering.by(_.priority)
}
case object Spades extends Suit { val name = "Spades"; val priority = 0 }
case object Hearts extends Suit { val name = "Hearts"; val priority = 1 }
case object Diamonds extends Suit { val name = "Diamonds"; val priority = 2 }
case object Clubs extends Suit { val name = "Clubs"; val priority = 3 }
object Suit {
  import scala.math.Ordered.orderingToOrdered
  def suits = List(Clubs,Spades).sorted
}

案例对象枚举，顺序和含义

2 个答案: