1

在我尝试创建一个动态函数来匹配“实例”之前，我在 Scala 的模式匹配方面取得了很好的进展（顺便说一句），并且将来作为对象的一部分可能会保存该 [type] 以供以后使用。现在我了解了如何使用模式类匹配

案例 X:Int => ....

但是为什么这（下）似乎对传递给它的任何东西都有效？此外，我似乎真的无法使用 [TYPE] ，它是一个对象吗？我无法打印它或 val = 等。我想过尝试使用相关的 java.Class ，但这似乎不正确。任何建议表示赞赏，谢谢！

class Parent

class Child extends Parent

object TestTypes {

  def testRelate[TYPE](o:Any) = {

     o match {
       case o:TYPE => println(" o is a matching type")
       case _  => println(" o fails")
     }

     // val save = [TYPE]  .. why can't I do this?
  }

  def main(args: Array[String]): Unit = {

    val p = new Parent
    val c = new Child
    testRelate[Int](c)   // why does this Match???
    testRelate[Parent](c)   // 

  }

}

---更新只是为了澄清（并感谢您的回答）但是有人如何在运行时动态地完成类类型的模式匹配？似乎 scala 有一个静态类型匹配（在上面的例子中要分解的生物），但是 instanceOf() 是我选择的动态检查吗？

4

2 回答 2

4

类型参数在运行时被擦除，因此TYPE实际上等同于Object，这意味着任何东西。

类型参数也是类型，而不是值，因此您不能将其分配给变量。最多，你可以这样做：

type save = TYPE

但是，它也被删除了，所以它没有保存任何东西。

于 2012-07-05T00:20:18.193 回答
1

对于更强大的运行时类型检查，您可能需要查看scala.reflect.Manifest[T]. 它包装了 ajava.lang.Class[T]并添加了一些不错的方差检查运算符。

这是一个使用示例：EnMAS POMDP 状态类

于 2012-07-05T14:35:13.577 回答