Bison 中的操作顺序

Question

我正在尝试使用 Bison 在 C++ 中生成解析器。语法很好，但我在操作上遇到了一些麻烦。这是一个简单的示例：

statements
: statement
| statements statement;

据我所知，这是一件很正常的事情。我的问题是哪个首先导出。例如，如果我有一个输入，看起来像

statement statement statement statement

Bison 调用我的操作为

statement (statement (statement (statement))))

，或者

(((statement) statement) statement) statement

我正在尝试构建此处调用的规则的链接列表，并且我希望保持该列表与输入的顺序相同。现在，我已经

statements
: statement
{ 
  $$ = $1; 
}
| statements statement
{ 
  dynamic_cast<ParsedFile::Statement*>($1)->Next = dynamic_cast<ParsedFile::Statement*>($2);
  $$ = $1;
};

编辑：好的，所以我可以做这样的事情：

switch_statement
: SWITCH '(' expression ')'
{ 
  auto Switch = p.Make<ParsedFile::SwitchStatement>();
  Switch->Test = dynamic_cast<ParsedFile::Expression*>($3);
  p.NewScope();
  $$ = Switch;
}
'{' case_statements '}'
{
  auto Switch = dynamic_cast<ParsedFile::SwitchStatement*>($5);
  Switch->Cases = p.statements.top();
  p.PopScope();
  p.AddToCurrentScope(Switch);
};

default_statement
: DEFAULT ':' 
{
  auto Default = p.Make<ParsedFile::DefaultStatement>();
  p.NewScope();
  $$ = Default;
}
statements
{
  auto Default = dynamic_cast<ParsedFile::DefaultStatement*>($3);
  Default->Statements = p.statements.top();
  p.PopScope();
  p.AddToCurrentScope(Default);
};

case_statement
: CASE expression 
{
  auto case = p.Make<ParsedFile::CaseStatement>();
  p->Value = dynamic_cast<ParsedFile::Expression*>($2);
  p.NewScope();
  $$ = case;
}
DOUBLE_COLON statements
{
  auto Case = dynamic_cast<ParsedFile::CaseStatement*>($3);
  Case->Statements = p.statements.top();
  p.PopScope();
  p.AddToCurrentScope(Case); 
};

case_statements
: case_statement
| case_statements case_statement
| case_statements default_statement;

Answer 1

它与左侧关联，即

(((statement) statement) statement) statement

您可以看出这是唯一的可能性，因为这可以简化为语句statement，这是您的产品之一。另一个选项

statement (statement (statement (statement))))

必须简化为statement statements，这不是您的作品之一。但是，如果您想要右关联性，则可以使用它。

您的代码不会按原样生成链表，因为在将一个语句与另一个语句连接后，您将返回一个指向第一个语句的指针，因此当下一个语句出现时，您将覆盖 < code>Next 第一个语句的指针。

将顺序更改为右关联应该可以解决此问题，但请注意，这将需要语句数量的线性解析器堆栈空间。如果您期望有很多语句，那么您应该考虑反向构建链表。