Question

我使用Jackson Scala模块。

我已经创建了一个小的序列化工具来处理Play2框架收到的json有效负载。

  def unserializePayloadAs[T](implicit requestContext: RequestContext[JsValue]): T = {
    val json: String = Json.stringify(requestContext.request.body)
    unserialize(json)
  }

  def unserialize[T](json: String): T = {
    objectMapper.readValue(json)
  }

Jackson Scala Module的readValue有签名：

  def readValue[T: Manifest](content: String): T = {
    readValue(content, constructType[T])
  }

当我尝试使用我的反序列化代码时，我有一个堆栈。

Caused by: com.fasterxml.jackson.databind.JsonMappingException: Can not instantiate abstract type [simple type, class scala.runtime.Nothing$] (need to add/enable type information?)
at [Source: java.io.StringReader@7bb78579; line: 1, column: 2]
at com.fasterxml.jackson.databind.JsonMappingException.from(JsonMappingException.java:164) ~[jackson-databind-2.2.0.jar:2.2.0]
at com.fasterxml.jackson.databind.deser.std.ThrowableDeserializer.deserializeFromObject(ThrowableDeserializer.java:77) ~[jackson-databind-2.2.0.jar:2.2.0]
at com.fasterxml.jackson.databind.deser.BeanDeserializer.deserialize(BeanDeserializer.java:121) ~[jackson-databind-2.2.0.jar:2.2.0]
at com.fasterxml.jackson.databind.ObjectMapper._readMapAndClose(ObjectMapper.java:2888) ~[jackson-databind-2.2.0.jar:2.2.0]
at com.fasterxml.jackson.databind.ObjectMapper.readValue(ObjectMapper.java:2041) ~[jackson-databind-2.2.0.jar:2.2.0]
at com.fasterxml.jackson.module.scala.experimental.ScalaObjectMapper$class.readValue(ScalaObjectMapper.scala:157) ~[jackson-module-scala_2.10-2.2.0.jar:2.2.0]
at utils.CustomSerializer$$anon$1.readValue(CustomSerializer.scala:17) ~[na:na]
at utils.CustomSerializer$.unserialize(CustomSerializer.scala:39) ~[na:na]
at utils.CustomSerializer$.unserializePayloadAs(CustomSerializer.scala:35) ~[na:na]

正如预期的那样，当我在代码中添加清单时，它工作正常：

  def unserializePayloadAs[T: Manifest](implicit requestContext: RequestContext[JsValue]): T = {
    val json: String = Json.stringify(requestContext.request.body)
    unserialize(json)
  }

  def unserialize[T: Manifest](json: String): T = {
    objectMapper.readValue(json)
  }

有人能解释那里发生了什么吗？当我们调用带有Manifest上下文绑定的方法时，使用没有Manifest的参数化方法，然后将Nothing的清单提供给第一个方法？

我本来期望出现某种编译错误，告诉我我正在使用没有readValue或类似内容的参数化类型调用Manifest，这似乎更快失败。< / p>

Answer 1

举一个稍微简单的例子：

def getManifest[A: Manifest] = implicitly[Manifest[A]]

或等效的desugared版本：

def getManifest[A](implicit whatever: Manifest[A]) = whatever

然后：

scala> def getIt[T]: Manifest[T] = getManifest
<console>:8: error: type mismatch;
 found   : Manifest[Nothing]
 required: Manifest[T]
Note: Nothing <: T, but trait Manifest is invariant in type T.
You may wish to investigate a wildcard type such as `_ <: T`. (SLS 3.2.10)
       def getIt[T]: Manifest[T] = getManifest
                                   ^

当发生编译器试图推断getManifest的类型参数时，有很多类型在范围内有Manifest个实例，并且无法在它们之间进行选择，所以它采用默认选择Nothing。

（您在运行时而不是编译时看到此错误，因为当您使用基于反射的方法进行序列化时会发生这种情况。）

我们可以添加上下文绑定：

def getIt[T: Manifest]: Manifest[T] = getManifest

或等同地：

def getIt[T](implicit whatever: Manifest[T]): Manifest[T] = getManifest

现在一切都很好 - 范围内有一个最精确的Manifest实例，因此编译器可以（适当地）将getManifest的类型参数解析为T。

您可以在以下示例中看到这一点：

scala> trait Foo[A]
defined trait Foo

scala> def getFoo[A: Foo] = implicitly[Foo[A]]
getFoo: [A](implicit evidence$1: Foo[A])Foo[A]

scala> implicit object stringFoo extends Foo[String]
defined module stringFoo

scala> def getIt[T]: Foo[T] = getFoo
<console>:10: error: type mismatch;
 found   : Foo[String]
 required: Foo[T]
       def getIt[T]: Foo[T] = getFoo
                              ^

由于范围中只有一个Foo实例（对于String），编译器可以在解析getFoo的类型参数时选择它，我们最终得到一个不同的类型不匹配。

上下文绑定[T：Manifest] - ＆gt;没有

1 个答案: