0

我正在尝试使用 C 的 MPC（微解析器组合器）库编写一个反向波兰表示法解析器。但是，我正在使用的语法问题或其他地方的另一个问题意味着它只输出第一个数字而不是完整的 AST。

语法：

mpc_parser_t* Number   = mpc_new("number");
mpc_parser_t* Exp      = mpc_new("exp");
mpc_parser_t* Exp1     = mpc_new("exp1");
mpc_parser_t* Term     = mpc_new("term");
mpc_parser_t* Term1    = mpc_new("term1");
mpc_parser_t* RPN      = mpc_new("rpn");

/* BNF for RPN */ 
mpca_lang(MPCA_LANG_DEFAULT,
    "                                                         \
        number  : /-?[0-9]+/;                                 \
        exp     : <term> <exp1>;                              \
        exp1    : '+' <term> <exp1> | '-' <term> <exp1> | ''; \
        term    : <rpn> <term1>;                              \
        term1   : '*' <rpn> <term1> | '/' <rpn> <term1> | ''; \
        rpn     : '(' <exp> ')' | <number>;                   \
    ", Number, Exp, Exp1, Term, Term1, RPN);

解析：

/* Attempt to Parse user input */
    mpc_result_t r;
    if (mpc_parse("<stdin>", input, RPN, &r)) {
        /* On success print AST */
        mpc_ast_print(r.output);
        mpc_ast_delete(r.output);
    } else {
        /* Otherwise print error */
        mpc_err_print(r.error);
        mpc_err_delete(r.error);
    }

输入：

2 2 +

输出：

number|regex:1:1 '2'

任何此类输入仅读取初始数字（例如，'54 8 /' 仅输出 54）。有任何想法吗？

4

1 回答 1

1

您正在使用的 bnf 是问题所在：

看看你的例子（2 2 +）和你的进入规则：

rpn     : '(' <exp> ')' | <number>;

1 - rpn 左侧部分与输入不匹配：2 != (
2 - 然后数字匹配
3 - 规则编号结束，规则 rpn 结束，停止解析

现在，我认为您可以尝试输入“( 2 2 + )”
解决方法是让您的输入规则的括号可选。

于 2015-06-12T03:52:25.007 回答