c++ - 野牛警告：键入非终结符的空规则

Question

我从 Bison 那里得到一个我不太明白的警告。

warning: empty rule for typed non-terminal, and no action

它适用于我的每个非终端字符。我不明白的部分是，如果我不给他们一个类型，那么我会收到编译错误，指出所有的 $ns 都是未定义的。这是我的野牛文件的语法部分。

%union {
  char *sval;
}

%token <sval> PLUS TIMES LPAREN RPAREN ID
%type  <sval> s e t f 
%%

s : e                   { cout << GetNonConstCharStar(std::string("(e ") + $1 + ")") << endl; }

e :                                     
    | e PLUS t          { $$ = GetNonConstCharStar(std::string("(e ") + $1 + ")" + " (PLUS " + $2 + ") " + "(t " + $3 + ")" ); }
    | t                 { $$ = GetNonConstCharStar(std::string("(t ") + $1 + ")"); }
    ;
t : 
    | t TIMES f         { $$ = GetNonConstCharStar(std::string("(t ") + $1 + ")" + " (TIMES " + $2 + ") " + "(f " + $3 + ")"); }  
    | f                 { $$ = GetNonConstCharStar(std::string("(f ") + $1 + ")"); }
    ;

f :  
    | LPAREN e RPAREN   { $$ = GetNonConstCharStar(std::string("(LPAREN \\")+ $1 + ") (e " + $2 + ") (RPAREN \\" + $3 + ")") ; }
    | ID                { $$ = GetNonConstCharStar(std::string("(ID ") + $1 + ")") ; }
    ;

%%

Answer 1

e :                                     
    | e PLUS t
    | t

是e: | e PLUS t | t，即没有或e PLUS t或t。删除第一个|.