yacc 规则与值栈

值栈是个很有意思的东东,

当有'移入'的时候:
1) 执行 .l 文件中的匹配模式对应的action, eg:

// *.l
匹配模式
action
----------------------------------------------------------------------------------
[a-zA-Z][a-zA-Z0-9]*
{ yylval.s = lookup(yytext);
return NAME; }
/* 名字 */

2) yylval 被压入值栈, 如果 action 为空, 那么就把一个无意义的 yylval 压入值栈; 否则, 使用者就有机会能够把想要的东西赋值给 yylval, 然后压入值栈;

 

当有'归约'的时候:

1) 这个时候, 通过对比 *.y 和 *.tab.c 就可以知道值栈的情况:

// *.y
stmt : IF exp THEN list ELSE list
{ $$ = newflow("I", $2, $4, $6); }
// *.tab.c
#line 41 "fb_3_2.y"
{ (yyval.a) = newflow("I", (yyvsp[(2) - (6)].a), (yyvsp[(4) - (6)].a), (yyvsp[(6) - (6)].a));

　　　　printInfo("stmt [0x%x]: IF [0x%x] THEN [0x%x] ELSE [0x%x]n", (yyval.a), (yyvsp[(2) - (6)].a), (yyvsp[(4) - (6)].a), (yyvsp[(6) - (6)].a)); ;}
break;

也就是
stmt : IF exp THEN list ELSE list
{ $$ = newflow("I", $2, $4, $6); }
$1
$2
$3
$4
$5
$6
newflow("I", (yyvsp[(2) - (6)].a), (yyvsp[(4) - (6)].a), (yyvsp[(6) - (6)].a));
|_______________|
|_________________|
|________________|
$2
$4
$6
^
^
^
值
栈
|
|
|-------------------> | $6 | <--- Top
|
|
| $5 |
|
|-----------------------------------------> | $4 |
|
| $3 |
|-----------------------------------------------------------------> | $2 |
| $1 |
| .
|