읽기가 공변 선언되지 않는 이유는 무엇입니까?

Question

왜 플레이 JSON Reads 특성이 선언되지 않았습니다 공변을 :

trait Reads[+A] 

관련 요점 : https://gist.github.com/robertberry/9410272

가 공분산/contravariance가 implicits을 방해 하는가?

또는 선택적으로 봉인 된 형질에 대해 Reads 인스턴스를 작성 하시겠습니까? https://gist.github.com/phadej/c60912802dc494c3212b

Answer 1

특히 Reads[A]을 더 부유 한 형태의 JsValue => A으로 볼 때 공분산 될 수 있습니다.

하지만 .... implicitness.

Reads[A]뿐만 아니라 단지 A에 JsValue에서 변환하는 방법, 그것은 방법입니다.

그래서 당신이 Reads[Bar]을 정의한 경우 우리가

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

이 있다면, 당신은 또한 (공분산)와 함께 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 

그리고 케이스 클래스 중 하나에 대한 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]을,이 더하지 않습니다 감각을-I하지 않았습니다 Baz을 디코딩하는 방법에 대해 언급 했으므로 분명히 실제로는 Reads[Foo]이 없습니다.

더 좋은 질문은 왜 Reads이 반공사가 아닌지입니다.