c++ - 用Bison解析:构造函数的作用

我正在尝试用Bison构建一个解析器。我在第一部分中有以下内容：

%union {
    int ttype;
    // enums used in lexer
    Staff stafftype;
    Numeral numeral;
    Quality quality;
    Inversion inversion;
    Pitch pitch;
    Accidental accidental;
    // Classes used in parser
    Roman roman;
}

%token <stafftype> STAFFTYPE
%token <numeral> NUMERAL
%token <quality> QUALITY
%token <inversion> INVERSION
%token <pitch> PITCH
%token <accidental> ACCIDENTAL
%token <ttype> COLON
%token <ttype> SLASH
%token <ttype> COMMA

%type <roman> accidentalRoman

带有一些语法规则。这是一个：

accidentalRoman
    : NUMERAL { $$ = Roman($1); }
    | ACCIDENTAL NUMERAL { $$ = Roman($2, $1); }
    ;

我基本上有三个相关的问题。


％union真正代表什么？我认为它代表词法分析器可以返回的类型。我的词法分析器规则包含类似return STAFFTYPE的语句，以指示我已在yylval.stafftype中填充了Staff对象。很公平。然而;
联合似乎也与语法动作中的$$ =语句有关。为什么语法动作的结果类型需要合并在一起？
在我的示例中，Roman类具有带参数的构造函数。但是，联合中的声明导致错误no matching function for call to 'Roman::Roman()'。有没有办法解决？我正在尝试使用$$ =构建解析树，并且树中的节点肯定在其构造函数中需要参数。实际上，它甚至不允许使用0参数的构造函数：error: union member 'YYSTYPE::roman' with non-trivial 'Roman::Roman().

最佳答案

%union真正代表什么？我认为它代表词法分析器可以返回的类型。
  


否。它表示生产可以通过$$ =返回的类型。词法分析器仅返回通过%token指令定义的整数常量。该词法分析器可以填充yylval成员作为副作用，但是从任何意义上讲，它都不是该词法分析器的返回类型。


  我的词法分析器规则包含诸如return STAFFTYPE之类的语句，以指示我已使用Staff对象填充yylval.stafftype。


他们不应该。它们应该返回语法中使用的标记类型，并且通常不应该将任何内容放入yylval中，除非是文字。您正在使用语法分析器应该做的词法分析器工作。


  
  工会似乎也与语法动作中的$$ = statements有关。为什么语法动作的结果类型需要合并在一起？
  


因为那是放置它们的地方。在yylval值堆栈的顶部。


  
  在我的示例中，罗马类具有带有参数的构造函数。但是，联合中的声明会导致没有错误的匹配函数调用'Roman :: Roman（）'。有没有办法解决？我正在尝试使用$$ =建立一个解析树，树中的节点肯定在其构造函数中需要参数。实际上，它甚至不允许使用0参数的构造函数：错误：联合成员YYSTYPE::roman与平凡的Roman::Roman()。
  


通常，%union应该由整数，双精度型，其他原始类型和指针组成。无论如何，联合中的对象都是有问题的，并且在解析器堆栈上大部分都是空间的浪费。

关于c++ - 用Bison解析:构造函数的作用，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/45727327/