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

发布时间：2020-12-16 09:51:21 所属栏目：安全来源：网络整理

导读：我刚刚遇到一种非常奇怪的行为.这是代码： // So far everything's fineval x: Try[Try[Unit]] = Try(Try{})x: scala.util.Try[scala.util.Try[Unit]] = Success(Success(()))// Compilation error should happen hereval x: Try[Unit] = Try(Try{})// Wuut

我刚刚遇到一种非常奇怪的行为.这是代码：

// 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.在这种情况下,表达式解析如下：

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

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

（编辑：李大同）

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