在Scala中对HashMap进行子类化,解决类型擦除问题

class State extends HashMap[String,Any] {

  override def +[T >: Any](elem: (String,T)): State = super.+(elem)
  override def -(key: String): State = super.-(key)

  def getAs[T](key: String): Option[T] = {
    super.get(key) match {
      case s: Some[T] => s
      case _ => None
    }
  }

}
object State extends HashMap[String,Any] {
  override def empty: State = super.empty
}

我还在包对象中定义了以下隐式转换：

implicit def fromHashMap(m: HashMap[String,Any]): State = m.asInstanceOf[State]

当我编译上面的代码时,我得到以下类型的擦除警告：

State.scala:10: warning: non variable type-argument T in type pattern Some[T] is
unchecked since it is eliminated by erasure
case s: Some[T] => s
        ^

这是不幸的,因为该语句的整个目的是检查类型！

在这种情况下,除了采用实验性Manifest功能之外,我还有其他选择吗？此外,有没有更好的基本方法来实现这一目标？

编辑：

我使用Manifest工作了. Stackoverflow上我在this article的帮助很大.但是,如果有人可以推荐更清洁的方式,我仍然很好奇.

双重编辑：

这是当前版本.清单解决了我的直接问题.但是,我做的一个重大改变是使State类成为Map的包装器.这样做,我失去了继承的优点(即现在我必须明确地公开每个map方法,我需要一个la keySet如下.

class State(
  map: HashMap[String,(Manifest[_],Any)] = 
    scala.collection.immutable.HashMap.empty[String,Any)]
) extends java.io.Serializable {

  def +[T <: Any](elem: (String,T))(implicit m: Manifest[T]): State =
    State(map.+((elem._1,(m,elem._2))))

  def -(key: String): State = State(map.-(key))

  def keySet = map.keySet

  def getAs[T](key: String)(implicit m : Manifest[T]): Option[T] = {
    map.get(key) match {
      case Some((om: Manifest[_],o: Any)) =>
        if (om <:< m) Some(o.asInstanceOf[T]) else None
      case _ => None
    }
  }

}

object State {
  def apply() = new State()
  def apply(map: HashMap[String,Any)]) = new State(map)
  def empty = State()
}

感谢所有到目前为止看过这个的人.

Scala 2.10更新：

使用ClassTag和朋友here on GitHub查看State的当前实现.一旦TypeCreators可序列化,我计划更新它以使用TypeTags.