生成C / C ++代码时表达式的相关性和优先级？

Question

我编写了一个生成AST的基本编译器，正确地考虑了表达式中的运算符优先级。 但是，在执行代码生成以生成C ++代码时，我不确定如何处理括号的使用。

对于这个表达式：

A - (B - c)

AST下面：

   -
  / \
 A   -
    / \
   B   C

应该正确生成包括括号的前一个表达式，但是如果第二个运算符是加法运算符（例如），则括号将是不必要的。 我宁愿只在必要时使用它们来提高可读性。

是否有任何规则规定这种行为以及如何知道何时使用括号。 在大多数语言中，加号和减号具有相同的优先级，我希望这对所有运算符都有效。

Answer 1

从历史上看，他们称之为“漂亮印刷”。 如果你谷歌加“优先”，你可能会找到一些例子来帮助你。

非正式地，我认为基本思想是当你递归到子表达式时，你将它的优先级与当前表达式进行比较。 如果它更低，你需要括号。 否则你不会。 可以通过执行类似的检查来处理关联性：如果子表达式具有与父级相同的优先级，则根据关联性，如果它在错误的一侧，则需要括号。

Answer 2

如果树中优先级较高的操作较低，则不需要将其括在括号中。

虽然知道操作的优先级是不够的。 您还需要知道操作的关联性。 它允许正确地对相同优先级的操作进行分组。 比方说，减法是左关联的，因此ABC等于(AB)-C ，但不等于A-(BC) 。

只需记下所有操作的整个优先级和关联性表，并在生成表达式时查阅它。