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 |
                                                                                                 | .  |