Scala类型推断和隐式转换

Question

以下代码有效：

scala> import scala.language.implicitConversions
import scala.language.implicitConversions

scala> implicit val longToInt = (l: Long) => l.toInt
longToInt: Long => Int = $$Lambda$1821/0x000000010086e840@52bd9a27

scala> def printInt(n: Int) = println(n)
printInt: (n: Int)Unit

scala> val opt: Option[Long] = None
opt: Option[Long] = None

scala> val n = opt.getOrElse(0L)
n: Long = 0

scala> printInt(n)
0

但是，如果我们在函数调用中嵌入getOrElse表达式，编译器会抛出类型不匹配错误：

scala> printInt(opt.getOrElse(0L))
<console>:16: error: type mismatch;
 found   : AnyVal
 required: Int
       printInt(opt.getOrElse(0L))
                             ^

为什么opt.getOrElse(0L)有类型AnyVal？

比例2.12.8

Answer 1

当你写作

printInt(opt.getOrElse(0L))

opt.getOrElse(0L)键入预期类型Int。 Option#getOrElse's signature is

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

因为它是通用的，编译器试图找到B，使得opt.getOrElse[B](0L)具有类型Int。所以B必须满足约束B >: Long（因为上面签名中的A是Long）和B <: Int（来自返回类型）。显然没有这样的B。 Scala规范说这必定是一个错误，但没有说明哪个，这里编译器在猜测B = AnyVal之后就会报告它。

另一种解决方法是指定opt.getOrElse(0L)的预期类型：

printInt(opt.getOrElse(0L): Long)

或者类型参数：

printInt(opt.getOrElse[Long](0L))

Answer 2

getOrElse的签名是：

def getOrElse[B1 >: B](key: A, default: ⇒ B1): B1 

printIng（option.getOrElse（0L））告诉Scala B1应该是Long，但Long不是Int的超类型。常见的超类型是AnyVal。因此，您无法进行该任务。

尝试将结果转换为Long：

printInt(opt.getOrElse(0L).toLong)