是否可以发出派生自泛型类型的类型，同时将自身指定为泛型类型参数？

Question

想象一下以下完全合法的类型层次结构：

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

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

我的问题是 A<> 的静态编译定义是否可以动态发出类型 B？

问题是如何在ModuleBuilder.DefineType.

或者也许有另一种方法来产生这种类型，而不是

• 使用上述方法
• 使用 CodeDom（这很像创建一个临时文件并将其传递给 csc.exe :-)）

编辑： 该类型B应该具有显式公共默认构造函数，调用从A<B>.

Answer 1

您可以使用ModuleBuilder.DefineType不指定父类型的重载，然后使用该TypeBuilder.SetParent方法将父类型设置为递归类型（使用类似typeof(A<>).MakeGenericType(tb)where tbis your 之类的参数TypeBuilder，但我在前面没有 C# 编译器我）。

编辑- 这是一个工作示例，假设您有一个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();