、このファイルにバイソンを実行

Question

「...には宣言された型を持っていない」：

warning: $$ of 'exp' has no declared type.

それが何を意味する：

%{ 
    #include <iostream> 
    int yylex(); 
    void yyerror(const char*); 
%} 


%union 
{ 
    char name[100]; 
    int  val; 
} 

%token NUM ID 
%right '=' 
%left '+' '-' 
%left '*' 

%% 

exp : NUM  {$$.val = $1.val;} 
    | ID  {$$.val = vars[$1.name];} 
    | exp '+' exp {$$.val = $1.val + $3.val;} 
    | ID '=' exp {$$.val = vars[$1.name] = $3.val;} 
; 

%% 

は、のような警告にリードどのように解決するのですか？

Answer 1

定義されている共用体（％union）は、直接使用するためのものではありません。むしろ、あなたは組合のどのメンバーがどの表現によって使われているかをBisonに伝える必要があります。

これは%type directiveで行われます。

コードの修正バージョンは次のとおりです。さらに思想として

%{ 
    #include <iostream> 
    int yylex(); 
    void yyerror(const char*); 
%} 


%union 
{ 
    char name[100]; 
    int  val; 
} 

%token NUM ID 
%right '=' 
%left '+' '-' 
%left '*' 

%type<val> exp NUM 
%type<name> ID 

%% 

exp : NUM  {$$ = $1;} 
    | ID  {$$ = vars[$1];} 
    | exp '+' exp {$$ = $1 + $3;} 
    | ID '=' exp {$$ = vars[$1] = $3;} 
; 

%% 

Answer 2

、あなたは（あなたがASTのannoationを行っている場合、これは便利です）あなたの削減とより明確になりたい場合は、その後のことができます。あなたのスタック値をポインタにしてから自分で型の値を扱います。

struct myScalar { 
    union { 
     int num; 
     char *id; 
     char *float_lexeme; 
    }payload; 

    enum { 
     TYPE_NUM, 
     TYPE_IDENTIFIER, 
     TYPE_FLOAT_CHAR 
    } type; 
    char *orig_lexeme; 
}; 

、スタックのtypedefとscalar_val *valを持っている：多く持つスカラー型などがあります。

より複雑なコンパイラフロントエンドに移動すると、ASTをこのように構築することができます。ツリーをトラバースしたときにメタデータがよりよくなり、セマンティック前処理の翻訳を追加することもできますタイプ。それから、IDのようなリーフプロダクションに慣れて、字句を右のスカラーペイロードにシャッフルします。

完全な説明ではありませんが、あなたはそのアイディアを得ています。

希望これは

グッドラック