如何通过将特征与反射混合来访问对象内的对象？

Question

如何通过反射获取对象内的所有对象？

考虑这段代码：

object MonthDay extends MyEnum {
  //Some important holidays
  object NewYear       extends MonthDay( 1,  1)
  object UnityDay      extends MonthDay(11,  9)
  object SaintNicholas extends MonthDay(12,  6)
  object Christmas     extends MonthDay(12, 24)
}

class MonthDay(month: Int, day: Int)

trait MyEnum {
  val values: List[MonthDay] = this.getClass.getField("MODULE$")...
  val next: MonthDay = ...
  val previous: MonthDay = ...
}

//Of course the user can create his own MonthDays
val myBirthDay = new MonthDay(month, day)

if(!MonthDay.values.contains(myBirthDay)) "Well, I probably have to work"
else "Great, it is a holiday!"

我想要一个特征（MyEnum），我可以将其混合到保存我的“枚举对象”的对象中，并使用方法返回它们的列表（def values: List[ MonthDay]）或迭代它们（def next: MonthDay 或 def previous: MonthDay）不重复自己几次（这绝对是至关重要的！）。

这个想法是，values 访问 MonthDay 对象，并通过反射查找它们正在扩展的类 (MonthDay) 的所有单例对象。

Answer 1

我的解决方案基于 Landei 的答案 是：

trait MyEnum{
   def valsOfType[T:Manifest] = {
      val c=implicitly[Manifest[T]].erasure
      for {m <- getClass.getMethods 
           if m.getParameterTypes.isEmpty && c.isAssignableFrom(m.getReturnType)
      } yield (m.invoke(this).asInstanceOf[T])
   }
}

class MonthDay(month:Int,day:Int)

object MonthDay extends MyEnum {
   //maybe you want to call this "holidays" instead
   lazy val values = valsOfType[MonthDay] 

   val NewYear       = new MonthDay( 1,  1)
   val UnityDay      = new MonthDay(11,  9)
   val SaintNicholas = new MonthDay(12,  6)
   val Christmas     = new MonthDay(12, 24)
}

我认为您不应该再调用此 MyEnum，因为枚举类型意味着一组封闭的值。

（如果枚举值定义为对象，则不起作用）

Answer 2

在 Enumeration.populateNameMap 中完成了类似的操作： https://lampsvn.epfl.ch/trac/scala/browser/scala/tags/R_2_8_1_final/src/library/scala/Enumeration.scala

Answer 3

您应该能够使用预先存在的 Scala Enumeration 类：http://www.scala-lang.org/api/current/scala/Enumeration.html

它似乎非常接近您的用例！