2017-02-24 72 views
1

我正尝试使用Reflection.Emit创建静态字段。如何使用Reflection.Emit创建静态字段

但是,当我尝试加载它时,我得到一个InvalidProgramException。

以下代码重现了我的问题。

行:

generator.Emit(OpCodes.Ldsfld, builderField); 

导致以下异常:

Unhandled Exception: System.InvalidProgramException: Common Language Runtime detected an invalid program. 

没有该行的程序运行正常,并返回 “测试” 如预期

 var assemblyBuilder = AssemblyBuilder.DefineDynamicAssembly(
      new AssemblyName(Guid.NewGuid().ToString()), 
      AssemblyBuilderAccess.Run); 
     var module = assemblyBuilder.DefineDynamicModule("module1"); 

     var typeBuilder = module.DefineType("MyType", TypeAttributes.Public|TypeAttributes.Class); 
     typeBuilder.AddInterfaceImplementation(typeof(IMyType)); 

     var builderField = typeBuilder.DefineField("_builder", typeof(StringBuilder), FieldAttributes.Static | FieldAttributes.Private); 

     var methodBuilder = typeBuilder.DefineMethod(
      "UseStringBuilder", 
      MethodAttributes.Public | MethodAttributes.Virtual, 
      typeof(string), 
      new Type[0]); 

     var generator = methodBuilder.GetILGenerator(); 

     //this line causes InvalidProgramException, without this line it works 
     generator.Emit(OpCodes.Ldsfld, builderField); 

     generator.Emit(OpCodes.Ldstr, "Test"); 
     generator.Emit(OpCodes.Ret); 


     var typeInfo = typeBuilder.CreateTypeInfo(); 
     var myType = typeInfo.AsType(); 

     IMyType instance = (IMyType)Activator.CreateInstance(myType); 
     instance.UseStringBuilder(); 

我知道我没有将StringBuilder用于任何将它放在堆栈上的东西,并且它将是空的,因为它是我的没有初始化,但是它是一个简化版本(用于重现问题),它是一个懒惰初始化字段的较大程序,所以我需要将它加载到堆栈中,以便我可以检查它是否为null。然而,在我能做任何事情之前,ldsfld指令会崩溃程序。

ILSPY此代码的工作版本是这样的:

// Fields 
.field private static class [System.Runtime]System.Text.StringBuilder _builder 

// Methods 
.method public final hidebysig newslot virtual 
    instance string UseStringBuilder() cil managed 
{ 
    // Method begins at RVA 0x20ee 
    // Code size 28 (0x1c) 
    .maxstack 8 

    IL_0000: ldsfld class [System.Runtime]System.Text.StringBuilder JsonicsTests.MyType::_builder 
    IL_0005: brtrue.s IL_0011 

    IL_0007: newobj instance void [System.Runtime]System.Text.StringBuilder::.ctor() 
    IL_000c: stsfld class [System.Runtime]System.Text.StringBuilder JsonicsTests.MyType::_builder 

    IL_0011: ldsfld class [System.Runtime]System.Text.StringBuilder JsonicsTests.MyType::_builder 
    IL_0016: callvirt instance string [System.Runtime]System.Object::ToString() 
    IL_001b: ret 
} 

什么是创建和使用Reflection.Emit的使用静态字段的正确方法是什么?

我正在Linux上运行.net core 1.1,如果这是相关的。

回答

1

你有一个不平衡堆栈的问题:你在函数结束后在堆栈上留下一个值。试试:

generator.Emit(OpCodes.Ldsfld, builderField); 
generator.Emit(OpCodes.Pop); // Remove the value from the stack 
+0

修复它。我知道我缺少一些基本的东西。我的问题现在似乎很低,我应该删除它吗? – trampster

+1

@trampster我认为你的问题非常有趣。堆栈必须为空/必须具有单个值(如果您需要返回它)在生成的函数结尾处的事实是非常重要的,但在关于生成代码的教程中写得不够强烈。 – xanatos