斯卡拉 – 为什么承诺不能协变

发布时间：2020-12-16 18:53:37 所属栏目：安全来源：网络整理

导读：在 Scala中,Future被定义为协变,而Promise是不变的.据说Promise几乎可以逆变( https://issues.scala-lang.org/browse/SI-7467).为什么会这样？解决方法如果承诺是协变的,你将能够做到： val p: Promise[Any] = Promise[String]()p.success(1) 从而完成一个

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

解决方法

如果承诺是协变的,你将能够做到：

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

从而完成一个带有Int的Promise [String],这将是不安全的.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!