scala - 为什么 Promise 不能是协变的

Question

在 Scala 中，Future 被定义为协变的，而 Promise 是不变的。据说 Promise 几乎可以成为逆变的( https://issues.scala-lang.org/browse/SI-7467 )。为什么会这样？

Answer 1

如果 promise 是协变的，您将能够执行以下操作:

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

从而完成一个 Promise[String]与 Int这将是不安全的。