Question

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

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

Answer 1

问题来自于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阶段，因此您可以制作一张票据

Answer 2

奇怪的是，一旦我重命名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]

Scala类型不匹配：default.type（基础类型A1 =＆gt; B1）

2 个答案: