使用Yacc和Lex设计处理多个类型的计算器

Question

我是Compiler建筑物的新手。 Google可以找到== * /操作的许多示例，但是lex中这些示例中的标记通常仅处理一种类型，例如%token<DOUBLE> NUMBER ，然后处理yacc中的表达式类型也将是DOUBLE，例如%type<DOUBLE> expr factor term 。

我为此提供了一个示例语法：

lines
:
| lines expression '\n'  { printf(" = %lf\n", $2); }
;

expr
: term   { $$ = $1; }
| expr '+' term { $$ = $1 + $3; }
| expr '-' term { $$ = $1 - $3; }
;

term
: factor   { $$ = $1; }
| term '*' factor  { $$ = $1 * $3; }
| term '/' factor  { $$ = $1 / $3; }
;

factor
: NUMBER   { $$ = $1; }
| group   { $$ = $1; }
;

group
: '(' expression ')' { $$ = $2; }
;

如果我想处理不同的类型，例如FLOAT和INTEGER而不是DOUBLE，我会这样做：

%type<INTEGER> Integer
%type<FLOAT>   Float
lines
:
| lines expression '\n'  { printf(" = %lf\n", $2); }
;

expr
: term   { $$ = $1; }
| expr '+' term { $$ = $1 + $3; }
| expr '-' term { $$ = $1 - $3; }
;

term
: factor   { $$ = $1; }
| term '*' factor  { $$ = $1 * $3; }
| term '/' factor  { $$ = $1 / $3; }
;

factor
: Integer   { $$ = $1; }
| Float   { $$ = $1;}
| group   { $$ = $1; }
;

group
: '(' expression ')' { $$ = $2; }
;

如何定义表达式类型，例如expr，factor，term，constant？

如果我不给它们分配类型，则会出现一个错误，表示表达式没有类型，但是如果我给它们分配类型为INTEGER，那么也会出现错误，因为可以将因子减小为INTEGER或FLOAT。

怎么处理呢？

Answer 1

解析器通常不会这样处理类型推断（确定表达式是哪种类型），而是在语义分析阶段稍后确定，例如，通过具有可以接受任何AST节点并返回其类型的getType（）函数来确定。