爲什麼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不是逆變。