我正在尝试编写一个将来处理异常并返回新的未来的函数,但是我遇到了麻烦并且无法理解错误消息
scala> def composeHandlingFuture[T](fut: Future[T], default: T): Future[T] =
| fut recover { case e: Exception => default }
<console>:19: error: type mismatch;
found : default.type (with underlying type A1 => B1)
required: T
fut recover { case e: Exception => default }
^
签名要求default.type
不等于T
吗?它与type A1 => B1
有什么关系?
任何帮助表示感谢。
P.S。我正在使用Scala 2.10.1
答案 0 :(得分:3)
问题来自于typer阶段。如果我们使用-Xprint:typer,那么我们可以看到问题:
def composeHandlingFuture[T >: Nothing <: Any](fut: scala.concurrent.Future[T], default: T): scala.concurrent.Future[T] = fut.recover[T](({
@SerialVersionUID(0) final <synthetic> class $anonfun extends scala.runtime.AbstractPartialFunction[Throwable,T] with Serializable {
/////// Init method //////
final override def applyOrElse[A1 >: Nothing <: Throwable, B1 >: T <: Any](x1: A1, default: A1 => B1): B1 = ((x1.asInstanceOf[Throwable]: Throwable): Throwable @unchecked) match {
case (e @ (_: Exception)) => <error: value default> // your argument comes here, but name clash happens
case (defaultCase$ @ _) => default.apply(x1)
};
//// IsDefinedAt method ////
}
问题在PartialFunction中,aplyOrElse的第二个参数也称为default
,类型为A1 => B1
。 Here是否在Scala编译器Typer阶段,因此您可以制作一张票据
答案 1 :(得分:0)
奇怪的是,一旦我重命名default
变量,一切都编译得很好:
scala> def composeHandlingFuture[T](fut: Future[T], x: T): Future[T] =
| fut recover { case e: Exception => x }
composeHandlingFuture: [T](fut: scala.concurrent.Future[T], x: T)scala.concurrent.Future[T]