scala - "Missing parameter type"in for-comprehension 重载flatMap时

Question

我编写了自己的类似 Either 的 monad 类，名为 Maybe，其中包含一个值或一个错误对象。我希望此类的对象与 Future 结合，这样我就可以将 Maybe[Future[T], E]] 变成 Future[Maybe[ T, E]]。因此我实现了两个 flatMap 方法:

import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.Future

sealed abstract class Maybe[+E, +V] {

  def map[W](f: V ⇒ W ): Maybe[E, W] = this match {
    case Value(v) ⇒ Value(f(v))
    case Error(_) ⇒ this.asInstanceOf[Error[E, W]]
  }

  def flatMap[F >: E, W](f: V ⇒ Maybe[F, W]): Maybe[F, W] = this match {
    case Value(v) ⇒ f(v)
    case Error(_) ⇒ this.asInstanceOf[Error[F, W]]
  }

  def flatMap[W](f: V ⇒ Future[W]): Future[Maybe[E, W]] = this match {
    case Value(v) ⇒ f(v).map(Value(_))
    case Error(_) ⇒ Future.successful(this.asInstanceOf[Error[E, W]])
  }
}

final case class Value[+E, +V](value: V) extends Maybe[E, V]    
final case class Error[+E, +V](error: E) extends Maybe[E, V]

但是，当我使用 for comprehension 组合一个 Maybe 和一个包含另一个 Maybe 的 Future 时，Scala 编译器给我错误消息 missing parameter type at the line of the outer generator:

def retrieveStreet(id: String): Future[Maybe[String, String]] = ...

val outerMaybe: Maybe[String, String] = ...

val result = for {
      id ← outerMaybe // error message "missing parameter type" here!
      street ← retrieveStreet(id)
    } yield street

但是当我不使用 for 而是显式调用 flatMap 和 map 方法时，它起作用了:

val result2 =
  outerMaybe.flatMap( id => retrieveStreet(id) )
            .map( street => street )

(当我尝试在理解中将 Maybe 与另一个 Maybe 组合时，我也会收到此错误消息。)

所以问题是:

1. 这两个替代方案的行为不应该完全相同吗？为什么编译器在显式调用 flatMap 时找出要调用的正确 flatMap 方法？

2. 显然编译器对两个 flatMap 实现感到困惑，有没有办法告诉它(通过任何地方的类型规范)应该在 for comprehension 中调用哪一个？

我在 Eclipse 中使用 Scala 2.11.8。

Answer 1

我不能给你一个全面的答案，但是通过 scalac -Xprint:parser 运行它，我可以告诉你这两个替代方案实际上脱糖略有不同，这很可能是您问题的来源。

val result1 = outerMaybe
  .flatMap(((id) => retrieveStreet(id)
  .map(((street) => street))));

val result2 = outerMaybe
  .flatMap(((id) => retrieveStreet(id)))
  .map(((street) => street))