Collegamento di un albero di espressioni .NET a un nuovo assieme

Question

Sto cercando di scrivere il mio giocattolo My Toy Language -> compilatore MSIL per avere una migliore comprensione di come funzionano i compilatori. Ho ottenuto l'analisi e il lexing funzionante, ho creato gli alberi delle espressioni e utilizzando l'API dell'albero delle espressioni System.Linq.Expressions, ho un interprete funzionante. Ora vorrei emettere alcuni veri assembly MSIL.

Il problema è che non riesco a capire come effettivamente costruire questi assembly. La classe MethodBuilder accetta solo corpi di metodo MSIL non elaborati, quindi devo ottenere il grezzo MSIL del mio albero di espressioni. Chiamando Expression.Compile() restituisce un delegato di lavoro ma non riesco a ottenere il suo MSIL sottostante. La chiamata a MethodInfo.GetMethodBody() genera un'eccezione InvalidOperationException poiché non è implementata in quella specifica classe figlio.

Come posso collegare il delegato a un nuovo assieme?

Answer 1

Appena trovato. La versione DLR di LambdaExpression espone un metodo CompileToMethod che fa esattamente ciò di cui ho bisogno.

lambdaExpression.CompileToMethod(myMethodBuilder); 

Answer 2

Per emettere l'IL grezzo è necessario definire il proprio AST. È necessario ottenere AssemblyBuilder quindi ModuleBuilder e quindi è possibile definire il metodo a livello di modulo o ottenere nuovo TypeBuilder e ora MethodBuilder per definire il metodo a livello di classe.

Hai detto che hai già lexer e parser. questo significa che puoi costruire AST. Quindi basta camminare tra le espressioni analizzate ed emettere il tuo IL.

Anche se si ottiene codice generato da Compile, non sarà possibile eseguire operazioni utili poiché il codice generato dipende dall'infrastruttura. Ad esempio, se hai bisogno di compilare le chiusure, dovresti creare variabili lessicali lessicali o di classe e così via (come il trasferimento di controllo non lessicale che richiede l'uso di Eccezioni in .net)