简单Bison脚本上的分段错误

Question

好的，我正在使用Lex / Bison（Yacc）做一些实验，并且鉴于我的C技能还很生锈（我曾经用所有这些工具创建过编译器和东西，现在我迷失了前几行...：-S），我需要您的帮助。

这是我的解析器的外观：

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

void yyerror(const char *str)
{
    fprintf(stderr,"error: %s\n",str);
}

int yywrap()
{
    return 1;
} 

main()
{
    yyparse();
} 

%}

%union 
{
    char* str;
}

%token <str> WHAT IS FIND GET SHOW WITH POSS OF NUMBER WORD

%type <str> statement
%start statements
%%

statement
    : GET { printf("get\n"); }
    | SHOW  { printf("%s\n",$1); }
    | OF { printf("of\n"); }
    ;

statements
    : statement
    | statements statement
    ;

问题 ：

因此，基本上，只要解析器遇到“ get”，它就会打印“ get”。 等等。

但是，当尝试打印“显示”（使用$1指定符）时，它会发出segmentation fault错误。

我究竟做错了什么？

Answer 1

Lex返回一个代表令牌的数字，您需要访问yytext以获取解析内容的文本。

就像是

statement               : GET { printf("get\n"); }
                        | SHOW  { printf("%s\n",yytext); }
                        | OF { printf("of\n"); }
                        ;

为了传播终端文本，我继续将非终端与终端相关联，然后传回char *并开始构建解析树。 注意，我省略了decl类型和create_sww_ASTNode（char *，char *，char *）的实现； 但是，重要的是，并非所有非终结符都将返回相同的类型，因为number是整数，单词return char * sww return astNode（或您想到的任何通用抽象语法树结构）。 通常在非终端代表终端之外，所有都是AST东西。

sww                     : show word word
                        {
                           $$ = create_sww_ASTNode($1,$2,$3);
                        }
                        ;

word                    : WORD
                        { 
                          $$ = malloc(strlen(yytext) + 1);
                          strcpy($$,yytext);
                        }
                        ;

show                    : SHOW
                        { 
                          $$ = malloc(strlen(yytext) + 1);
                          strcpy($$,yytext);
                        }
                        ;

number                  : NUMBER
                        { 
                           $$ = atoi(yytext);
                        }
                        ;

Answer 2

您没有显示您的词法分析器代码，但是问题可能是您从未将yylval设置为任何值，因此，当您在解析器中访问$1时，它包含垃圾并导致崩溃。 您的词法分析器操作需要将yylval.str设置为某种值，这样它才有效：

"show"   { yylval.str = "SHOW"; return SHOW }
[a-z]+   { yylval.str = strdup(yytext); return WORD; }

Answer 3

好的，这就是答案（有人可以告诉我，我已经在这里发布了一个问题后，我总是想出解决方案是什么吗？）

问题不在于解析器本身，而在于Lexer。

问题是：当您将其告诉{ printf("%s\\n",$1); } { printf("%s\\n",$1); } ，实际上我们告诉它打印yylval （默认情况下是int ，而不是字符串）。

因此，诀窍是将适当的标记转换为字符串。

这是我的（更新的）Lexer文件：

%{
#include <stdio.h>
#include "parser.tab.h"

void toStr();
%}

DIGIT               [0-9]
LETTER              [a-zA-Z]
LETTER_OR_SPACE     [a-zA-Z ]

%%

find    { toStr(); return FIND; }
get     { toStr(); return GET; }
show    { toStr(); return SHOW; }

{DIGIT}+(\.{DIGIT}+)?   { toStr(); return NUMBER; }
{LETTER}+               { toStr(); return WORD; }
\n                      /* ignore end of line */;
[ \t]+                  /* ignore whitespace */;
%%

void toStr()
{
    yylval.str=strdup(yytext);
}