11

我有以下要解析的 EBNF:

PostfixExp      -> PrimaryExp ( "[" Exp "]" 
                                | . id "(" ExpList ")" 
                                | . length )*

这就是我得到的:

def postfixExp: Parser[Expression] = (
    primaryExp ~ rep(
        "[" ~ expression ~ "]"
        | "." ~ ident ~"(" ~ repsep(expression, "," ) ~ ")" 
        | "." ~ "length") ^^ {
        case primary ~ list =>  list.foldLeft(primary)((prim,post) =>
                post match {
                    case "[" ~ length ~ "]" => ElementExpression(prim, length.asInstanceOf[Expression])
                    case "." ~ function ~"(" ~ arguments ~ ")" =>  CallMethodExpression(prim, function.asInstanceOf[String], arguments.asInstanceOf[List[Expression]])
                    case _ => LengthExpression(prim)
                }
            )
    })

但我想知道是否有更好的方法,最好不必求助于强制转换(asInstanceOf)。

4

1 回答 1

12

我会这样做:

type E = Expression

def postfixExp = primaryExp ~ rep(
    "[" ~> expr <~ "]" ^^ { e => ElementExpression(_:E, e) }
  | "." ~ "length" ^^^ LengthExpression
  | "." ~> ident ~ ("(" ~> repsep(expr, ",") <~ ")") ^^ flatten2 { (f, args) =>
      CallMethodExpression(_:E, f, args)
    }
) ^^ flatten2 { (e, ls) => collapse(ls)(e) }

def expr: Parser[E] = ...

def collapse(ls: List[E=>E])(e: E) = {
  ls.foldLeft(e) { (e, f) => f(e) }
}

为简洁起见缩短expressions为,并出于同样的原因expr添加了类型别名。E

我在这里用来避免丑陋的案例分析的技巧是从内部生产中返回一个函数值。此函数接受一个Expression(将是primary),然后Expression基于第一个返回一个新的。这统一了点调度和括号表达式的两种情况。最后,该collapse方法用于将List函数值的线性合并为适当的 AST,从指定的主表达式开始。

请注意,LengthExpression它只是^^^从其各自的生产中作为一个值(使用 )返回。这是因为案例类的伴随对象(假设它LengthExpression确实是一个案例类)扩展了委托给它们的构造函数的相应函数值。因此,由 表示的函数LengthExpression接受一个Expression并返回一个新的实例LengthExpression,精确地满足了我们对高阶树构造的需求。

于 2009-02-08T22:30:10.430 回答