Scala类型不匹配:default.type(基础类型A1 => B1)

时间:2013-07-05 07:53:31

标签: scala type-mismatch

我正在尝试编写一个将来处理异常并返回新的未来的函数,但是我遇到了麻烦并且无法理解错误消息

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

2 个答案:

答案 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 => B1Here是否在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]