动态类型创建中的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（使用reflection器拍摄）
.method public hidebysig instance string Test(string data) cil managed { .maxstack 1 .locals init ( [0] string CS$1$0000) L_0000: nop L_0001: ldarg.1 L_0002: stloc.0 L_0003: br.s L_0005 L_0005: ldloc.0 L_0006: ret }
但是从我的新类型生成的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 }
差异是maxstack值和.locals指令。 我不明白为什么我的实际类生成本地，虽然它没有任何局部变量？
为什么.maxstack值的差异，因为我使用相同的IL来源创建新的Type。
由于这在调用方法时出现“公共语言运行时检测到无效程序”错误。
我创建Dynamic类型的代码如下所示
public static class Mixin { public static Target compose() { 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 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 resMix = Mixin.compose(); var returned1 = resMix.Test("sam");
编辑：和ITest（目标）界面是
public interface ITest { string Test(string data); }
编辑：
评论这一行时
//var ilGen = MthdBldr.GetILGenerator();
maxstack成为.maxstack 16
我针对PEverify工具对新dll进行了检查，这给出了以下错误
WorkOut.DType :: Test] [offset 0x00000002]无法识别的局部变量号。
任何帮助真的很感激…. 🙂
正如有关CreateMethodBody的MSDN页面所述，这不完全受支持。
实现很可能不会将IL解析为字节数组，因此它将maxstack设置为16。
如果为方法创建ILGenerator，则会将方法maxstack设置为零。 当您使用不同的Emit重载时，ILGenerator将递增它。 由于你没有这样做，并使用CreateMethodBody，它保持归零。 这解释了差异。
CreateMethodBody对于涉及除简单代码之外的任何事物的场景肯定是有问题的。 每个采用元数据标记的操作码都不可用，因为在创建字节数组时，您不知道模块范围内的有限标记。 并且它不允许您发出exception处理程序。
长话短说，CreateMethodBody就是这样，毫无意义。
如果您想继续进行实验，我建议您使用我的reflectionIL读取器来获取方法指令的表示，然后使用ILGenerator在方法构建器中重现方法体。
好吧，您可以通过执行以下操作来超越“无法识别的局部变量号”错误：
var ilGen = MthdBldr.GetILGenerator(); foreach (var localVariable in methodInfos[i].GetMethodBody().LocalVariables) { ilGen.DeclareLocal(localVariable.LocalType, localVariable.IsPinned); }
我实际上可以在.NET 3.5 / VS2008中运行该程序，虽然它仍然在.NET 4.0 / VS2010中崩溃，可能是因为maxstack是错误的。 如果你看一下Reflector中的TypeBuilder.CreateTypeNoLock，它会从ilGenerator中提取maxStackSize（如果有的话），如果没有则使用16，这样你就会被卡住。
您将遇到的更大问题是您正在逐字节地复制元数据令牌 。 来自MSDN：
元数据令牌在范围内定义。 例如，值为N的元数据标记在给定范围内完全标识包含有关类型定义的详细信息的记录。 但是，在不同的范围内，具有相同值N的元数据标记可能指定完全不同的记录。
一旦你处理一个读取字段或调用另一个方法的方法，你就会得到一个神秘的错误，如“MissingFieldException：Field not found：’WorkOut.DType。’”。
如果你真的想要复制一个方法，你需要解析IL，使用模块上的Reflection API（如Module.ResolveMember）将元数据标记转换为MemberInfo对象，然后使用ILGenerator.Emit重载将这些转换为新的元数据动态assembly中的标记。
这篇CodeProject文章， 解析方法体的IL ，将向您展示解析IL的一种方法 。 它使用OpCodes类型构建从代码到OpCode结构的映射。 您可以逐个阅读说明并使用OperandType来确定如何读取和翻译参数。
（请注意，我不建议在生产代码中执行任何此操作，但是您说“进行实验”，它肯定会很有趣。）
您需要在堆栈上重新声明args以便能够使用它。 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);