scala – 选项getOrElse类型不匹配错误

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

导读：为什么这个代码在Scala 2.9.2中引起类型不匹配错误？我期望getOrElse返回类型String，但实际上它返回java.io.Serializable： scala implicit def StringToOption(s:String) = Option(s)StringToOption: (s: String)Option[String]scala "a".getOrElse("")res

为什么这个代码在Scala 2.9.2中引起类型不匹配错误？我期望getOrElse返回类型String，但实际上它返回java.io.Serializable：

scala> implicit def StringToOption(s:String) = Option(s)
StringToOption: (s: String)Option[String]

scala> "a".getOrElse("")
res0: String = a

scala> var opt:Option[String] = "a".getOrElse("")
<console>:8: error: type mismatch;
 found   : java.io.Serializable
 required: Option[String]
       var opt:Option[String] = "a".getOrElse("")
                                             ^

还行吧：

scala> implicit def StringToOption(s:String): Option[String] = Option(s)
StringToOption: (s: String)Option[String]

scala> var b:Option[String] = "a".getOrElse("") toString
b: Option[String] = Some(a)

解决方法

这是不完整的树遍历的不必要的情况。 getOrElse的签名允许类型加宽，所以当它意识到String不是Option [String]时，它首先尝试在getOrElse上填充不同的类型归属，即Serializable。但是现在它有一个“.getOrElse [Serializable](”“)，并且它被卡住了 – 它没有意识到，我猜这个问题是在检查隐含之前使一般的类型。

一旦你意识到这个问题，就有一个修复：

"a".getOrElse[String]("")

现在，这个鼓手并没有徘徊在放宽的路上，而是发现了隐含的。

（编辑：李大同）

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