Come viene utilizzato un albero di sintassi astratto per eseguire il codice sorgente?

Il parser semplicemente analizza il codice in parti logicamente significative. È quindi in una fase successiva dell'elaborazione fare qualcosa con il risultato dell'analisi.

Il seguente passaggio (nel tuo caso un interprete di codice) può concentrarsi sulla semantica. Il parser ha fatto tutto il lavoro sporco, il suo risultato è pulito e semplice. Quindi rende le cose più facili. Si noti che si inizia con una porzione di testo (una stringa o una raccolta di linee) e il parser fornisce un modello a oggetti. Sembra che tu non abbia un'immagine chiara di un AST, di cosa significhi in termini di implementazione nel codice. Quindi entriamo in questo.

Un motore di esecuzione dovrebbe leggere l'albero e trovare un oggetto: un assegnatario. La classe di assegnazione contiene due proprietà: sinistra e destra. Sinistra è un oggetto variabile, a destra è un oggetto espressione.

Anche l'oggetto espressione è un albero che è fondamentalmente un insieme di oggetti che contengono altri oggetti. Questi vengono tipicamente elaborati in modo ricorsivo, poiché il processore colpisce il primo oggetto nell'albero che non conosce o si preoccupa della profondità dell'albero, elabora solo quell'oggetto e delega l'elaborazione degli oggetti contenuti allo stesso codice. Quando quel codice colpisce una foglia (un oggetto che non è complesso, che non ha oggetti contenuti) esegue un'azione e / o restituisce un risultato. Quindi tutto bolle indietro nello stack delle chiamate fino a quando l'oggetto in alto ottiene il suo risultato e può fare la sua cosa, nel tuo esempio aggiungi 10 e 2.

Quindi ciò che rende semplice è la possibilità di scovare una raccolta nidificata di oggetti e risolverla ricorsivamente. Analizzare il testo e agire su di esso in una volta sola può diventare presto disordinato e potrebbe produrre risultati scadenti perché potrebbero esserci errori di sintassi più in basso e hai già iniziato l'esecuzione.

Would the parser record the variable and its value?

No. Il parser prende solo i token e li sistema in un AST (possibilmente restituendo errori).

Would it not make more sense to just group your tokens into statements, and execute each statement individually without a AST?

Non proprio. L'AST consente di suddividere il programma nelle sue parti costitutive e quindi di implementare tali parti minuscole e semplici in modo chiaro e privo di errori. Meglio ancora, lo fa in un modo molto agnostico. Se vuoi prendere quell'AST e fare qualche analisi statica su di esso, puoi farlo. Se si vuole prendere questo AST ed eseguirlo attraverso un interprete, l'interprete non deve preoccuparsi dell'associatività, o se le istruzioni vengono analizzate correttamente, o a cosa si riferisce effettivamente. Se vuoi prendere questo AST e compilarlo contro qualche nuovo processore, puoi farlo poiché i piccoli nodi di un AST probabilmente si allineano con il nuovo assemblaggio di quel processore.

Tu puoi evitare di costruire un AST quando fai un interprete o un compilatore, ma non lo consiglierei. E come lo trasformi in qualcosa che è eseguibile dipende da te, ma lo troverai molto più facile da implementare se l'output del tuo parser si trova in una semplice struttura ad albero.