scala - 将 Future[Unit] 分配给 Unit

Question

为什么这样编译

scala> import scala.concurrent.Future
import scala.concurrent.Future

scala> val f: Unit = Future.successful(())
f: Unit = ()

我希望编译器会提示分配。

Answer 1

这称为“值(value)丢弃”。引用 scala specification (6.26.1) :

Value Discarding

If e has some value type and the expected type is Unit, e is converted to the expected type by embedding it in the term { e; () }.

换句话说，任何值，无论其类型如何，都会隐式转换为 Unit ，有效地丢弃它。

如果您想收到有关此类丢弃的警告(在某些情况下可以隐藏错误)，您可以通过 -Ywarn-value-discard编译器的选项。然后你必须明确返回 ()每次调用一个方法只是为了它的副作用，但该方法确实返回一个非 Unit 值。