对于实验,我尝试从源类型中读取方法体(使用 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(使用反射器)
.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。?
由于在调用方法时出现错误“公共语言运行时检测到无效程序”。
创建动态类型的代码如下所示
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 resMix = Mixin<ITest>.compose<FullClass>();
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]无法识别的局部变量编号。
任何帮助真的很感激....:)
答案 0 :(得分:7)
正如关于CreateMethodBody的MSDN页面所说,这不完全受支持。
实现很可能不会将IL解析为字节数组,因此它将maxstack设置为16个蓝色。
如果为方法创建ILGenerator,它会将方法maxstack设置为零。当您使用不同的Emit重载时,ILGenerator将增加它。由于你没有这样做,并使用CreateMethodBody,它保持归零。这解释了差异。
CreateMethodBody对于涉及除简单代码之外的任何事物的场景肯定是有问题的。采用元数据标记的每个操作码都不可用,因为在创建字节数组时,您不知道模块范围内的有限标记。并且它不允许您发出异常处理程序。
长话短说,CreateMethodBody原样,毫无意义。
如果您想继续进行实验,我建议您使用我的reflection IL reader来表示方法的说明,然后使用ILGenerator在方法构建器中重现方法体。
答案 1 :(得分:3)
好吧,你可以通过这样的方式来解决“无法识别的局部变量号”错误:
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,这样你就会被卡住。
您遇到的更大问题是您正在逐字节地复制metadata tokens。来自MSDN:
元数据令牌在a中定义 范围。例如,元数据标记 值N完全识别, 在给定范围内,记录 包含有关类型的详细信息 定义。但是,在另一个 范围,具有相同的元数据标记 值N可以完全指定 不同的记录。
只要你处理一个读取字段或调用另一个方法的方法,你就会得到一个神秘的错误,比如“MissingFieldException:Field not found:'WorkOut.DType。'”。
如果你真的想复制一个方法,你需要解析IL,使用Module上的Reflection API,如Module.ResolveMember将元数据标记转换为MemberInfo对象,然后使用{ {3}}重载将这些转换为动态程序集中的新元数据标记。
此CodeProject文章ILGenerator.Emit将向您展示解析IL的一种方法。它使用Parsing the IL of a Method Body类型来构建从代码到OpCode结构的映射。您可以逐个阅读说明并使用OpCodes来确定如何阅读和翻译参数。
(请注意,我不建议在生产代码中执行此操作,但是您说“进行实验”,这肯定会很有趣。)
答案 2 :(得分:0)
您需要重新声明堆栈中的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);