は/バイソンは0

Question

の値を持つI bison仕様で、以下の生産を持っている：

op : '+' { printf("%d %d %c\n", $1, '+', '+'); } 

ときI入力、私は次の出力を得る+：

0 43 + 

を誰かが$1の値が0である理由を説明できますか、それは43ではありませんか？私は何が欠けていますか？

EDIT

そこにはフレックスファイルがありませんが、私はbison文法を提供することができます：

%{ 
#include <stdio.h> 
#include <ctype.h> 
#include <string.h> 

int yylex(); 
int yyerror(); 

%} 

%token NUMBER 

%% 

lexp : NUMBER 
    | '(' op lexp-seq ')' 
    ; 
op : '+' { printf("%d %d %c\n", $1, '+', '+'); } 
    | '-' { printf("%d %d %c\n", $1, '-', '-'); } 
    | '*' { printf("%d %d %c\n", $1, '*', '*'); } 
    ; 

lexp-seq : lexp-seq lexp 
     | lexp 
     ; 

%% 

int main(int argc, char** argv) { 
    if (2 == argc && (0 == strcmp("-g", argv[1]))) 
    yydebug = 1; 

    return yyparse(); 
} 

int yylex() { 
    int c; 

    /* eliminate blanks*/ 
    while((c = getchar()) == ' '); 

    if (isdigit(c)) { 
    ungetc(c, stdin); 
    scanf("%d", &yylval); 
    return (NUMBER); 
    } 

    /* makes the parse stop */ 
    if (c == '\n') return 0; 

    return (c); 
} 

int yyerror(char * s) { 
    fprintf(stderr, "%s\n", s); 
    return 0; 
} /* allows for printing of an error message */ 

Answer 1

$1は、右辺の第1のシンボルの意味値である、でこのケースは'+'です。これは端末であるため、スキャナが'+'トークンをパーサーに返したときの意味値は、yylvalの値になります。

スキャナが（完全に正常です）、それは'+'を返した場合にyylvalを設定していないので、その生産に$1の使用は十分に定義されていません。通常、文法は、'+'のようなトークンの意味値を参照するものではなく、純粋に構文的であり、意味値を持たない。

しかし、yylvalは静的変数であるため、0に初期化されているため、設定されるまで（たとえば、NUMBERをスキャンしている間）、その値が引き続き保持されます。