yacc的问题

Question

／／语法定义
struct_or_union_spec        :        struct_or_union ID LBRACE struct_declaration_list RBRACE pos
                                        {printf("1) id = %s n", yylval_sval}

direct_dec                        :        ID pos
                                        {printf("2) id = %s n", yylval_sval}

／／语法关联过程
struct_or_union_spec -> struct_declaration -> dec ->direct_dec

例子：

struct xyz
{
        int a;
        double b;
}g;

当执行后的结果如下：

struct xyz
{
        int a;2) id = a
        double b;2) id = b
}1) id = b（正确的应该是 1) id = xyz）
g;

发现，对于 direct_dec的2个变量（结构体里的a和b）是对的，但对于 strcut_or_union_spec 里的ID（结构体里的xyz）是错的，正确的应该是： 1) id = xyz

我感觉是yacc在展开公式（语法定义）时，在最开始时 yylval_sval 的值是 xyz 的。但 yacc 先展开 struct_declaration_list 并将里面的变量 a 和 b 打印出来（先执行 printf("2) id = %s n", yylval_sval)。在打印完 struct_declaration_list 里面的变量后，yylval_sval 的值为 b（原来的xyz早就被覆盖了），因此再打印 xyz 时就变为 b（最后才执行 printf("1) id = %s n", yylval_sval）。

现在的问题是，怎样才可以提取出结构体的ID（即 xyz）？

Answer 1

我是用的flex, bison，可能不同的工具不一样，呵呵。

Answer 2

lex确实标识符的返回值为 ID，但是，同时它应该有一个变量来保存额外的数据，比如flex中，如下代码，

{i ...
EricFisher 发表于 2010-09-20 16:22

不太明白你里面的 BEGIN(INITIAL) 和 FN_NAME.......

另，我的如下：

// lex文件
{L}({L}|{D})*        {count(); yylval_p.sval=String((char *)yytext);return check_type();}

int check_type()
{
        return(ID);
}

//String包含在另一个文件里，如下：
char* String(char *s)
{string p = checked_malloc(strlen(s)+1);
strcpy(p,s);
return p;
}

// yylval的结构如下：
typedef union
{
        int pos;
        int ival;
        char * sval;
        double fval;  
} YYSTYPE_P;
YYSTYPE_P yylval_p;

Answer 3

lex确实标识符的返回值为 ID，但是，同时它应该有一个变量来保存额外的数据，比如flex中，如下代码，

<fn>{identifier} {
    yylval.str = xstrdup (yytext);
    BEGIN (INITIAL);
    return FN_NAME;
  }

返回的是一个FN_NAME，但我同时将yytext复制到了yylval中。

Answer 4

回复 6# kallytin

  各位有什么好的点子阿........

Answer 5

比如binson中，

For example:

     %union {              /* define stack type */
       double  ...
EricFisher 发表于 2010-09-20 12:38

EricFisher，

这样似乎是不行的......因为在lex里面已经规定了标识符的返回值为 ID。如果在这里另外定义一个（如：STRUCT_UNION_ID），系统会不认的.....

Answer 6

比如binson中，

For example:

     %union {              /* define stack type */
       double  ...
EricFisher 发表于 2010-09-20 12:38

改动如下（在语法分析文件（yacc的文件中））：

%token STRUCT_UNION_ID
（注：增加 STRUCT_UNION_ID）

%type <string>        STRUCT_UNION_ID
（注：之前对ID的定义为：%type <string>        ID。 这里增加 STRUCT_UNION_ID）

struct_or_union STRUCT_UNION_ID LBRACE struct_declaration_list RBRACE pos
（注：将ID改为 STRUCT_UNION_ID）

struct_or_union STRUCT_UNION_ID pos
（注：将ID改为 STRUCT_UNION_ID）

执行后发现：

int hello(int i, int j)
{
.....
        struct xyz
                    ^
      syntax error

.......
}

这回是连扫描都过不了了。是我改错了吗？

Answer 7

比如binson中，http://www.gnu.org/software/biso ... html#Multiple-Types

For example:

     %union {              /* define stack type */
       double val;
       symrec *tptr;
     }
     %token <val> NUM      /* define token NUM and its type */

Answer 8

你需要定义一个union，来保存yylval_sval中的值，这样就不会被覆盖了。

Answer 9

回复 1# kallytin

顶一下