Question

当我做的时候，在yacc中

%union {char *str;int num;} it work (yytypes)

问题是当我添加

%union{EXPR_ARBRE tree;int num;}

注意：EXP_ARBRE是在type.h中声明的指针类型和type.h包含在yac.y

中

但是当我编译时，我得到的错误是我的EXPR_ARBRE是一个未知类型

为什么？任何人都可以给我一些解释吗？

这是type.h

#include<stdio.h>
#include<stdlib.h>
#include<string.h>

typedef struct _EXPR_ARBRE {
 enum EXPR_TYPE {
        UNAIRE,BINAIRE,VARIABLE,CONSTANTE,TERNAIRE
    }type;
  union {
    int val ;
    char *nom;
    struct {
        char op;
        struct _EXPR_ARBRE *u;
    }un;
    struct{
        char op;
        struct _EXPR_ARBRE *opg;
        struct _EXPR_ARBRE *opd;
    }bin;
    struct{
        struct _EXPR_ARBRE *test;
        struct _EXPR_ARBRE *alternv;
        struct _EXPR_ARBRE *alternf;
    }ter;
 }forme;
}*EXPR_ARBRE;

////////////////////////////////////////////// 我的yacc文件（注意：我使用lex，我确实因个人原因删除了我的主要功能）

%token NUMBRE IDENTIF SI ALORS SINON POUR FAIRE APPEL TANTQUE RETOUR INFEG SUPEG EGAL DIFFERENT PLUS SUB MULT DIV OPAR CPAR AFFECT OACOL CACOL OBR CBR PNT PV VERG INF SUP 
%token ENTIER TABLEAU FONCTION OU ET ECRIRE LIRE
%{
    void yyerror(char *);
    #include<stdio.h>
    #include<stdlib.h>
    #include"type.h"
%}
%union {EXP_ARBRE arbre; int entier; char caractere; char *chaine;}
%%
programme: declarationVariable declarationTableau declarationFonction PNT            { printf("\t  |\n\t  |\n   ____PROG____\n"); }
       | declarationVariable PNT            { printf("\t  |\n\t  |\n   ____PROG____\n"); }
       | declarationTableau PNT            { printf("\t  |\n\t  |\n   ____PROG____\n"); }
       | declarationFonction PNT            { printf("\t  |\n\t  |\n   ____PROG____\n"); }
       | declarationVariable declarationTableau PNT            { printf("\t  |\n\t  |\n   ____PROG____\n"); }
       | declarationVariable declarationFonction PNT            { printf("\t  |\n\t  |\n   ____PROG____\n"); }
       | declarationTableau declarationFonction PNT            { printf("\t  |\n\t  |\n   ____PROG____\n"); }
       ;

declarationVariable: declarationVariable ENTIER IDENTIF PV { printf("\t  |\n\t  |\n   Decl-Variable\n"); }
             | ENTIER IDENTIF PV { printf("\t  |\n\t  |\n   Decl-Variable\n"); }
             ;



declarationTableau: declarationTableau TABLEAU IDENTIF OBR NUMBRE CBR PV { printf("\t  |\n\t  |\n   Decl-Tab\n"); }
            | TABLEAU IDENTIF OBR NUMBRE CBR PV { printf("\t  |\n\t  |\n   Decl-Tab\n"); }
            ;

declarationFonction: declarationFonction FONCTION IDENTIF OPAR param CPAR declarationVariable instructionBloc { printf("\t  |\n\t  |\n   Decl-FONC\n"); }
             | FONCTION IDENTIF OPAR  param CPAR declarationVariable  instructionBloc { printf("\t  |\n\t  |\n   Decl-FONC\n"); }
            ;

param: param VERG IDENTIF
    | IDENTIF
        |
    ;

instructionBloc:OACOL instr CACOL { printf("\t  |\n\t  |\n   inst-Block\n"); }
          | OACOL CACOL { printf("\t  |\n\t  |\n   inst-Block\n"); }
        ;

instr : instr instruction
    | instruction
;


instruction : instructionAffect
        | instructionBloc
        | instructionSi
        | instructionTantque
        | instructionAppel
        | instructionRetour
        | instructionEcriture
        | instructionVide
        ;


instructionAffect : IDENTIF AFFECT expression PV { printf("\t  |\n\t  |\n   inst-Affect\n"); }
          | IDENTIF OBR expression CBR AFFECT expression PV { printf("\t  |\n\t  |\n   inst-Affect\n"); }
          ;


instructionSi : SI expression ALORS instruction { printf("\t  |\n\t  |\n   inst-Si\n"); }
          ;

instructionTantque : TANTQUE expression FAIRE instruction { printf("\t  |\n\t  |\n   inst-TantQue\n"); }
           ;

instructionAppel : APPEL IDENTIF OPAR finAppelFonction CPAR PV { printf("\t  |\n\t  |\n   inst-Appel\n"); }
         ;

finAppelFonction : expression
         | finAppelFonction VERG expression
         ;

instructionRetour: RETOUR expression PV { printf("\t  |\n\t  |\n   inst-Retour\n"); }
        ;

instructionEcriture : ECRIRE OPAR expression CPAR PV { printf("\t  |\n\t  |\n   inst-Ecriture\n"); }
         ;

instructionVide : PV { printf("\t  |\n\t  |\n   inst-Vide\n"); }; 

expression : expression OU conjonction
       | conjonction
       ;

conjonction : conjonction ET comparaison
        | comparaison
        ;

comparaison :  expArith 
        | expArith INF expArith
        | expArith SUP expArith
        | expArith EGAL expArith
        | expArith DIFFERENT expArith
        | expArith INFEG expArith
        | expArith SUPEG expArith 
        ;

expArith : expArith PLUS terme
     | expArith SUB terme
     | terme
        ;

terme : terme MULT facteur
      | terme DIV facteur
      | facteur
    ;

facteur : OPAR expression CPAR
    | NUMBRE
    | LIRE OPAR facteur CPAR
    | IDENTIF OPAR finAppelFonction CPAR
    | IDENTIF OBR expression CBR
    | IDENTIF


%%



extern int yylex();
extern int yyparse();
extern FILE *yyin;

void yyerror(char *s) {
    printf("%s\n", s);
}

Answer 1

该类型定义为EXPR_ARBRE，但您的%union定义使用EXP_ARBRE代替。

在yacc中将定义的类型添加到％union

1 个答案: