为什么在 Scala 中对 Option.getOrElse 的返回值使用隐式转换时类型推断失败？

例如我有一堂课Value和一个隐式函数将字符串转换为值：

case class Value(v: String)

implicit def strToValue(s: String): Value = Value(s)

这是一个有方法返回值的特征：

trait ReturnValue {
  def f: Value
}

因为存在隐式转换，所以我可以实现方法f只需返回一个字符串文字：

object Obj1 extends ReturnValue {
  override def f: Value = "123"
}

当然，返回 String 类型的变量也可以正常工作：

object Obj2 extends ReturnValue {
  override def f: Value = {
    val v = Some("123").getOrElse("234")
    v
  }
}

但是当我尝试直接使用 Option.getOrElse 的结果作为返回值时：

object Obj3 extends ReturnValue {
  override def f: Value = Some("123").getOrElse("234")  // Compilation error: type mismatch
}

出现编译错误：

Error:(23, 50) type mismatch;
 found   : java.io.Serializable
 required: Entry.Value
   override def f: Value = Some("123").getOrElse("234") // Compilation error: type mismatch

看来这里的类型推断失败了。类型String没有推断出来，那么隐式转换就无法匹配。 （完整文件是here)

我尝试过其他具有类型参数的函数，例如“map”，它们都工作得很好。

为什么 Option.getOrElse 如此特殊以至于类型推断在这里失败？

此变体会导致相同的编译错误，并且可能显示编译器如何解构表达式：

object Obj3 extends ReturnValue {
  override def f: Value = {
    val v = Some("123") // is of type Some(String)
    v.getOrElse("234": Value)  // Compilation error: type mismatch
  }
}

没有任何特征也可以实现相同的错误，只需以下简单的重现：

case class Value(v: String)

implicit def strToValue(s: String): Value = Value(s)

val vs  = Some("123")

val v: Value = vs.getOrElse("234")

编译器似乎将转换应用于Value论据getOrElse，而不是其结果。事实是可以通过启用的输出来确认scalacOptions in Compile ++= Seq("-Xprint-types", "-Xprint:typer")（清理了一下 - 删除了明显不相关的注释）：

private[this] val v: 值 =

vs.getOrElse{[B >: String](默认值：=> B)B}[java.io.Serialized]{(默认值：=> java.io.Serialized)java.io.Serialized}(strToValue{(s: String)Value}("234"{String("234")}){Value} ){

我认为推论如下：

• vs类型被称为Some[String]
• getOrElse声明是def getOrElse[B >: A](default: => B): B (A is String here)
• 编译器推断B as Value，因为这是表达式的预期结果类型。
• 最具体的超类型Value and String is Serializable

您还可以注意完全删除隐式转换时它的行为方式。错误为val v: Value = vs.getOrElse("234")那么就是：类型不匹配; 发现：字符串（“234”） 必填：值