c# - 为二维数组生成 IL

Question

我想使用 System.Reflection.Emit 命名空间为二维数组构造生成 IL。

我的C#代码是

Array 2dArr  = Array.CreateInstance(typeof(int),100,100); 

使用 ildasm，我意识到为上面生成了以下 IL 代码 C#代码。

IL_0006:  call       class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
IL_000b:  ldc.i4.s   100
IL_000d:  ldc.i4.s   100
IL_000f:  call       class [mscorlib]System.Array [mscorlib]System.Array::CreateInstance(class [mscorlib]System.Type, 
                                                                                           int32,
                                                                                           int32)

我能够生成最后三个 IL 语句，如下所示。

MethodInfo createArray = typeof(Array).GetMethod("CreateInstance",
                new Type[] { typeof(Type),typeof(int),typeof(int) });
gen.Emit(OpCodes.Ldc_I4_1);
           gen.Emit(OpCodes.Ldc_I4_1);
           gen.Emit(OpCodes.Call, createArray);

但我不清楚如何生成第一个 IL 语句(即 IL_0006: call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle ) )

你有什么想法吗？

此外，有人可以提供一些关于如何 使用 System.Reflection.Emit 命名空间来生成 IL 代码？

Answer 1

啊，好样的'typeof;是的，那就是:

 il.Emit(OpCodes.Ldtoken, typeof(int));
 il.EmitCall(OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);

重新指导...如果我卡住了，我的诀窍总是“编译类似的东西，然后在反射器中查看”。

如果你想要一些例子，dapper-dot-net和 protobuf-net两者都做了相当多的 IL——第一个更包含、更有限且更容易理解；第二种是全力以赴的疯狂 IL。

IL 提示:

• 在屏幕右侧的每一步跟踪评论中的堆栈
• 使用分支机构等的缩写形式，但只有在您知道自己有一个非常本地化的分支机构时才使用它们
• 为自己编写一些实用方法，即使是一些简单的事情，例如加载整数(这实际上非常复杂，因为有 12 种不同的方法加载 int-32，具体取决于值)