Можно ли испускать тип, получаемый из общего типа, при определении себя как параметра типового типа?

Question

Представьте себе следующую совершенно правовой иерархии типов:

class A<T> where T : A<T> 
{ 
} 

class B : A<B> 
{ 
    public B():base(){} 
} 

Мой вопрос задается статически скомпилирован определение A <> возможно испускать типа B динамически?

Проблема заключается в том, как указать родительский тип в ModuleBuilder.DefineType.

Или, может быть, есть еще один способ получения такого типа, кроме

• с использованием указанного выше метода
• с использованием CodeDom (что очень похоже на создание временного файла и передачи его Csc.exe: -))

EDIT: Тип B должен иметь явный конструктор по умолчанию общественного вызывающему конструктора по умолчанию, унаследованном от A<B>.

Answer 1

Вы можете использовать перегрузку ModuleBuilder.DefineType, которая не определяет родительский тип, а затем использовать метод TypeBuilder.SetParent для установки родителя рекурсивного типа (используя аргумент что-то вроде typeof(A<>).MakeGenericType(tb) где tb это ваш TypeBuilder, но дон У меня есть компилятор C# передо мной).

EDIT - вот рабочий пример, если у вас есть ModuleBuilder mb. Для пустого конструктора по умолчанию вам не нужно использовать метод DefineConstructor; В качестве альтернативы вы можете использовать DefineDefaultConstructor. Я включил пример, когда базовый конструктор явно вызывается, хотя, если у вас есть дополнительная логика, которую вы хотите добавить туда.

TypeBuilder tb = mb.DefineType("B"); 
Type AB = typeof(A<>).MakeGenericType(tb); 
tb.SetParent(AB); 
ConstructorInfo ctor = TypeBuilder.GetConstructor(AB, typeof(A<>).GetConstructor(new Type[] { })); 
ILGenerator ilg = tb.DefineConstructor(MethodAttributes.Public, CallingConventions.Standard, new Type[] { }).GetILGenerator(); 
ilg.Emit(OpCodes.Ldarg_0); 
ilg.Emit(OpCodes.Call, ctor); 
ilg.Emit(OpCodes.Ret); 
Type t = tb.CreateType();