なぜプロミスは共変できないのですか

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です。 Futureは、Promiseのように手動で完了できないため、この問題は発生しません。

のは、我々が持っているとしましょう：

class Animal 
class Cat extends Animal 
class Dog extends Animal 

をあなたは私たちがPromise[Cat] <: Promise[Animal]とPromise[Dog] <: Promise[Animal]をしたいということ、Promise[A]がA上で共変したい場合。これを行うことができるとしましょう。

わかりましたので、我々はPromise[Cat]を持っているとしましょう：

val p: Promise[Cat] = ... 

私たちの推測では、それはまたPromise[Animal]です：

val q: Promise[Animal] = p 

Promiseがある、Try[T]を受け入れcompleteというメソッドを持っています共変もある。つまり、Try[Dog]もTry[Animal]です。これが主導しているところを見てください。

我々は呼び出すことができると思います：

法的だろう

val value: Try[Dog] = ... 

q.complete(value) 

、我々はTry[Animal]でPromise[Animal]を完了しようとしているが、おっとしているので、我々はまた、単にPromise[Cat]を完了しようとしましたPromise[Dog]です。