Question

我使用带有lalr1.cc骨架的Bison来生成C ++解析器和api.value.type variant。我尝试使用中规则操作来返回将在进一步的语义操作中使用的值，但看起来堆栈上的值变为零。以下是一个例子。

parser.y：

%require "3.0"
%skeleton "lalr1.cc"
%defines
%define api.value.type variant

%code {
#include <iostream>
#include "parser.yy.hpp"
extern int yylex(yy::parser::semantic_type * yylval);
}

%token <int> NUM

%%
expr: NUM | expr { $<int>$ = 42; } '+' NUM { std::cout << $<int>2 << std::endl; };

%%

void yy::parser::error(const std::string & message){
    std::cerr << message << std::endl;
}

int main(){
    yy::parser p;
    return p.parse();
}

lexer.flex：

%option noyywrap
%option nounput
%option noinput

%{
#include "parser.yy.hpp"
typedef yy::parser::token token;
#define YY_DECL int yylex(yy::parser::semantic_type * yylval)
%}

%%
[ \n\t]+
[0-9]+      {
                yylval->build(atoi(yytext));
                return token::NUM;
            }
.           {
                return yytext[0];
            }

编译：

bison -o parser.yy.cpp parser.y
flex -o lexer.c lexer.flex
g++ parser.yy.cpp lexer.c -O2 -Wall -o parser

像2+2这样的简单输入应该打印值42，而是显示0。当变体类型更改为%union时，打印值应该是应有的。对于解决方法，我一直在使用带有$<type>-n的标记操作来从堆栈中获取更深层的值，但这种方法可能会降低可读性和可维护性。

我已在生成的源中读到，使用变体类型时，不会执行默认操作{ $$ = $1 }。它是这种行为的一个例子还是一个错误？

Answer 1

我投票＆＃34; bug＆＃34;。它与缺少默认操作无关。

我将执行追踪到它试图将MRA的值推入堆栈的程度。但是，它没有为MRA获得正确的类型，结果是对yypush_的调用什么都不做，这显然不是所需的操作。

如果我是你，我会报告问题。

Bison C ++中规则值随变体而丢失

1 个答案: