Question

为什么play-json Reads特征未被声明为协变：

trait Reads[+A]

相关要点：https://gist.github.com/robertberry/9410272

协方差/逆变是否会干扰隐含？

或者可选地，如何为密封特征编写Reads实例？ https://gist.github.com/phadej/c60912802dc494c3212b

Answer 1

假设Reads是协变的。我有一个简单的类型层次结构：

sealed trait Foo { def name: String }
case class Bar(name: String, i: Int) extends Foo
case class Baz(name: String, c: Char) extends Foo

其中一个案例类的Reads实例：

import play.api.libs.functional.syntax._
import play.api.libs.json._

implicit val readsBar: Reads[Bar] = (
  (__ \ 'name).read[String] and (__ \ 'i).read[Int]
)(Bar.apply _)

但是Bar <: Foo，所以Reads[Bar] <: Reads[Foo]，这没有任何意义 - 我还没有说过如何解码Baz，所以我显然没有实际上有一个Reads[Foo]。

更好的问题可能是Reads不是逆变的原因。

Answer 2

它可能是协变的，尤其是当您将Reads[A]视为JsValue => A的更丰富形式时。

但是.... 含蓄

Reads[A]不仅仅是从JsValue转换为A的方式，它还是方式。

所以，如果我们有

sealed trait Foo
case class Bar(a: Int)
case class Baz(b: Int)

如果您定义了Reads[Bar]，您也会（使用协方差）拥有Reads[Foo]。

这可能有点奇怪。

object Foo {
  implicit reads: Reads[Foo] =
    implicitly[Reads[Bar]].orElse[implicitly[Reads[Baz]]]
}
object Bar {
  implicit reads = Json.reads[Bar] // {"a":0}
}
object Baz {
  implicit reads = Json.reads[Baz] // {"b":0}

  def blah(jsValue: JsValue): Foo = jsValue.as[Foo]
}
object Main {
  def blah(jsValue: JsValue): Foo = jsValue.as[Foo]
}

Baz.blah和Main.blah发生了什么？前者使用Baz.reads，后者使用Foo.reads，因为（复杂的）隐式解析顺序。

这是一个边缘案例，我仍然认为你可以为协方差做出一个很好的论证，但它确实显示了＆＃34之间的区别;事情可能会将JSON解析为Foo＆＃34;和＃34;可以将JSON解析为所有可能的Foo＆＃34;。

为什么读取不被声明为协变？

2 个答案: