为什么Scala选择“Product”类型？为了“为了”涉及 Either 和值定义的表达式

Question

如果我使用 Option 创建一个带有值定义的 for 理解，它会按预期工作：

scala> for (a <- Some(4); b <- Some(5); val p = a * b) yield p
res0: Option[Int] = Some(20)

如果我没有值定义，则使用 E​​ither 做同样的事情会起作用：

scala> for (a <- Right(4).right; b <- Right(5).right) yield a * b
res1: Either[Nothing,Int] = Right(20)

但是如果我使用值定义，scala 似乎会推断出错误的容器类型理解：

scala> for (a <- Right(4).right; b <- Right(5).right; val p = a * b) yield p
<console>:8: error: value map is not a member of Product with Serializable with Either[Nothing,(Int, Int)]
for (a <- Right(4).right; b <- Right(5).right; val p = a * b) yield p
                            ^

为什么要这样做？有哪些方法可以解决这种行为？

Answer 1

问题来自 val p = a*b
如果您编写更简单的

for (a <- Right(4).right; b <- Right(5).right) 产量 a*b

它会编译并获得正确的结果。

您的问题有两个原因

首先， Either 投影 map 和 flatMap 没有通常的签名，即对于在 a 中定义的例程 map 和 flatMap泛型类 M[A], (A => B) => M[B] 和 (A => M[B]) => M[B]。例程中定义的 M[A] 是 Either[A,B].RightProjection，但在结果和参数中，我们有 Either[A,B] ] 而不是投影。

其次，for 理解中 val p = a*b 的翻译方式。 Scala 参考，6.19 第 90 页：

生成器 p <- e 后跟值定义 p′ = e′ 是
转换为以下值对生成器，其中 x 和
x′ 是新名称：

(p,p′) <- for(x@p<-e) yield {val x′@p′ = e′; (x,x′)}

让我们稍微简化一下代码，删除 a <-。此外，将 b 和 p 重命名为 p 和 pp 以更接近重写规则，其中 pp 代表 p'。 a 应该在范围内
for(p <- Right(5).right; val pp = a*p) 产生 pp

遵循规则，我们必须替换生成器 + 定义。周围是什么，for( and )yield pp，没有改变。

for((p, pp) <- for(x@p <- Right(5).right) yield{val xx@pp = a*p; (x,xx)}) yield pp

内部的for被重写为一个简单的map，

for((p, pp) <- Right(5).right.map{case x@p => val xx@pp = a*p; (x,xx)}) yield pp

这就是问题所在。 Right(5).right.map(...) 的类型为 Either[Nothing, (Int,Int)]，而不是 Either.RightProjection[没有任何东西，(Int,Int)] 正如我们所希望的那样。它在外部 for 中不起作用（它也转换为 map。Either 上没有 map 方法，它是在投影上定义的如果

您仔细查看错误消息，它会这样说，即使它提到 Product 和 Serialized，它也会说它是 Either[Nothing, （国际， Int)]，并且没有在其上定义映射对 (Int, Int) 直接来自重写规则。

for 理解旨在在尊重正确的情况下正常工作 。通过使用 Either 投影（也有其优点）的技巧，我们得到了这个问题。