动态类型的Msil Emit静态数组

时间:2015-02-13 17:23:35

标签: c# arrays static cil reflection.emit

我尝试使用Reflection.Emit(在c#中)创建一个新类型。

我想要创建的代码类似于

public class 
{
   public static int[] A = new int[] {1, 2, 3};
}

我首先尝试定义一个字段,然后设置其值:

var fb = tb.DefineField("A", FieldAttributes.Public | FieldAttributes.Static);
fb.SetValue(null, new int[] {1, 2, 3});

但它不起作用,因为setValue仅支持简单类型(int,float,...)。

现在我尝试使用DefineInitializedData(更长的代码,它不起作用......),但它不会生成任何有效的IL代码。

1 个答案:

答案 0 :(得分:4)

  

setValue仅支持简单类型(int,float,...)

不,不是。 FieldBuilderSetValue()继承FieldInfo,但对FieldBuilder没有意义。

FieldBuilder.SetConstant(),但它仅适用于const字段。并且您不能将const引用类型字段的值设置为null以外的其他值。

你需要做的是任何编译器必须做的事情:创建一个静态构造函数,在那里创建数组然后将它分配给字段:

var fb = tb.DefineField("A", typeof(int[]), FieldAttributes.Public | FieldAttributes.Static);

var ctor = tb.DefineTypeInitializer();

var il = ctor.GetILGenerator();

// new int[3]
il.Emit(OpCodes.Ldc_I4_3);
il.Emit(OpCodes.Newarr, typeof(int));

// array[0] = 1
il.Emit(OpCodes.Dup);
il.Emit(OpCodes.Ldc_I4_0);
il.Emit(OpCodes.Ldc_I4_1);
il.Emit(OpCodes.Stelem_I4);

// array[1] = 2
il.Emit(OpCodes.Dup);
il.Emit(OpCodes.Ldc_I4_1);
il.Emit(OpCodes.Ldc_I4_2);
il.Emit(OpCodes.Stelem_I4);

// arr[2] = 3
il.Emit(OpCodes.Dup);
il.Emit(OpCodes.Ldc_I4_2);
il.Emit(OpCodes.Ldc_I4_3);
il.Emit(OpCodes.Stelem_I4);

// A = array
il.Emit(OpCodes.Stsfld, fb);

il.Emit(OpCodes.Ret);

如果查看C#编译器生成的反编译代码,您可能会看到不同的IL,使用<PrivateImplementationDetails>.__StaticArrayInitTypeSize=12RuntimeHelpers.InitializeArray()之类的内容。这是一个优化,我认为如果你手工编写IL,使用我上面显示的常规方法会更简单。