scala - 如何在此折叠示例中解决类型推断错误？

Question

假设我正在写:

sealed trait Status
object Error1 extends Status
case class Ok(x: Int) extends Status  

def foo(opt: Option[Int]): Status = opt.fold(Error1)(x => Ok(x))

当我在REPL中尝试时，出现错误:

scala> def foo(opt: Option[Int]): Status = opt.fold(Error1)(x => Ok(x))
<console>:11: error: type mismatch;
found   : Ok
required: Error1.type
   def foo(opt: Option[Int]): Status = opt.fold(Error1)(x => Ok(x))
                                                               ^

我可以解决它，但是它看起来并不特别优雅:

 // work around the type error above
 val error1: Status = Error1
 def ok(x: Int): Status = Ok(x)

 def foo(opt: Option[Int]): Status = opt.fold(error1)(x => ok(x))

您如何建议解决此类问题？

Answer 1

如您所见，fold从作为第一个arg提供的零/后备值推断返回类型。因为它解析值的最特定类型，所以它是Error。

您可以通过以下方式注释折叠，以表示您需要Status。

opt.fold[Status](err)(x => Ok(x))
opt.fold(err: Status)(x => Ok(x))