猜猜这个编译的结果是什么？
import scala.util.parsing.combinator._
object ExprParser extends JavaTokenParsers {
lazy val literal = int
lazy val int = rep("0")
}
编译器说int is recursive and asks for the type of it.我的实验说,递归的核心隐藏在文字的声明中！删除它,你会看到递归消失了！
解决方法
JavaTokenParsers定义了一些名为literal的东西.
而rep(“0”)实际上是rep(literal(“0”))(literal是从String到Parser [String]的隐式转换).
但是JavaTokenParsers中的文字需要一个参数,而你的不是.所以你可能会期望你的只是重载,而不是覆盖,并且不存在冲突 – 并且int和literal之间没有相互递归.
事实上,如果你提供显式类型：
object ExprParser extends JavaTokenParsers {
lazy val literal: Parser[List[String]] = int
lazy val int: Parser[List[String]] = rep("0")
}
这对编译器来说很好.
那么为什么在省略返回类型时会触发递归的显式返回类型规则？
我认为这是一个相当微妙的问题.我不确定我确切知道这里发生了什么.我在Scala语言规范中找不到涵盖它的特定语言.
我最好的猜测是,在触发显式返回类型规则时,编译器仍处于相对较早的阶段,它还没有准确地解决什么或不是重载或覆盖.还没有返回类型,它必须基于有关类型的部分信息继续进行.
