为什么Reads没有声明协变？

Question

为什么玩JSON的Reads特质不宣协：

trait Reads[+A] 

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

是否协方差/逆变干扰implicits？

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

Answer 1

它可能是协变的，特别是当您将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，因为（复杂）隐式解析顺序。

这是一个边缘案例，我仍然认为你可以为协变做出很好的论证，但它确实显示了“东西可能解析JSON到Foo”和“可以解析JSON到所有可能的Foo“。

Answer 2

假设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 

而对于case类的一个实例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不是逆变。