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

Question

我目前正在使用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)

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

Answer 1

你自找的:

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

因为

x.getOrElse(y)

将返回1,如果x是Some(1)或y(这是Some(1))如果x是None,或者在代码地讲:

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

Answer 2

类型签名Option.getOrElse是

getOrElse[B >: A](default: ? B): B

这意味着,当你调用getOrElse上Option[A],它会试图返回您类型的东西A.如果default(B)的类型不相同A,它将寻找最接近的共享祖先A和B.根据你的情况,A并且B是Option[Int]和Int.编译器可以做的最好的是Any.