flex/bison line 25：語法錯誤在''。文件的最後一行

Question

我試圖編譯一個flex項目，但我總是得到相同的錯誤，我搜索所有的SO，並嘗試大多數解決方案，例如使用標記<>並返回1或0，或者調用yywrap（）...但沒有運氣。

而我不知道錯誤在哪裏，我有84轉變/減少衝突警告，但我可能是問題。

這是tokens.l：

%option yylineno 

%{ 
#include <string> 
#include <iostream> 
#include <vector> 
using namespace std ; 
#include "parser.hpp" 

extern "C" int yywrap() { return(1); } 
#define TOKEN(t) processtoken(t, string(yytext, yyleng)) 

void processtoken (int t, string id) { 
    cout << t << " <" << id << ">" << endl ; 
} 

%} 

%option nounput 

%% 

programa        TOKEN(RPROGRAM); 
procedimiento       TOKEN(RPROC); 
variables        TOKEN(RVAR); 
si          TOKEN(RIF); 
entonces        TOKEN(RTHEN); 
repetir         TOKEN(RREPEAT); 
hasta         TOKEN(RUNTIL); 
siempre         TOKEN(RALWAYS); 
salir         TOKEN(RSALIR); 
leer         TOKEN(RREAD); 
escribir_linea       TOKEN(RWRITE); 
in          TOKEN(RIN); 
out          TOKEN(ROUT); 
entero         TOKEN(RENTERO); 
real         TOKEN(RREAL); 


[a-zA-Z](_?[a-zA-Z0-9])*    TOKEN(TID); 
\$[a-zA-Z](\-{0,1}[a-zA-Z0-9])*\-?  TOKEN(TID); 
\$[a-zA-Z](\_{0,2}[a-zA-Z0-9])*   TOKEN(TID); 
\(\*([^*]|\*+[^*)])*\*+\)    ; 

[ \t\n]         ; 
[0-9]+\.[0-9]*       TOKEN(TDOUBLE); 
[0-9]+         TOKEN(TINTEGER); 
[0-9]+\.[0-9]+([eE][-+]?[0-9]+)?  TOKEN(TREAL); 

"="          TOKEN(TASSIG); 
"=="         TOKEN(TEQUAL); 
">"          TOKEN(TCGT); 
">="         TOKEN(TCGE); 
"<"          TOKEN(TCLT); 
"<="         TOKEN(TCLE); 
"+"          TOKEN(TPLUS); 
"-"          TOKEN(TMINUS); 
"*"          TOKEN(TMUL); 
"/"          TOKEN(TDIV); 
"/="         TOKEN(TCNE); 
"("          TOKEN(TLPAREN); 
")"          TOKEN(TRPAREN); 
"{"          TOKEN(TLBRACE); 
"}"          TOKEN(TRBRACE); 
","          TOKEN(TCOMMA); 
":"          TOKEN(TCOLON); 
";"          TOKEN(TSEMIC); 

.          { cout << "Token desconocido: " << yytext << endl; yyterminate();} 

%% 

這是parser.y：

%{ 
    #include <stdio.h> 
    #include <iostream> 
    #include <vector> 
    #include <string> 
    using namespace std; 

    extern int yylex(); 
    extern int yylineno; 
    extern char *yytext; 
    string tab = "\t" ; 
    void yyerror (const char *msg) { 
    printf("line %d: %s at '%s'\n", yylineno, msg, yytext) ; 
    } 


%} 

%union { 
    string *str ; 
} 

%token <str> RPROGRAM RPROC RVAR RIF RTHEN RREPEAT RUNTIL 
%token <str> RALWAYS RSALIR RREAD RWRITE RENTERO RREAL 
%token <str> RIN ROUT 

%token <str> TID TDOUBLE TREAL TINTEGER 

%token <str> TASSIG TEQUAL TCGT TCGE TCLT TCLE TCNE 
%token <str> TPLUS TMINUS TMUL TDIV 
%token <str> TLPAREN TRPAREN TLBRACE TRBRACE TCOMMA TCOLON TSEMIC 

%type <str> programa 
%type <str> declaraciones 
%type <str> lista_de_ident 
%type <str> resto_lista_id 
%type <str> tipo 
%type <str> decl_de_subprogs 
%type <str> decl_de_subprograma 
%type <str> argumentos 
%type <str> lista_de_param 
%type <str> clase_par 
%type <str> resto_lis_de_param 
%type <str> lista_de_sentencias 
%type <str> sentencia 
%type <str> variable 
%type <str> expresion 

%left TPLUS TMINUS TMUL TDIV 

%start programa 

%% 

programa : RPROGRAM TID 
     declaraciones 
     decl_de_subprogs 
     TLBRACE lista_de_sentencias TRBRACE 
     ; 


declaraciones : RVAR lista_de_ident TCOLON tipo TSEMIC declaraciones 
     | {} 
     ; 

lista_de_ident : TID resto_lista_id 
     ; 

resto_lista_id : TCOMMA TID resto_lista_id 
     | {} 
     ; 

tipo : RENTERO | RREAL 
     ; 

decl_de_subprogs : decl_de_subprograma decl_de_subprogs 
     | {} 
     ; 

decl_de_subprograma : RPROC TID argumentos declaraciones 
        TLBRACE lista_de_sentencias TRBRACE 
     ; 

argumentos : TLPAREN lista_de_param TRPAREN 
     | {} 
     ; 

lista_de_param : lista_de_ident TCOLON clase_par tipo resto_lis_de_param 
     ; 

clase_par : RIN | ROUT | RIN ROUT 
     ; 

resto_lis_de_param : TSEMIC lista_de_ident TCOLON clase_par tipo resto_lis_de_param 
     | {} 
     ; 

lista_de_sentencias : sentencia lista_de_sentencias 
     | {} 
     ; 

sentencia : variable TASSIG expresion TSEMIC 
     | RIF expresion RTHEN TLBRACE lista_de_sentencias TRBRACE 
     | RREPEAT TLBRACE lista_de_sentencias TRBRACE RUNTIL expresion TSEMIC 
     | RREPEAT RALWAYS TLBRACE lista_de_sentencias TRBRACE 
     | RSALIR RIF expresion 
     | RREAD TLPAREN variable TRPAREN TSEMIC 
     | RWRITE TLPAREN expresion TRPAREN TSEMIC 
     ; 

variable : TID 
     ; 

expresion : expresion TEQUAL expresion 
     | expresion TCGT expresion 
     | expresion TCLT expresion 
     | expresion TCGE expresion 
     | expresion TCLE expresion 
     | expresion TCNE expresion 
     | expresion TPLUS expresion 
     | expresion TMINUS expresion 
     | expresion TMUL expresion 
     | expresion TDIV expresion 
     | TID 
     | TINTEGER 
     | TREAL 
     | TLPAREN expresion TRPAREN 
     ; 

及運用嘗試所有的測試程序林代幣是下一個：

programa ejemplo 
    variables a,b,c : entero; 
    variables d,e : real; 
(* esto es un comentario *) 

procedimiento sumar (x,y: in entero; resul: in out entero) 
    variables aux:entero; 
    { 
     repetir { 
      aux=x; 
      resul=y; 
      aux = aux - 1; 
      resul = resul+1; 
     } hasta aux /= 0; 
    } 

{ 
    leer(a); leer(b); 
    d= 1/b; 
    e= 1/a; 
    sumar(a,b,c); (* los que hagan llamadas a procedimientos *) 
    c= c*(c*d)+e; 
    escribir_linea(c*c); 
} 

我總是在最後一行發現錯誤：第25行：語法錯誤在''，但我不知道這是什麼意思，因爲我有一個空間令牌，EOF令牌不起作用，我試過< < EOF >> {yywrap（）;}但它沒有完成。

Answer 1

您的掃描儀定義中沒有任何地方會將令牌返回給解析器。因此，解析器唯一會看到的標記是當flex看到EOF時自動返回的END標記。

但是您的語法不接受空輸入;它堅持認爲輸入中的第一個標記爲programa（例如）。所以當它看到EOF時自然會報告一個語法錯誤。

當檢測到EOF時，沒有標記文本，所以yytext將無效。 （它甚至可能是NULL，所以絕對不應該使用它）。總的來說，在詞法分析動作之外使用yytext並不是一個好主意，並且它在yyerror中的特定用法調用了未定義行爲（儘管您會不時在野牛的例子中看到它）。