问理解scala枚举

EN

Enumeration特征有一个类型成员Value，表示枚举的各个元素(它实际上是一个内部类，但这里的区别并不重要)。

因此，object WeekDay继承了该类型成员。行type WeekDay = Value只是一个类型别名。它很有用，因为在使用import WeekDay._将其导入其他位置后，您可以使用该类型，例如：

def isWorkingDay(d: WeekDay) = ! (d == Sat || d == Sun)

取而代之的是，最小版本应该是：

object WeekDay extends Enumeration {
  val Mon, Tue, Wed, Thu, Fri, Sat, Sun = Value
}

而且您不必导入object WeekDay的内容，但是您需要使用WeekDay.Value类型来限定各个成员。所以这个例子就变成了

def isWorkingDay(d: WeekDay.Value) = ! (d == WeekDay.Sat || d == WeekDay.Sun)

第二个问题是关于val Mon, ... = Value的含义。如果你不研究Enumeration的实现，这确实非常令人困惑。这不是类型的赋值！相反，它将调用同名为，Value的受保护的方法，该方法返回Value类型的具体实例。

碰巧您可以用Scala编写val a, b, c = foo，并且对于每个值a、b和c，都会一次又一次地调用foo方法。Enumeration使用此技巧来递增内部计数器，以便每个值都是独立的。

如果您打开Enumeration的Scala API文档并单击Visibility: All，您将看到该方法出现。