使用Reflection.Emit实现泛型方法接口约束时遇类型加载异常

我之前用Reflection.Emit做动态类型生成的时候，也踩过泛型约束复制的坑，尤其是基类约束这块没处理好，就会触发System.TypeLoadException。咱们一步步来拆解解决：

问题核心 #

当你动态实现接口的泛型方法时，必须完全复制接口方法泛型参数的所有约束——包括基类约束、接口约束、值/引用类型约束、无参构造函数约束。如果漏了基类约束，CLR在加载生成的类型时，会因为方法不满足接口的约束要求而抛出异常。

具体解决步骤 #

假设我们有这样一个带基类约束的接口：

public interface ITestInterface
{
    void Error<T>(T input) where T : MyBaseClass;
}

public class MyBaseClass { }

接下来是动态生成实现类的关键代码：

1. 初始化动态构建器
   先创建基础的Assembly、Module和Type构建器，指定实现目标接口：

   var assemblyName = new AssemblyName("DynamicAssembly");
   var assemblyBuilder = AssemblyBuilder.DefineDynamicAssembly(assemblyName, AssemblyBuilderAccess.Run);
   var moduleBuilder = assemblyBuilder.DefineDynamicModule("DynamicModule");
   var typeBuilder = moduleBuilder.DefineType("TestImplementation", TypeAttributes.Public | TypeAttributes.Class, null, new[] { typeof(ITestInterface) });
   

2. 获取接口方法的约束信息
   拿到接口的泛型方法定义，以及它的泛型参数约束：

   var interfaceMethod = typeof(ITestInterface).GetMethod("Error");
   var interfaceGenericParams = interfaceMethod.GetGenericArguments();
   

3. 创建实现方法并复制泛型约束
   定义实现类的方法，重点是为每个泛型参数设置和接口完全一致的约束：

   // 定义方法签名（和接口方法一致）
   var methodBuilder = typeBuilder.DefineMethod(
       "Error",
       MethodAttributes.Public | MethodAttributes.Virtual | MethodAttributes.Final,
       interfaceMethod.ReturnType,
       interfaceMethod.GetParameters().Select(p => p.ParameterType).ToArray());
   
   // 定义方法的泛型参数
   var methodGenericParams = methodBuilder.DefineGenericParameters(interfaceGenericParams.Select(p => p.Name).ToArray());
   
   // 逐个复制泛型参数的约束
   for (int i = 0; i < interfaceGenericParams.Length; i++)
   {
       var interfaceParam = interfaceGenericParams[i];
       var implParam = methodGenericParams[i];
   
       // 处理基类约束（非接口类型的约束）
       var baseTypeConstraint = interfaceParam.GetGenericParameterConstraints()
           .FirstOrDefault(t => !t.IsInterface);
       if (baseTypeConstraint != null)
       {
           implParam.SetBaseTypeConstraint(baseTypeConstraint);
       }
   
       // 处理接口约束
       var interfaceConstraints = interfaceParam.GetGenericParameterConstraints()
           .Where(t => t.IsInterface).ToArray();
       if (interfaceConstraints.Any())
       {
           implParam.SetInterfaceConstraints(interfaceConstraints);
       }
   
       // 处理其他约束（值类型、引用类型、无参构造函数）
       implParam.SetGenericParameterAttributes(interfaceParam.GenericParameterAttributes);
   }
   

4. 实现方法的IL逻辑
   这里可以简单返回（如果是void方法），或者根据需求编写IL：

   var ilGenerator = methodBuilder.GetILGenerator();
   ilGenerator.Emit(OpCodes.Ret);
   

5. 完成类型创建并测试

   var implementedType = typeBuilder.CreateType();
   var instance = (ITestInterface)Activator.CreateInstance(implementedType);
   // 调用方法测试
   instance.Error(new MyBaseClass());
   

关键注意事项 #

• 基类约束的类型必须在动态模块的访问范围内，确保CLR能加载到该类型
• 泛型参数的约束必须完全匹配接口方法，不能遗漏任何一项
• 方法的签名（泛型参数数量、参数类型、返回值）必须和接口方法严格一致，否则会被CLR判定为未正确实现接口

内容的提问来源于stack exchange，提问作者Mirco Gericke