scala解析器组合器stackoverflow递归

时间:2012-10-13 18:36:08

标签: parsing scala recursion stack-overflow

以下代码示例在解析深深嵌套在括号中的表达式时由于堆栈溢出而崩溃。

Parser组合器是标准库的一部分。有没有办法利用图书馆避免这种情况?

(我不是要问为什么它会以正确的方式处理标准库而崩溃的原因。)

解析: (((((((((1 ... + 1 ...))))))))))

代码:

import scala.util.parsing.combinator.syntactical.StandardTokenParsers

object ArithmeticParser1 extends StandardTokenParsers {   
  lexical.delimiters ++= List("(", ")", "+", "-", "*", "/")

  val reduceList: Int ~ List[String ~ Int] => Int = {
    case i ~ ps => (i /: ps)(reduce) 
  }

  def reduce(x: Int, r: String ~ Int) = (r: @unchecked) match {
    case "+" ~ y => x + y
    case "-" ~ y => x - y
    case "*" ~ y => x * y
    case "/" ~ y => x / y
  }

  def expr  : Parser[Int] = term ~ rep ("+" ~ term | "-" ~ term) ^^ reduceList
  def term  : Parser[Int] = factor ~ rep ("*" ~ factor | "/" ~ factor) ^^ reduceList
  def factor: Parser[Int] = "(" ~> expr <~ ")" | numericLit ^^ (_.toInt)

  def main(args: Array[String]) {
    val s = scala.io.Source.fromFile(args(0)).mkString
    val tokens = new lexical.Scanner(s)
    println(s)
    println(phrase(expr)(tokens))
  }
}

1 个答案:

答案 0 :(得分:0)

我不确定如何使用scala解析器组合器处理它。我的第一个想法是蹦床[1] - 但快速谷歌搜索似乎说默认库不支持这个。因此,我认为解决这个问题的主要方法是使用-Xss,这不是理想的。

然而https://github.com/djspiewak/gll-combinators支持蹦床,似乎它与标准库有类似的API。