Question

我试图用C的MPC（Micro Parser Combinator）库编写反向波兰表示法解析器。但是，我使用的语法问题或其他地方的其他问题意味着它只是输出第一个数字而不是完整的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'

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

Answer 1

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

查看您的示例（2 2 +）和您的输入规则：

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

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

现在，我认为您可以尝试输入“（2 2 +）”
然后，修复将使您的输入规则的括号可选。

在C中使用MPC库进行解析仅返回第一个数字

1 个答案: