Создание объекта с использованием Reflection.Emit в простом компиляторе

Question

Чтобы создать экземпляр класса с использованием Reflection.Emit Мне нужно указать OpCodes.Newobj, однако для этого требуется конструктор созданного класса. Итак, если я пишу свой собственный компилятор, как мне создать код для метода, который создает экземпляр другого класса, который определен в исходном коде (а не в библиотеке времени исполнения)?

Я создаю код за 2 прохода, сначала создаю TypeBuilder для каждого класса, который у меня есть, и добавляю к ним меток, чтобы на них можно ссылаться во время второго прохода. Однако я не могу назвать TypeBuilder.CreateType для этих заглушек, потому что получаю исключение, Reflection.Emit требует, чтобы все методы были определены и имеют тело. Но в то же время я не могу закончить создание кода для метода, который должен создать экземпляр класса, который был определен в исходном коде.

Итак, как создать код для этого:

class Foo 
{ 
} 

class Bar 
{ 
    Foo DoSomething() 
    { 
     return new Foo(); 
    } 
} 

и это:

class Foo 
{ 
    public Foo Create() 
    { 
     return new Foo(); 
    } 
} 

Answer 1

Вам нужно три прохода:

1. создать TypeBuilder для каждого класса
2. для каждого класса, создайте MethodBuilder для каждого меня mber, включая конструкторы
3. для каждого класса, сгенерировать тела методов с использованием ILGenerator. Как вы закончите перебор методы по каждому классу, называют CreateType()

Когда вы испускаете newobj, вы можете передать ConstructorBuilder, представляющий конструктор, который означает, что класс и конструктор не должен быть заморожены еще.