标签：
值栈是个很有意思的东东,
当有‘移入‘的时候:
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 |
| . |
标签：
原文地址：http://www.cnblogs.com/happylong/p/4330794.html
