1

我正在使用一个名为 CUP 的解析器生成器。我获得了类定义的语法（CUP 规范）和这段支持代码（Expr.java）。

在 CUP 规范中，语法产生式具有与它们相关的语义动作，如下所示：

expr ::= expr:e1 PLUS expr:e2
{: RESULT = new OpExpr(e1,e2,sym.PLUS); :};

类定义是这样的：

package java_cup.output;
abstract class Expr {

    protected static String symbols[] = new String[12];

    .
    .
    .

    public abstract Integer val();

    public abstract String rep();

}

有一个整数表达式类

class IntExpr extends Expr{

    Integer intExpr;

    public IntExpr(Integer e) { intExpr = e; }

    public Integer val() { return intExpr; }

    public String rep() { return "Integer{"+intExpr.toString()+"}"; }

}

然后，有如下类：

class ParaExpr extends Expr {

    Expr paraExpr;

    public ParaExpr(Expr e) { paraExpr = e; }

    public Integer val() { return paraExpr.val(); }

    public String rep() { return "ParaExpr{("+paraExpr.rep()+")}"; }

}

本质上，我的问题是：没有为 Expr 类的 rep() 函数给出定义（因为它是抽象的）。那么这个函数调用是做什么的呢？paraExpr.rep()

当我创建一个项目、构建解析器并解析输入字符串时，它会创建一个 AST 并将其打印出来，如下所示：

ParaExpr{(IntExpr{(1)}+IntExpr{(2)})}

4

1 回答 1

0

没什么，它是一个抽象方法，所以没有任何实现。但你已经知道了。

Expr当你调用时，你不会有一个实例paraExpr.rep()，paraExp将是一个子类Expr，一个确实实现了rep().egIntExpr

于 2015-11-19T16:21:59.983 回答