如何匹配类型化的嵌套地图？

Question

我有Map[String, Any]，例如来自 JSON 反序列化器：

def map: Map[String, Any] = Map("hello" -> Map("world" -> "value"))

我想得到嵌套键"hello"."world"的Option：

val value = map.get("hello").flatMap {
  case m: Map[String, String] => m.get("value")
  case _ => None
}

assert(value == Some("value"))

但是这个解决方案不是类型安全的——它会发出警告“因为它被擦除而被消除，所以它是未经检查的”，并且会在错误的值类型上失败。

如何以安全的方式做到这一点？如果嵌套对象是包含键 "world" 或 None 的有效/兼容类型的映射，则返回值？

编辑：这与Manifest[] 或TypeTag[] 无关。我知道在运行时无法访问确切的 Map 类型，但想要比以某种方式强制转换键更好的解决方案（顺便说一句，这安全吗？）并为值执行 isinstanceof。

Answer 1

对于这种情况

val value = map.get("hello").flatMap {
  case m: Map[String @unchecked, _] => m.get("value")
  case _ => None
}

是安全的：如果m 的密钥类型不是String，get 将只返回None！您可以做的另一件事是使用实际的 JSON AST，因为您真的没有Map[String, Any]：

sealed trait JValue
...
case class JMap(underlying: Map[String, JValue]) {
  def get(key: String) = underlying.get(key)
}

现在您可以轻松定义您想要的内容，而无需强制转换甚至潜在的不安全：

val map: JMap = ...
val value = map.get("hello").flatMap {
  case m: JMap => m.get("value")
  case _ => None
}

Answer 2

仅出于理论原因。可以这样做：

 val value = map.get("hello").map {
    case m: Map[_, _] => m collectFirst {case ("world", v) => v}
    case _ => None
  }

但它过于复杂且不实用。更糟糕的是，它在 O(n) 中搜索内部 Map，而地图应该在 O(1) 中搜索。

我认为你不能以任何其他方式做到这一点，我什至不会推荐这种方式。虽然可能有使用相同想法的解决方案，但更简单 - 不幸的是我想不出任何解决方案

Answer 3

有一种优雅的方法可以使用 shapeless 来解决这个问题。

1) 声明一个 TypeCase

import shapeless._
val mapType: TypeCase[Map[String, String]] = TypeCase[Map[String, String]]

2) 在模式匹配上使用它来避免类型擦除

val value = Map("hello" -> Map("world" -> "value")).get("hello").flatMap {
  case mapType(m) => m.get("world")
  case _ => None
} 
assert(value == Some("value"))

Answer 4

试试这个：

val v = for {
  nestedMap <- map("Hello")
  value <- nestedMap("world")
} yield value