为什么AnyVal是`if（i＆gt; 5）i`的推断类型？

Question

scala> for(i <-1 to 10) yield { if(i>5) i}
res3: scala.collection.immutable.IndexedSeq[AnyVal] = Vector((), (), (),  (), (), 6, 7, 8, 9, 10)

为什么这是AnyVal？我期待Int。

Answer 1

因为你的for { i <- 1 to 10 if i > 5 } yield i 没有（总是）返回一个Int，就像另一个答案所解释的那样。 我猜，你真正想写的是

Seq[Int]

这确实会给你一个{{1}}（大小为5）。

Answer 2

您的if表达式

if(i > 5) i

如果条件为假，

评估为Unit。 Unit和Int都延伸AnyVal，因此这是表达式中最具体的类型。