解析野牛:构造函数在行动

Parsing with Bison: constructor in action

本文关键字：构造函数      更新时间：2023-10-16

我正在尝试用野牛构造一个解析器。我在第一部分有以下内容：

%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); }
;

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

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

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

我的词法分析器规则包含像返回 STAFFTYPE 这样的语句，以指示我已经用 Staff 对象填充了 yylval.stafftype。

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

  1. 联合似乎也与语法动作中的$$ = statements有关。为什么语法操作的结果类型需要在联合中？

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

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

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

相关文章：