语法分析中的野牛错误

Question

我对此有些困惑...我对野牛的语法看起来像这样。

%%
program:
    | program func_defn
    ;

datatype: INTEGER          { $$ = currentType = Type::IntegerTy; }
    | FLOAT                { $$ = currentType = Type::FloatTy; }
    | VOID                 { $$ = currentType = Type::VoidTy; }
    | STRING_LITERAL       { $$ = currentType = Type::StringTy; }
    ;

retlist : datatype
    {
        builder->pushDataType(&getType($1));
    }
    ;

arglist: datatype IDENTIFIER 
    {
        builder->pushDataType(&getType($1));
        Symbol *sym = builder->addSymbol($2, getType($1));
        builder->pushArgName(sym);
    }
    | arglist ',' datatype IDENTIFIER 
    {
        builder->pushDataType(&getType($3));
        Symbol *sym = builder->addSymbol($4, getType($3));
        builder->pushArgName(sym);
    }
    |
    ;
//as and when we find the identifiers , we need to add them to a list and use them while constructing the prototype/func

func_defn: FUNCTION IDENTIFIER LSQUARE retlist RSQUARE '(' arglist ')' '{' 
    {
        const std::string& string = $5;
        FunctionProtoType* fp = builder->getProtoType(string);//use current dataTypeList

        /*
        if(fp == NULL) //find the prototype in the module. if not found, add a new one
            builder->addProtoType(string, getType($1), &fp);
        */

        IcErr err = builder->addFunction(*fp);
        if(err != eNoErr)
            yyerror(errMsg[err]);
    }
    ;

%%

我正在尝试解析这条线...

function first_method [int] (int a, int b) {

但是，这似乎根本无法解析。 我没有平移-减少或减少-减少冲突。

Compiling file: ica_test\func_defn.icaStarting parse
Entering state 0
Reducing stack by rule 1 (line 80):
-> $$ = nterm program (1.1: )
Stack now 0
Entering state 1
Reading a token: Next token is token FUNCTION (1.1: )
Shifting token FUNCTION (1.1: )
Entering state 3
Reading a token:  Next token is token IDENTIFIER (1.1: )
Shifting token IDENTIFIER (1.1: )
Entering state 5
Reading a token: _Next token is token IDENTIFIER (1.1: )

function first_method [int] (int a, int b) {
          ^
Error on Line 1, Column 9: syntax error, unexpected IDENTIFIER, expecting LSQUAR
EError: popping token IDENTIFIER (1.1: )
Stack now 0 1 3
Error: popping token FUNCTION (1.1: )
Stack now 0 1
Error: popping nterm program (1.1: )
Stack now 0
Cleanup: discarding lookahead token IDENTIFIER (1.1: )
Stack now 0

Stopping compilation as we found some syntax errors in ica_test\func_defn.ica
!Press any key to continue . . .

Answer 1

我猜你的词法规则的IDENTIFIER不能包含_ （下划线）字符，所以first_method标记化作为标识符first ，然后_不匹配任何规则，所以被回显到标准输出（前的杂散下划线Next在您的输出中）。 然后，它获取另一个标识符（ method ），该标识符会导致语法错误，因为它期望一个[ 。

我说“猜测”是因为您没有显示您的词法分析器代码，但这似乎很有可能。

您应该通过修复IDENTIFIER规则来解决此问题，但是还应该添加最终的词法分析器规则，例如：

.        { return *yytext; }

匹配任何单个字符并将其返回到解析器，而不是将其回显到输出。 这样一来，您将不会在输出中回显随机字符并忽略它们，并且会为它们带来更明智的语法错误-并且它们将作为标记显示在YYDEBUG文本输出中，因此您将知道继续。