在 scala 中 实现 一个方便序列化的 enumeration 类

trait Enum[_V] {
  type Value <: _V
  protected implicit def v2v(v: _V): Value = v.asInstanceOf[Value]
}
//----------------
//test 
object R extends Enum[String] {
  val a: Value = "1"
  val b: Value = "2"
  type R = Value
}

import R._

object RT {
  def f(x: R) = {
    x match {
      case R.a ⇒ println(x)
      case R.b ⇒ println(x)
    }
  }

  def main(args: Array[String]) {
    f(R.a) //right
    f(111) //error
    f("aaa") //error
    f("1".asInstanceOf[R]) //right
  }
}