在Scala中不会失败的未来

Question

Scala中有没有不会失败的< code >未来这个概念？

我正在将可能失败的未来[结果]转换为未来[结果]，因此我同时处理失败和成功--到未来[选项[字符串]]，并带有从失败或成功状态派生的可选错误消息。目前为止，一切都好。

现在的情况是，我想正式地（即在类型系统的帮助下）记住，这个未来将始终保持成功，并且我将来不需要处理失败案例。

有什么聪明的方法可以做到这一点吗？

Answer 1

这不就是类型标记的作用吗？

scala> type Tagged[U] = { type Tag = U }
defined type alias Tagged

scala> type @@[T, U] = T with Tagged[U]
defined type alias $at$at

scala> trait OK ; trait Uncertain
defined trait OK
defined trait Uncertain

scala> type Sure[A] = Future[A] @@ OK
defined type alias Sure

scala> type Unsure[A] = Future[A] @@ Uncertain
defined type alias Unsure

scala> val f = Future.successful(42).asInstanceOf[Sure[Int]]
f: Sure[Int] = Future(Success(42))

然后

scala> object X { def p(f: Sure[_]) = "sure" ; def p(f: Unsure[_])(implicit d: DummyImplicit) = "unsure" }
defined object X

scala> X.p(f)
res1: String = sure

当然，在地图下并不确定。

Answer 2

你不能“在类型系统的帮助下”这样做，因为类型系统没有办法保证< code>Future不会失败，即使你保证它不会失败。

考虑一下这个:

 Future { doStuff(); }
   .recover { case _ => "Failed!" } // Now it always succeeds
   .map { _ => Seq.empty[String].head }  // Now it does not. 

即使您要使任何进一步的转换不可能，一旦Future被声明为始终成功，这仍然没有帮助，因为异常处理程序（或您为将原始未来转换为“总是成功的一个”）可能会抛出。

更新：正如下面的评论所指出的，上面的代码片段是不正确的：的结果。映射与恢复的结果不同。然而，这一点是站得住脚的。以下是正确的说明：

Future { doStuff }
  .recover { case _ => Seq.empty[String].head }