当编译器找到 Serializable 而不是匹配类型时如何解决类型不匹配？

Question

我有以下解析器来解析包含 Float 和 RDD 的算术表达式：

 import scalaz._
 import Scalaz._

 def term2: Parser[List[\/[Float, RDD[(Int,Array[Float])]]]] = rep(factor2)
 def factor2: Parser[\/[Float, RDD[(Int,Array[Float])]]] = pathxml | num
 def pathxml: Parser[ RDD[(Int,Array[Float])]] = pathIdent ^^ { s => pathToRDD(s)} //pathToRDD is a function that gets the path in string and create an RDD from the file inside that path and pathIdent parse to see whether the input string is a path or not
 def num: Parser[\/[Float, RDD[(Int,Array[Float])]]] = floatingPointNumber ^^ (n => n.left[RDD[(Int,Array[Float])]].toFloat)

得到以下错误：

  [error]  type mismatch;   
  [error]  found   : ParseExp.this.Parser[Serializable]
  [error]  required: ParseExp.this.Parser[scalaz.\/[Float,org.apache.spark.rdd.RDD[(Int, Array[Float])]]]
  [error]   def factor2: Parser[\/[Float, RDD[(Int,Array[Float])]]] = pathxml | num
  [error]                                                                     ^

我是 Scala 新手，不知道如何解决这个错误

Answer 1

Serializable（或类似的Product，或两者一起）几乎总是表明您试图将两种类型视为相同的，而实际上它们并非相同。例如：

scala> if (true) "a" else List(1)
res0: java.io.Serializable = a

条件表达式的类型是其两个分支类型的最小上限——即分支共有的最具体的类型。这里我们有一个String 和一个List[Int]，它们都是AnyRef 的实例，但是除了Serializable 之外没有任何共同点。它们都是Serializable 的事实比它们都是AnyRef 的子类型这一事实更具体，所以这就是推断的类型。

类似地推断出序列的类型：

scala> List("a", "b", "c", 'd)
res1: List[java.io.Serializable] = List(a, b, c, 'd)

一般来说，任何时候你看到Serializable，你都应该开始寻找与其邻居或兄弟类型不同的东西。

在您的情况下，pathxml | num 将是Parser[RDDThing] 和Parser[Float \/ RDDThing] 的最小上限，这又是Parser[Serializable]。您应该能够通过将pathxml 提升到您的factor2 定义中的较大类型pathxml.map(_.right) | num 来解决此问题。