词法分析器中的二元和一元减号运算符

Question

因此，我正在使用 flex 对 TOY 编程语言进行词法分析。 我目前停留在以下几点。

减号：正如我们所知，减号可以通过将它们定义为二元或一元运算符来具有两种含义（我也知道您可以舍弃两种含义，只说 -2 与 0-2 相同）。 首先，我目前只研究过词法分析器，对解析器一无所知。 那么，我是否应该关心区分这两个减号，有时分析器会将 -2 作为数字文字打印，有时 - 作为运算符打印，而 2 作为数字文字打印？ 或者可以在解析期间完成这种两个文字的组合吗？ 如果是，那么我应该只定义正数和 - 作为一元运算符吗？

Answer 1

如果您尝试将有符号整数作为单个标记进行分析，事情就会变得非常复杂。 例如，您必须避免将x-1分析为 { x , -1 }，因为-是一个运算符。

如果您将带符号的整数分析为两个标记——一个符号，然后是一个 integer——那么您将得到一个合理的解析。 只有两个问题：

1. 您真的不想在运行时评估-1 。 它是一个常量值，应该在编译时计算。 但这与任何其他常量表达式没有什么不同。 (1+1)最好在编译时折叠为2 。 常量折叠是一种相对容易实现的优化，尽管您应该首先让事情正常进行。

2. 在二进制补码中，如果 integer 部分与符号分开，则最小负数 integer（如果您使用的是带符号的 32 位整数，则为 -2147483648）是 integer 溢出。 2147483648 。 有很多方法可以解决这个问题，其中大多数会导致某种解析怪癖。 例如，针对 32 位int的 C 编译器会将比int更宽的类型分配给 2147483648，这意味着 -2147483647 和 -2147483648 是出乎意料的不同类型。 （这就是为什么INT_MIN通常#define d 为(-2147483647 - 1)的原因。）另一方面，如果您只是假设编译器在整数环绕的 2 补码环境中运行，那么您将得到正确的结果-2147483648的值。 但是您将获得2147483648的相同值，应该用诊断标记。 对于使用玩具语言的学生项目，这些怪癖可能是无害的，但您应该尝试记录它们。