5

我正在尝试制作自定义异构列表和地图。尽管有使用 Manifest 的示例，但在 Scala 2.10 中它们已被弃用，我应该使用 TypeTags（或 Classtags）。在地图的情况下，我似乎可以使用（例如）元组 String->(TypeTag[ _ <: Any ], Any ) 保留 Any 与 Type 的绑定。

我的问题是如何从恢复的 TypeTag 和未定义的 T 中获取能够返回 TypeTag.tpe 的实例 - 在我拥有的代码中 //** How do I use saved typeTag to define T here?**

正如所写，get 方法中没有编译器错误，但 T 设置为 Nothing 并返回 Some(Nothing)。我希望我的注释行起作用： case Some( x ) => // println( "Get 2*'pi'=" + x*2 )在有编译器消息的地方，“值 * 不是 Nothing 的成员”。我意识到我可以写得更紧凑，但完成后，我可以将鼠标悬停在我的 IDE 中并一步一步地跟随。有一个相关的问题 - Scala：什么是 TypeTag 以及如何使用它？ 但它似乎并没有走到“最后一英里” - 重新标记任何。

这个怎么做？

这是我到目前为止的代码： 

import scala.reflect._
import scala.reflect.runtime.universe._
import collection.mutable.Map

object Test extends HMap {

  def main( args: Array[ String ] ) {

    var hmap = new HMap
    hmap( "anInt" ) = 1
    hmap( "pi" ) = 3.1416f
    hmap( "c" ) = "hello"
    // Test
    val result = hmap.get( "pi" )
    result match {
      case Some( x ) =>
        println( "Get 'pi'=" + x*2 )
      case _ =>
    }
  }
}

class HMap {
  private var coreMap = 
    Map.empty[ String, ( TypeTag[ _ <: Any ], Any ) ]

  // Save the type tag with the value
  def update[ T: TypeTag ]( key: String, value: T ) = 
    coreMap.put( key, ( typeTag[ T ], value ) )

  override def toString = coreMap.toString

  def get[ T: TypeTag ]( key: String ): Option[ T ] = {
    val option = coreMap.get( key )
    val result = option match {
      case None => None
      case Some( x ) => {
        val typeTag = x._1; val value = x._2
        println( "Matched Type = " + 
            typeTag.tpe + "   Value=" + value )
        // **** How do I use saved typeTag to define T here? ****
        val v = value.asInstanceOf[ T ]
        val s = Some( v )
        println( "Returning " + s )
        s
      }
    }
    result
  }
}

4

2 回答 2

1

T 是在调用 get 方法时定义的，不能在函数内部将其更改为另一种类型。编译器需要信息来获取 T 的类型信息，或者您必须明确提供它：

def get[T](key: String) = m.get(key).map(_.asInstanceOf[T])
get[Int]("anInt")

如果键入了一个键，则可以推断出 T：

class Key[T](name: String)
def get[T](key: Key[T]) = ...
get(Key[Int]("anInt"))

要在从地图获取时检查类型是否正确，您可以执行最初的操作，保存类型和值：

val m = Map.empty[String, (Type, Any)]

def put[T: TypeTag](key: String, value: T) = m.put(key, (typeOf[T], value))

def get[T: TypeTag](key: String) = m.get(key) match {
    case Some((t, v)) if t =:= typeOf[T] => Some(v.asInstanceOf[T])
    case _ => None
}
于 2012-10-31T19:48:15.760 回答
0

这是我自己的答案：

我不需要 TypeTags，也不需要键控类型或元组。只是简单的泛型似乎可以。我不需要一个匹配和案例类来枚举 Any 的可能值。只是一个简单的名称-值对映射。然后我使用它访问它

hmap.get Float .... println( "Get 'pi'=" + x * 2 )

仅调用： hmap.get Float 似乎是合理且非常易读的。在编译时不检查类型，所以如果我要求错误的类型，我会得到运行时错误。如果我决定过滤类型，那么有地方可以这样做。我应该检查可转换性并让 Option 返回 None 如果它不能完成，而不是像现在这样返回 Exception 。

对我来说，上面的内容比后来的转换更整洁，而且读起来更好，因为所有错误处理都可以在 get 中而不是 using 中：

hmap.get("pi").asInstanceOf[Float].

谢谢你的帮助！

这是现在更简单的代码： 

 import collection.mutable.Map

object Test extends HMap {

  def main( args: Array[ String ] ) {

    var hmap = new HMap
    hmap( "anInt" ) = 1
    hmap( "pi" ) = 3.1416f
    hmap( "c" ) = "hello"
    // Test
    val result = hmap.get[ Float]( "pi" )
    result match {
      case Some( x ) =>
        println( "Get 'pi'=" + x * 2 )
      case _ => println("Not found")
    }
  }
}

class HMap {
  private var coreMap =
    Map.empty[ String, Any ]

  // Save the key with the value
  def update[ T ]( key: String, value: T ) =
    coreMap.put( key, value )

  def get[ T ]( key: String ): Option[ T ] = {
    val option = coreMap.get( key )
    option match {
      case None      => None
      case Some( x ) => Some( x.asInstanceOf[ T ] )
    }
  }
}

于 2012-11-01T04:51:57.190 回答