Связывание дерева выражений .NET с новой сборкой

Question

Я пытаюсь написать свою игрушку My Toy Language -> MSIL-компилятор, чтобы лучше понять, как работают компиляторы. Я получил парсинг и лексирование, я построил деревья выражений и использовал API дерева выражений System.Linq.Expressionions, у меня есть рабочий интерпретатор. Теперь я хотел бы испустить некоторые реальные сборки MSIL.

Проблема в том, что я не могу понять, как на самом деле построить эти сборки. Класс MethodBuilder принимает только примитивные тела метода MSIL, поэтому мне нужно получить сырую MSIL моего дерева выражений. Вызов Expression.Compile() возвращает рабочего делегата, но я не могу получить его базовый MSIL. Вызов MethodInfo.GetMethodBody() вызывает исключение InvalidOperationException, поскольку он не реализован в этом конкретном дочернем классе.

Как связать делегата с новой сборкой?

Answer 1

Просто нашел. DLR-версия LambdaExpression предоставляет метод CompileToMethod, который делает именно то, что мне нужно.

lambdaExpression.CompileToMethod(myMethodBuilder); 

Answer 2

Для того, чтобы испускать необработанный ИЛ, вам необходимо определить свой собственный АСТ. Вам нужно получить AssemblyBuilder, а затем ModuleBuilder, а затем вы можете определить метод уровня модуля или получить новый TypeBuilder и теперь MethodBuilder для определения метода уровня класса.

Вы сказали, что у вас уже есть lexer и parser. это означает, что вы можете построить АСТ. Поэтому просто пройдите через разобранные выражения и испустите свой ИЛ.

Даже если вы сгенерировали (по компиляции) код, вы не сможете сделать с ним что-то полезное, поскольку сгенерированный код зависит от инфраструктуры. Например, если вам нужно скомпилировать закрытие, тогда вы должны создать класс или другие файлы для лексических переменных и т. Д. (Например, перенос не лексического управления, который требует использования исключений в .net)