Associativité et précédence des expressions lors de la génération de code C/C++?

Question

J'ai écrit un compilateur de base qui génère un AST, en prenant correctement en compte la priorité de l'opérateur dans les expressions. Cependant, lors de la génération de code pour produire du code C++, je ne suis pas sûr de la façon de gérer l'utilisation des crochets.

Pour cette expression:

A - (B - c) 

L'AST ci-dessous:

- 
/\ 
A - 
    /\ 
    B C 

Si générer correctement l'expression précédente, y compris les parenthèses, si le deuxième opérateur est un opérateur d'addition (par exemple), les parenthèses seraient inutiles. Je préférerais ne les utiliser que lorsque cela est nécessaire pour améliorer la lisibilité.

Existe-t-il des règles dictant ce type de comportement et comment savoir quand utiliser des parenthèses. Plus et moins ont le même niveau de priorité dans la plupart des langues et j'aimerais que cela fonctionne pour tous les opérateurs.

Answer 1

Historiquement, ils appellent cela "jolie impression". Si vous utilisez Google avec "priorité", vous pouvez trouver quelques exemples pour vous aider.

Informellement, je pense que l'idée de base est que lorsque vous vous recourbez dans une sous-expression, vous comparez sa priorité à l'expression courante. Si c'est plus bas, vous avez besoin de parenthèses. Sinon, vous ne le faites pas. L'associativité peut être gérée en effectuant une vérification similaire: si la sous-expression a la même priorité en tant que parent, vous avez besoin de parenthèses si c'est du mauvais côté en fonction de l'associativité.

Answer 2

Si une opération de priorité supérieure est inférieure dans l'arborescence, vous n'avez pas besoin de la mettre entre parenthèses.

Cependant, il ne suffit pas de connaître la priorité des opérations. Vous devez également connaître le associativity des opérations. Cela permet de grouper correctement les opérations de préséance égale. Dites, la soustraction est laissée associative, donc A-B-C est égal à (A-B)-C, mais pas à A-(B-C). Notez simplement toute la table des préséances et des associativités pour toutes vos opérations et consultez-la lorsque vous générez votre expression.