Scala:避免类型擦除

Question

来自以下代码：

type Structure = Map[String, Any]

def getStructureSourceNames(structuresDesc: Structure): Iterable[String] = {
  val subColsDesc: Map[String, String] =
    structuresDesc.filter(_._2.isInstanceOf[String]).asInstanceOf[Map[String, String]]
  val subStructuresDesc: Map[String, Structure] = structuresDesc
    .filter(_._2.isInstanceOf[Map[String, Structure]])
    .asInstanceOf[Map[String, Structure]]

  subColsDesc.values ++ subStructuresDesc.values.flatMap(getStructureSourceNames(_))
}

我想传递(String -> String)，ia的递归映射。结构的一个例子是：

Map("test" -> Map(
        "newid" -> "id",
        "newstring" -> "string",
        "toto" -> Map("newdouble" -> "double")
      ),
      "otherid" -> "id")

方法getStructureSourceNames应该返回“最终”值的列表ia。浏览整个树，并为每个叶子获取字符串值。

当我运行这段代码时，这会驱使我：

Warning:(78, 32) non-variable type argument String in type scala.collection.immutable.Map[String,Structure] (the underlying of Map[String,Structure]) is unchecked since it is eliminated by erasure
  .filter(_._2.isInstanceOf[Map[String, Structure]])

此外，我不喜欢使用isInstanceOf / asInstanceOf。通过谷歌搜索，我发现我可以使用模式匹配来检查类型，并获得预期的类型映射，但我找不到如何做到这一点。

你会有这样的代码的例子吗？

Answer 1

有两种模式匹配：

1) sealed trait上的模式匹配(好)

2)模式匹配，其中模式涉及与任意类和相等性检查的匹配(不比instanceOf检查更好)

为了避免2)，你需要让你想要匹配的类型匹配一个密封的特征：

sealed trait ConfigValue
case class StringValue(v: String) extends ConfigValue
case class MapValue(map: Map[String, ConfigValue]) extends ConfigValue

val struct: ConfigValue = MapValue(Map("key1" -> StringValue("v1"),
                   "key2" -> MapValue(Map("sub" -> StringValue("val")))))

def allValues(s: ConfigValue): Iterable[String] = {
  s match {
    case StringValue(v) => Seq(v)
    case MapValue(map) => map.values.flatMap(v => allValues(v))
  }
}

println(allValues(struct))

顺便说一下，您的结构看起来类似于json。也许你可以重用一些json库。