Scala尝试[单位]混乱

Question

我有这段代码

import scala.util.Try
val t: Try[Unit] = Try(Try(1))

和2个问题：

• 这里发生了什么？ Try[Try[Int]]类型如何与Try[Unit]匹配？ 是因为Scala选择块Try(1)的返回类型为Unit以匹配所需的类型？
• 反正有没有检测到嵌套的Try ？ 说我有一个Try[A] ，我怎么知道A是否是另一个Try[_] ？

Answer 1

您基本上是强制编译器分配Try as Unit 。

例如，下面的doSomething方法应该返回Int因为它是最后一个语句，但返回类型Unit强制它返回() 。

scala> def doSomething: Unit = 1 + 1
doSomething: Unit

在你的例子中val t: Try[Unit] = Try(Try(1 / 0)) ，你要求编译器将内部Try(1 / 0)视为Unit ; 意思是

scala> val innerTry: Unit = Try(1 / 0)
innerTry: Unit = ()

这意味着即使Try失败，它的Unit总是Success另一个Try你拥有。

scala> val t: Try[Unit] = Try(someOperation)
t: scala.util.Try[Unit] = Success(())

最好删除您提供的特定类型，让编译器弄明白，

scala> val t = Try(Try(1 / 0))
t: scala.util.Try[scala.util.Try[Int]] = Success(Failure(java.lang.ArithmeticException: / by zero))

另请阅读： Scala：为什么我可以将Int转换为Unit？

final abstract class Unit private extends AnyVal {
  // Provide a more specific return type for Scaladoc
  override def getClass(): Class[Unit] = ???
}

Answer 2

Try(1)返回Success(1) 。 Try(Try(1)返回Success(())因为它分配给Type Try[Unit]类似于Scala REPL中的以下命令，其中x被强制取Unit类型：

scala> val x = 5
x: Int = 5

scala> val x:Unit = 5
<console>:23: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses
       val x:Unit = 5
                    ^
x: Unit = ()

scala>

很明显，编译器正在获取返回值并被强制输入() ，即Unit 。 因为它是Unit可能是编译器解释它的方式。