scala - 为什么可以将 Try[Try[Unit]] 值分配给 Try[Unit]？

Question

我刚刚遇到了一个非常奇怪的行为。这是代码:

// So far everything's fine
val x: Try[Try[Unit]] = Try(Try{})
x: scala.util.Try[scala.util.Try[Unit]] = Success(Success(()))

// Compilation error should happen here
val x: Try[Unit] = Try(Try{})
// Wuut ?
x: scala.util.Try[Unit] = Success(())

我期待这里出现编译错误，因为(据我所知) Try[Try[Unit]]不应分配给 Try[Unit] ，但在这种情况下，似乎是 Try{}自动转换为 Unit ( () )。这怎么可能？

Answer 1

任何类型均可适应Unit在正确的上下文中，只需删除该值即可。在这种情况下，表达式解析如下:

val x: Try[Unit] = Try {
  Try {}
  () // adapting the result to Unit
}

您可以通过传递 -Ywarn-value-discard 使 Scala 编译器针对此类情况发出警告。 .