C# 动态类型创建中的MethodBuilder.CreateMethodBody（）问题

对于一个实验，我尝试从源类型读取方法体（使用GetILAsByteArray（）），并将其添加到新类型（使用CreateMethodBody（））

我的源代码类就是这样

public class FullClass
{
    public string Test(string data)
    {
        return data;
    }
    public string Test2(string data)
    {
        return data;
    }
    public string Test5(string data, string data1)
    {
        return data + data1;
    }
}

为该代码生成的IL（使用反射器获取）

但是我的新类型生成的IL如下所示

.method public hidebysig virtual instance string Test(string) cil managed
{
    .maxstack 0
    L_0000: nop 
    L_0001: ldarg.1 
    L_0002: stloc.0 
    L_0003: br.s L_0005
    L_0005: ldloc.0 
    L_0006: ret 
}

public static class Mixin<Target>
    {

       public static Target compose<TSource>()
        {
            Type newType = null;

            AppDomain currentDom = Thread.GetDomain();

            AssemblyName DAssembly = new AssemblyName();
            DAssembly.Name = "DynamicTypesAssembly";

            AssemblyBuilder DAssemblyBldr = currentDom.DefineDynamicAssembly(
                               DAssembly,
                               AssemblyBuilderAccess.RunAndSave);



            ModuleBuilder DModuleBldr = DAssemblyBldr.DefineDynamicModule(DAssembly.Name, DAssembly.Name + ".dll", false);
         //   var DInterface = EmitInterface(DModuleBldr);
            TypeBuilder TypeBldr = DModuleBldr.DefineType("WorkOut.DType",
                    TypeAttributes.Public | TypeAttributes.BeforeFieldInit | TypeAttributes.Serializable
                    ,typeof(object), new[] { typeof(Target) });

            //TypeBldr.AddInterfaceImplementation(typeof(DInterface));

            var methodCol = typeof(Target).GetMethods(BindingFlags.Public| BindingFlags.Instance);

            foreach (var ms in methodCol)
            {
                var paramCol = ms.GetParameters();
                var paramTypeArray = paramCol.Select(x => x.ParameterType).ToArray();
                var paramNameArray = paramCol.Select(x=>x.Name).ToArray();
                MethodBuilder MthdBldr = TypeBldr.DefineMethod(ms.Name,
                                  MethodAttributes.Public | MethodAttributes.Virtual | MethodAttributes.HideBySig,
                                  ms.ReturnType,
                                  paramTypeArray);

                for(int i=0;i<paramCol.Count();i++)
                {
                    MthdBldr.DefineParameter(i+1, ParameterAttributes.None, paramNameArray[i]);
                }


                MethodInfo[] methodInfos = typeof(TSource).GetMethods(BindingFlags.Public | BindingFlags.NonPublic |
                             BindingFlags.Static | BindingFlags.Instance);

                for (int i = 0; i < methodInfos.Count(); i++)
                {
                    var paramSrc = methodInfos[i].GetParameters();  
                    var paramSrcTypeArray = paramSrc.Select(x => x.ParameterType).ToArray();

                    if (methodInfos[i].Name == ms.Name && methodInfos[i].ReturnType == ms.ReturnType && paramSrc.Count() == paramCol.Count() && paramTypeArray.SequenceEqual(paramSrcTypeArray))
                     {
                        var ILcodes = methodInfos[i].GetMethodBody().GetILAsByteArray();
                        var ilGen = MthdBldr.GetILGenerator();
                        //ilGen.Emit(OpCodes.Ldarg_0); //Load the 'this' reference onto the evaluation stack
                        //ilGen.Emit(OpCodes.Initobj);
                        MthdBldr.CreateMethodBody(ILcodes, ILcodes.Length);
                        //ilGen.Emit(OpCodes.Ret);
                        break;
                    }
                }

            }
            newType = TypeBldr.CreateType();
            DAssemblyBldr.Save("a.dll");
            return (Target)Activator.CreateInstance(newType);  
        }

区别在于maxstack value和.locals指令。我不明白为什么我的实际类会生成局部变量，尽管它没有任何局部变量

既然我从源代码使用相同的IL来创建新类型，那么为什么.maxstack值会有差异呢

因此，我在调用该方法时收到一个错误“公共语言运行库检测到一个无效程序”

我创建动态类型的代码如下所示

.method public hidebysig virtual instance string Test(string) cil managed
{
    .maxstack 0
    L_0000: nop 
    L_0001: ldarg.1 
    L_0002: stloc.0 
    L_0003: br.s L_0005
    L_0005: ldloc.0 
    L_0006: ret 
}

public static class Mixin<Target>
    {

       public static Target compose<TSource>()
        {
            Type newType = null;

            AppDomain currentDom = Thread.GetDomain();

            AssemblyName DAssembly = new AssemblyName();
            DAssembly.Name = "DynamicTypesAssembly";

            AssemblyBuilder DAssemblyBldr = currentDom.DefineDynamicAssembly(
                               DAssembly,
                               AssemblyBuilderAccess.RunAndSave);



            ModuleBuilder DModuleBldr = DAssemblyBldr.DefineDynamicModule(DAssembly.Name, DAssembly.Name + ".dll", false);
         //   var DInterface = EmitInterface(DModuleBldr);
            TypeBuilder TypeBldr = DModuleBldr.DefineType("WorkOut.DType",
                    TypeAttributes.Public | TypeAttributes.BeforeFieldInit | TypeAttributes.Serializable
                    ,typeof(object), new[] { typeof(Target) });

            //TypeBldr.AddInterfaceImplementation(typeof(DInterface));

            var methodCol = typeof(Target).GetMethods(BindingFlags.Public| BindingFlags.Instance);

            foreach (var ms in methodCol)
            {
                var paramCol = ms.GetParameters();
                var paramTypeArray = paramCol.Select(x => x.ParameterType).ToArray();
                var paramNameArray = paramCol.Select(x=>x.Name).ToArray();
                MethodBuilder MthdBldr = TypeBldr.DefineMethod(ms.Name,
                                  MethodAttributes.Public | MethodAttributes.Virtual | MethodAttributes.HideBySig,
                                  ms.ReturnType,
                                  paramTypeArray);

                for(int i=0;i<paramCol.Count();i++)
                {
                    MthdBldr.DefineParameter(i+1, ParameterAttributes.None, paramNameArray[i]);
                }


                MethodInfo[] methodInfos = typeof(TSource).GetMethods(BindingFlags.Public | BindingFlags.NonPublic |
                             BindingFlags.Static | BindingFlags.Instance);

                for (int i = 0; i < methodInfos.Count(); i++)
                {
                    var paramSrc = methodInfos[i].GetParameters();  
                    var paramSrcTypeArray = paramSrc.Select(x => x.ParameterType).ToArray();

                    if (methodInfos[i].Name == ms.Name && methodInfos[i].ReturnType == ms.ReturnType && paramSrc.Count() == paramCol.Count() && paramTypeArray.SequenceEqual(paramSrcTypeArray))
                     {
                        var ILcodes = methodInfos[i].GetMethodBody().GetILAsByteArray();
                        var ilGen = MthdBldr.GetILGenerator();
                        //ilGen.Emit(OpCodes.Ldarg_0); //Load the 'this' reference onto the evaluation stack
                        //ilGen.Emit(OpCodes.Initobj);
                        MthdBldr.CreateMethodBody(ILcodes, ILcodes.Length);
                        //ilGen.Emit(OpCodes.Ret);
                        break;
                    }
                }

            }
            newType = TypeBldr.CreateType();
            DAssemblyBldr.Save("a.dll");
            return (Target)Activator.CreateInstance(newType);  
        }

编辑：

评论这句话的时候,

  //var ilGen = MthdBldr.GetILGenerator();

maxstack变为。maxstack 16

我在PEverify工具上对新的dll运行了一次检查，这会产生以下错误

WorkOut.DType:：Test][offset 0x00000002]无法识别的局部变量号。

---

非常感谢您的帮助……）

您需要重新声明堆栈上的参数才能使用它。IL字节复制代码应如下所示：

var ILcodes = methodInfos[i].GetMethodBody().GetILAsByteArray();
ILGenerator ILGen = MthdBldr.GetILGenerator();
foreach (ParameterInfo parameter in paramSrc)
{
    ILGen.DeclareLocal(parameter.ParameterType);
}
MthdBldr.CreateMethodBody(ILcodes, ILcodes.Length);

---

您可以通过执行以下操作来克服“无法识别的局部变量号”错误：

var ilGen = MthdBldr.GetILGenerator();
foreach (var localVariable in methodInfos[i].GetMethodBody().LocalVariables)
{
    ilGen.DeclareLocal(localVariable.LocalType, localVariable.IsPinned);
}

我实际上可以在.NET3.5/VS2008中运行该程序，尽管它在.NET4.0/VS2010中仍然崩溃，可能是因为

maxstack

是错误的。如果查看Reflector中的TypeBuilder.CreateTypeNoLock，如果有，它会从ilGenerator中提取maxStackSize，如果没有，则使用16，因此您可能会被卡住

您将遇到的更大的问题是，您正在逐字节复制。从MSDN：

元数据标记是在 范围例如，元数据令牌 值N完全标识， 在给定范围内，一个记录 包含有关类型的详细信息 定义。然而，在另一种情况下 范围，一个具有相同 值N可以指定一个完全相同的值 不同的记录

当您处理一个读取字段或调用另一个方法的方法时，您将得到一个神秘的错误，如“MissingFieldException:field not found:'WorkOut.DType.”

如果确实要复制方法，则需要解析IL，使用上的反射API将元数据标记转换为MemberInfo对象，然后使用重载将这些标记转换为动态程序集中的新元数据标记

这篇CodeProject文章将向您展示解析IL的一种方法。它使用该类型构建从代码到操作码结构的映射。您可以逐个阅读说明，并使用确定如何阅读和翻译参数

（请注意，我不建议在生产代码中执行这些操作，但您会说“为了一个实验”，这肯定会很有趣。）

正如MSDN页面所说，这并不是完全支持的

很可能该实现没有解析IL a字节数组，因此它将maxstack设置为16

如果为该方法创建ILGenerator，它会将方法maxstack设置为零。当您使用不同的Emit重载时，ILGenerator将递增它。当您不这样做，并且使用CreateMethodBody时，它将保持为零。这就解释了区别

CreateMethodBody对于涉及除简单代码以外的任何内容的场景来说肯定是有问题的。每个使用元数据令牌的操作码都不可用，因为在创建字节数组时，您不知道模块范围内的有限令牌。而且它不允许您发出异常处理程序

长话短说，就其本身而言，是毫无意义的

---

如果您想继续实验，我建议您使用my获得方法指令的表示，然后使用ILGenerator在方法生成器中复制方法体。

谢谢您提供的信息。现在我得到了当地人的支持。但是，maxstack仍然是0。并在PEverify.exe中获取“[offset 0x00000001]堆栈溢出”错误：（这就是你问题的答案。如果你需要一个更通用的解决方案，你必须一条一条地重写整个函数体，并且你需要更好地理解IL的一般含义：-）谢谢，伙计。正如你们所说，局部变量问题已经解决了。但仍然没有解决堆栈大小错误：（感谢Jb指出CreateMethodBody中的限制，我将尝试反射IL阅读器。：）嗨，Ramesh，你能要求更多信息或接受回答吗？@Jb，我只使用你的IL阅读器。。。忘记更新。。我会改变的。。

var ilGen = MthdBldr.GetILGenerator();
foreach (var localVariable in methodInfos[i].GetMethodBody().LocalVariables)
{
    ilGen.DeclareLocal(localVariable.LocalType, localVariable.IsPinned);
}