警告：非终结符在语法中无用：const_declaration [-Wother]

Question

我有以下 yacc 语法：

%{
#include  <stdio.h>
extern FILE* yyin;
extern char* yytext;

%}

%token VAR ID_NAME TYPE_STRING TYPE_BOOL TYPE_NUMBER CONST

%%

var_declaration: VAR ':' type ID_NAME ';' { printf("var\n"); }
    ;

const_declaration: CONST ':' type ID_NAME ';' {printf("const\n");}
    ;

type: TYPE_NUMBER
    | TYPE_STRING
    | TYPE_BOOL
    ;

%%
void yyerror (char const *s) {
    fprintf (stderr, "%s\n", s);
}

int main(int argc, char** argv[])
{

    yyparse();
    return 0;
}

它应该描述一种小语言，此时应该允许 var:<type> <name>; 形式的变量声明和 const:<type> <name>;.

形式的常量声明

当我运行 yacc -vd grammar.y 我得到： yacc -vd grammar.y

grammar.y: warning: 1 nonterminal useless in grammar [-Wother]
grammar.y: warning: 1 rule useless in grammar [-Wother]
grammar.y:16.1-17: warning: nonterminal useless in grammar: const_declaration [-Wother]
 const_declaration: CONST ':' type ID_NAME ';' {printf("const\n");}
 ^^^^^^^^^^^^^^^^^
grammar.y:16.20-67: warning: rule useless in grammar [-Wother]
 const_declaration: CONST ':' type ID_NAME ';' {printf("const\n");}
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

为什么说const_declaration规则没用？

Answer 1

您收到此错误消息的原因是规则 const_declaration 没有出现在任何其他规则中，因此语法不需要。

规则var_declaration被当作开始规则（因为你没有指定开始它使用第一个）。此规则仅使用 type 规则，因此所有其他规则都是多余的，这就是它告诉您的内容。

也许这是一个更大语法的子集？当所有语法都在文件中并且在某处使用了 const_declaration 规则时，错误就会消失。

警告：非终结符在语法中无用：const_declaration [-Wother]

warning: nonterminal useless in grammar: const_declaration [-Wother]

parsing

yacc

bison