flex bison 的小问题

cnhnyu

我想把一个包含函数的字符串用flex bison解析生成c代码，能够计算表达式的值，这个flex和bison的语法文件该怎么写？

例如： "abc" + substr("efghijklmn", 0, 3) + "xyz"
substr 是取子字符串的函数，substr("efghijklmn", 0, 3) 表示对字符串"efghijklmn"从第0个位置开始， 取3个字符， 得到子串"efg"
+ 表示连接2个字符串

则上述的表达式计算的结果为： abcefgxyz

要求能支持函数嵌套，如： substr(substr("efghijklmn", 0, 4), 0, 2)
得到结果ef

EricFisher

词法分析：字符串，函数标识符，数字，‘＋’  ',' '(' ')'

语法分析：计算函数的值，表达式的值

cnhnyu

我刚刚接触， 不知道怎么写， 能否指点一下呀

cnhnyu

我写了一个处理上述问题的flex和bison的语法文件：
cal.l

1. %{
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. 
   
5. void yyerror(char*);
   
6. #include "cal.tab.h"
   
7. char buf[1024];
   
8. char* s;
   
9. 
   
10. char* removequote(char* s);
    
11. void substr(char *s, int pos, int count, char* substr);
    
12. %}
    
13. %x STRING
    
14. 
    
15. %%
    
16. "substr"        return SUBSTR;
    
17. \"(\\.|[^\\"])*\"   { strcpy(buf, yytext); yylval = removequote(yytext); return STR;}
    
18. [0-9]+          {yylval = strdup(yytext); return INT;}
    
19. ","             return (',');
    
20. "("             return ('(');
    
21. ")"             return (')');
    
22. "+"             return ('+');  
    
23. [\n]            return *yytext;
    
24. 
    
25. [\t]            ;
    
26. .               yyerror("invalid char\n");
    
27. 
    
28. %%
    
29. int yywrap(void)
    
30. {
    
31.   return 1;
    
32. }
    
33. 
    
34. char* removequote(char* s)
    
35. {
    
36.   char szValue[1024];
    
37.   char szLine[1024];
    
38.   int len;
    
39.   
    
40.   len = strlen(s);
    
41.   strcpy(szLine, s);
    
42.   strcpy(szValue, &szLine[1]);
    
43.   szValue[len - 2] = 0;
    
44.   
    
45.   s = szValue;
    
46.   
    
47.   return s;
    
48. }
    
49. 
    
50. void substr(char *s, int pos, int count, char* substr)
    
51. {
    
52.   //printf("%s, %d, %d\n", s, pos, count);
    
53.   //return s;
    
54.   int len, i, j;
    
55.   len = strlen(s);
    
56.   for ( i = pos, j = 0; i < pos + count; )
    
57.     substr[j++] = s[i++];
    
58.   
    
59.   substr[j] = 0;
    
60. }
    

复制代码

cal.y

1. %{
   
2. int yylex(void);
   
3. void yyerror(char*);
   
4. 
   
5. char szTmp[1024];
   
6. %}
   
7. %token STR INT SUBSTR
   
8. %left  '+'
   
9. %%
   
10. program:
    
11.        program expr '\n' { printf("%s\n", $2);  exit(0);}
    
12.        |
    
13.        ;
    
14. expr:  
    
15.        STR       {$=$1;}
    
16.        | SUBSTR '(' STR ',' INT ',' INT ')'
    
17.        {
    
18.           printf("$3=%s,$5=%s,$7=%s\n", $3, $5, $7);
    
19.                       substr($3, atoi($5), atoi($7), szTmp);
    
20.           $ = szTmp;
    
21.        }
    
22.        |  expr '+' expr   
    
23.        {
    
24.           printf("\n$1=%s, $3=%s\n", $1, $3);
    
25.           strcat(szTmp, $1);
    
26.           strcat(szTmp, $3);
    
27.           $ = szTmp;
    
28.        }      
    
29.       ;
    
30. %%
    
31. void yyerror(char *s)
    
32. {
    
33.   fprintf(stderr, "%s\n", s);
    
34.   return;
    
35. }
    
36. 
    
37. int main(void)
    
38. {
    
39.   yyparse();
    
40.   return 0;
    
41. }
    

复制代码

但问题是，当规约这个表达式expr '+' expr 的时候， 我打印出来的$1和$3的值总是有问题
$1的值被$3的值覆盖了
比如：
当输入： "abcd"+"efgh"的时候，得到的结果是efghefgh， 此时打印的$1和$3的值都是efgh

哪位高人给看看原因呀，谢谢

bigCiCi

回复 4# cnhnyu


    在lex里面分析字符串的时候不能简单的用yylval=yytext来对yylval赋值，这样做只是将yytext的指针传递给了yylval，在第一次读取“abcd”之后，yylval的地址为yytext；（注意yytext是一个缓冲区，它的地址不变），在读取了“efgh”之后，yylval的地址仍然为yytext的地址，即仍然为缓冲区的首地址，这样，楼主的$1和$3都指向了缓冲区的首地址，所以显示的是两个"efgh"

以下给出我的做法。。。

正好这学期有编译原理的课，我就把我的代码拿上来了。

由于yylval要记录字符串或者记录整数，就需要重新定义yylval的结构，见下面的代码：

1. %union {
   
2.     int intValue;                 /* integer value */
   
3.     char varName[11];                /* symbol table index */
   
4.     nodeType *nPtr;             /* node pointer */
   
5. };

复制代码

这样做就能够解决楼主的问题了。。

建议楼主看下草木瓜的关于lex和yacc的博客，还有一本Tom Niemann 的 A compact guide to lex & yacc电子书 ， 楼主最好看下