斑竹看看好吗

mousse

就只运行一下，看看就觉得怪异了 。

如下的struct.l定义：

1. %{
   
2. 
   
3. 
   
4. #include<cctype>
   
5. 
   
6. using namespace std;
   
7. 
   
8. 
   
9. #include "structy.hpp"
   
10. 
    
11. extern YYSTYPE yylval;
    
12. 
    
13. %}
    
14. 
    
15. char [a-zA-Z\_]
    
16. 
    
17. nonzerodigit [1-9]
    
18. 
    
19. zero "0"
    
20. 
    
21. number {nonzerodigit}({nonzerodigit}|zero)*
    
22. 
    
23. blank [\r\n\t\ ]
    
24. 
    
25. %%
    
26. 
    
27. {char}({char}|{number})* { yylval.charVal = yytext; return NAME; }
    
28. 
    
29. {number} { yylval.intVal = atoi(yytext); return ID; }
    
30. 
    
31. . /*do nothing*/
    
32. 
    
33. %%
    
34. 
    
35. 
    
36. int yywrap()
    
37. { return 1; }
    

复制代码

语法分析如下struct.y：

1. %{
   
2. #include<iostream>
   
3. #include<cstdlib>
   
4. #include<cstdio>
   
5. #include<cstring>
   
6. 
   
7. using namespace std;
   
8. 
   
9. struct valueType
   
10. {
    
11.         int intVal;
    
12.         char* charVal;
    
13.         valueType(const int a,const char* c)
    
14.         {
    
15.                 intVal = a;
    
16.                 charVal = new char[strlen(c)+1];
    
17.                 for(int i=0;c[i];i++)
    
18.                 {
    
19.                         cout<<c[i]<<' ';
    
20.                 }
    
21.                 cout<<endl;
    
22.                 strcpy(charVal,c);
    
23.         }
    
24. };
    
25. 
    
26. int yylex();
    
27. void yyerror(const char* );
    
28. 
    
29. %}
    
30. 
    
31. %union{
    
32.         int intVal;
    
33.         char* charVal;
    
34.         valueType* p;
    
35. }
    
36. 
    
37. %token<intVal> ID
    
38. %token<charVal> NAME
    
39. %type<p> pair
    
40. 
    
41. 
    
42. %start list
    
43. 
    
44. 
    
45. %%
    
46. list:
    
47.     | list pair
    
48. 
    
49. pair:NAME ID {
    
50.     $$ = new valueType($2,$1);
    
51.     cout<<"--------------------------------------------------------"<<endl;
    
52.     cout<<"name:"<<$$->charVal<<endl
    
53.         <<"ID:"<<$$->intVal<<endl;
    
54.     }
    
55. 
    
56. 
    
57. 
    
58. %%
    
59. 
    
60. extern FILE* yyin;
    
61. 
    
62. int main(int args,char*argv[])
    
63. {
    
64.     if(args<=1 || (NULL==(yyin=fopen(argv[1],"rt"))))
    
65.     {
    
66.         cout<<"cannot open the input file."<<endl;
    
67.         return 1;
    
68.     }
    
69.     yyparse();
    
70.     return 0;
    
71. }
    
72. 
    
73. 
    
74. void yyerror(const char* err)
    
75. {
    
76.     cout<<err<<endl;
    
77. }
    

复制代码

相关命令是：

1. 
   
2. flex -L -ostructl.cpp struct.l
   
3. bison -l -d -ostructy.cpp struct.y
   
4. g++ -ostruct *.cpp
   
5. ./struct input
   
6. 
   

复制代码

要注意的是需要在structy.hpp中添加声明struct valueType;:ask

当输入文件是input时：

1. asd_syd98as 6767887
   
2. _siufas7CjSas 989080
   
3. jasfd 09sua f0
   
4. 54356

复制代码

输出是：

1. a s d _ s y d 9 8 a s   6 7 6 7 8 8 7
   
2. --------------------------------------------------------
   
3. name:asd_syd98as 6767887
   
4. ID:6767887
   
5. 
   
6. _ s i u f a s 7 C j S a s   9 8 9
   
7. --------------------------------------------------------
   
8. name:_siufas7CjSas 989
   
9. ID:989
   
10. syntax error
    

复制代码

也就是说yytext中包含了后面扫描到的ID的值，我以为输出只是象a s d _ s y d 9 8 a s
，没有后面的ID部分，能讲讲yytext的缓冲处理是怎样的一个过程吗？

rickxbx

你下面的这条规则：

{char}({char}|{number})* { yylval.charVal = yytext; return NAME; }

应改为：

{char}({char}|{number})* { yylval.charVal = strdup(yytext); return NAME; }

一般是这么用的，可能要加一个 string.h 头文件

原因（猜测）：
每次要匹配一个yacc（语法）规则时，申请一块内存，yytext 就指向它，每当一个lex规则匹配时，将匹配字符串放置在申请的内存中，并将 yytext 指针移动到那个地方。在一个语法规则匹配结束后，释放内存

rickxbx

《lex 与 yacc》第二版中提到： lex每次匹配一个新标记时就替换yytext的内容。如果yytext的内容在后面还要使用（例如：由调用lex扫描程序的yacc语法分析程序中的一个动作使用），通过使用strdup或者类似例程保存字符串的拷贝，从而使字符串的拷贝位于刚刚分配的存储器中