pourquoi avons-nous besoin d'attribuer la grammaire dans l'analyse sémantique?

Question

Je suis en train de lire un book sur la construction d'un compilateur. Au chapitre 4, il passe beaucoup de temps à parler de la grammaire des attributs, ce qui m'embrouille beaucoup.

Pourquoi en avons-nous besoin? et comment est-il utilisé dans le compilateur de production?

Il me semble que la grammaire d'attribut est utilisé pour décorer un arbre d'analyse syntaxique dans l'arbre de syntaxe abstraite. Mais pourquoi ne pouvons-nous pas construire des AST dans la phase d'analyse?

Par exemple, dans OCaml, je peux décrire AST comme ceci:

type ast = 
    | Var of string 
    | Num of int 
    | If of test * then * else 
    ... 
    ... 

Pour construire un si le nœud, je peux simplement faire If (test, then, else)

Answer 1

Si vous avez écrit beaucoup de compilateurs différents que vous pourriez obtenir fatigué de reproduire les mêmes types de code encore et encore. Des choses comme les grammaires d'attribut réduisent la quantité de code standard en déplaçant certaines choses évidentes dans la définition grammaticale.

Vous pouvez poser la même question sur les systèmes comme yacc - pourquoi ne pas simplement écrire du code pour faire l'analyse? La réponse est que, après avoir écrit quelques compilateurs, vous en avez assez et commencez à vouloir de l'aide de plus haut niveau.

Un autre avantage est que (si le système est implémenté correctement), vous évitez la possibilité de faire des erreurs dans votre code standard.