scala – 为什么Some(1).getOrElse(Some(1))不是Option [Int]类

发布时间：2020-12-16 08:53:37 所属栏目：安全来源：网络整理

导读：我目前正在使用 Scala开发一个项目,似乎我并不完全了解Scala的类型系统： – / 我有以下情况： def reviews(id: Int) = Action { implicit request = Ok(html.products.reviews( reviewlist,reviewlist .find(review = review.id == id) .getOrElse(reviewli

我目前正在使用 Scala开发一个项目,似乎我并不完全了解Scala的类型系统： – /

我有以下情况：

def reviews(id: Int) = Action { implicit request =>
  Ok(html.products.reviews(
    reviewlist,reviewlist
      .find(review => review.id == id)
      .getOrElse(reviewlist.headOption)
  ))
}

不幸的是编译器说,他无法将Product转换为Option [Review],所以我改变了代码

reviewlist
  .find(review => review.id == id)
  .getOrElse(reviewlist.headOption)

同

id match {
  case 0 => reviewlist.headOption
  case id => reviewlist.find(review => review.id == id)
}

这似乎现在有效,即使它与它不完全相同,例如,如果提交的评论ID无效,则不再显示第一条记录.然后会假装,还没有评论.

然后我将问题分解为一个简单的样本：

val a: Option[Int] = Some(1).getOrElse(Some(1))

那么,有没有人有想法,为什么右侧的表达式不是Option [Int]类型？两者,Some(1)和None都直接从Option继承而且这个表达式实际上是Some(1)in any或者我错了？

有趣的是

val a: Option[Int] = None.getOrElse(None)

工作,但所有其他组合不…

解决方法

你自找的：

val a: Option[Int] = Some(1).orElse(Some(1))

因为

x.getOrElse(y)

如果x为Some(1)或y(即Some(1)),如果x为None,或者在代码中说话,则返回1：

if (Some(1).isDefined) 1 else Some(1)

（编辑：李大同）

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