Promise가 공변인이 될 수없는 이유

Question

스칼라에서 약속은 공변인으로 정의되지만 약속은 불변합니다. 약속은 거의 반 행위로 만들 수 있다고합니다 (https://issues.scala-lang.org/browse/SI-7467). 왜 이런 경우입니까? 약속이 공변 된 경우

Answer 1

당신은 할 수있을 것입니다 :

val p: Promise[Any] = Promise[String]() 
p.success(1) 

하여 안전하지 않을 것 인 Int와 Promise[String]를 완료.

Answer 2

Promise은 가변적 인 API로, 공분산과 잘 조화되지 않습니다. FuturePromise처럼 수동으로 완료 할 수 없으므로이 문제가 발생하지 않습니다.

의 우리가 있다고 가정 해 봅시다 :

class Animal 
class Cat extends Animal 
class Dog extends Animal 

을 우리가 Promise[Cat] <: Promise[Animal] 및 Promise[Dog] <: Promise[Animal]를 원하는 의미, Promise[A]이 A을 통해 공변 될합니다. 우리가 이것을 할 수 있다고 가정 해 봅시다. 그것은 또한 Promise[Animal]의 우리의 상상으로

val p: Promise[Cat] = ... 

:

좋아, 그래서 우리가 Promise[Cat]가 있다고 가정 해 보자

val q: Promise[Animal] = p 

Promise이있는 Try[T]을 받아 complete라는 방법을 가지고 있습니다 또한 공변. 즉 Try[Dog]도 Try[Animal]입니다. 이것이 어디에서 주도하고 있는지 확인하십시오.

우리는 호출 할 수있을 것 : 우리가 죄송합니다을 Try[Animal]와 Promise[Animal]을 완료하기 위해 노력하고 있지만,하고 있기 때문에,

val value: Try[Dog] = ... 

q.complete(value) 

법적 될 것이라고, 우리는 또한 단지 Promise[Cat]을 완료하려고 Promise[Dog].