1

我有以下野牛文件-

%union
{
    int integer_value;
    double double_value;
    char* string_value;
}

%token <integer_value> INTEGER
%token <string_value> VAR
%token <string_value> INTEGER_DECLARATION
%token <double_value> DOUBLE
%token <string_value> DOUBLE_DECLARATION


%%

program:
        program statement '\n'
        |
        ;

statement:
        | INTEGER_DECLARATION VAR '=' INTEGER {//implementation} 

        | INTEGER_DECLARATION VAR '='  DOUBLE {//implementation as above}                            

%%

由于两者的实现INTEGER_DECLARATION VAR '=' INTEGER是INTEGER_DECLARATION VAR '=' DOUBLE相同的，是否可以在语句结构中设置OR条件 bwINTEGER和？DOUBLE

我试过INTEGER_DECLARATION VAR '=' INTEGER|DOUBLE了，但它提示 warning: rule useless in parser due to conflicts: statement: DOUBLE并且确实引用DOUBLE被忽略了。

4

1 回答 1

1

您发布的主要代码片段尽可能简洁。statement: INTEGER_DECLARATION VAR '=' INTEGER|DOUBLE试图说 astatement只能由a 组成DOUBLE。

你可以这样写：

program:
      program statement '\n'
    |
    ;

statement:
      decl_part INTEGER {//implementation uses info in $1} 
    | decl_part DOUBLE {//implementation as above}                            
    ;

decl_part:
      INTEGER_DECLARATION VAR '=' {//partial implementation passes some info via $$}
    ;

但这是否会改善您已经拥有的东西，这是值得商榷的。

或者你可以写：

program:
      program statement '\n'
    |
    ;

statement:
      INTEGER_DECLARATION VAR '=' number
    ;

number:
      INTEGER
    | DOUBLE
    ;

当您以后想要扩展您的语言时，这种技术具有优势，例如，支持十六进制常量。

另一个注意事项：我认为您不希望在您的作品中使用第一个交替符号statement. 你拥有它的方式，两者都program可以statement是 epsilon（空），我相信这会导致解析器冲突。

于 2012-12-04T14:54:15.847 回答