c - 基本计算器问题的 Bison 语法

Question

所以我下面的语法“有效”。但是，它有一个小警告，现在我可以做类似

的事情

1.0-----------------2.0 

它会在 2 和 -2 之间翻转，直到它到达 1 op 2 然后将评估。对 Bison 来说仍然是新手，不清楚如何最好地为此实现修复。我有 1 个想法，以 3 为增量对“+”“-”的每个组合引发错误，但这是 8 条语法规则，我什至不确定如何在 Bison 中抛出错误。我想有一种更清晰、更易于理解的方法可以做到这一点。

灵活的词法分析器

%option nounistd
%option noyywrap

%{
#include <io.h>
#include <stdio.h>
#include <stdlib.h>
#include "parser.tab.h"
#define isatty _isatty
#define fileno _fileno
%}

%%
[ \t]+
\n  {return '\n';}
[0-9]+(\.[0-9]+)? {yylval.number=atof(yytext); return NUMBER;}
. {return yytext[0];}
%%

Bison 语法

%{
    #include <stdio.h>
    #include <math.h>
    extern int yylex(void);
    int yyerror(const char* c) { printf("%s\n",c); return 0;}
%}

%union
{
    double number;
}

%type <number> exp
%token <number> NUMBER

%left '+' '-'
%left '*' '/'
%right '^'

%start commands
%%
commands
    : /*empty*/
    | commands line
    ;

line
    : '\n'
    | exp '\n' {printf("=%f\n",$1);}
    | error '\n' {printf("encountered an error!\n");}
    ;

exp
    : NUMBER { $$ = $1;}
    | exp '+' exp {$$ = $1 + $3;}
    | exp '-' exp {$$ = $1 - $3;}
    | exp '*' exp {$$ = $1 * $3;}
    | exp '/' exp {$$ = $1 / $3;}
    | exp '^' exp {$$ = pow($1,$3);}
    | '-' exp {$$ = -$2;}
    | '+' exp {$$ = $2;}
    | '(' exp ')' {$$ = $2;}
    ;
%%

Answer 1

这是算术评估的正确且预期的行为，您会发现它在任何未实现 -- 递减运算符的语言中的工作方式相同。

如果你有一个 -- 运算符，你通常会在你的词法分析器中使用如下规则来实现它:

"--"  { return DECREMENT; }

这将保证 a---b 被词法化为“a”、“--”、“-”、“b”和 a----b 为“a”、“--”、“--”、“b”。 (后者是语法错误。)这是“最大咀嚼”规则的结果，这是大多数语言标准所要求的，也是大多数扫描仪生成器所实现的。 (通常不鼓励但不禁止编写这样的代码。)

在 C 中，您不能使用两个连续的后递减运算符，因为后递减表达式不是左值。这可以通过要求前后递减和递增运算符的参数是左值来在语法中强制执行。但是在 C++ 中，您不能轻易地从语法上确定正确性；尽管这将是一种可怕的风格，但没有什么能阻止您为某些类型重载 operator--(int) 以返回引用。

如果您的语言没有递减运算符，但出于某种审美原因，您希望禁止使用两个连续的一元运算符的表达式，那么您可以按照上面提示的相同方式来实现，例如:

 value: NUMBER | '(' expr ')'
 term:  value | '-' value | '+' value
 expr:  term | expr '-' expr | expr '+' expr | expr '*' expr | expr '/' expr | ...

在这里，你不能有 --a(或 -+a)，因为一元运算符只能应用于 value 并且值 不能以一元运算符开头。所以最终用户将被迫使用括号。但是您至少应该为想要知道为什么您认为有必要施加该限制的最终用户准备好一个满意的答案。