基本计算器问题的野牛语法

Question

下面是我的语法 'works'。但是，它有一个小警告，现在我可以做

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

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

Flex 词法分析器

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

野牛语法

%{
    #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",);}
    | error '\n' {printf("encountered an error!\n");}
    ;

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

Answer 1

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

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

"--"  { return DECREMENT; }

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

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

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

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

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

基本计算器问题的野牛语法

Bison Grammar For Basic Calculator Issue

c

parsing

bison

flex-lexer