Question

我正在玩DynamicMethod，并尝试使用IL创建一些对象。我想创建以下非常基本的对象：

new Queue<double>(new List<double>{100});

我已经使用ILDASM来查看需要什么OpCodes来生成它。这就是ILDASM告诉我的：

IL_0000:  newobj     instance void class [System.Collections]System.Collections.Generic.List`1<float64>::.ctor()
IL_0005:  dup
IL_0006:  ldc.r8     100.
IL_000f:  callvirt   instance void class [System.Collections]System.Collections.Generic.List`1<float64>::Add(!0)
IL_0014:  newobj     instance void class [System.Collections]System.Collections.Generic.Queue`1<float64>::.ctor(class  [System.Runtime]System.Collections.Generic.IEnumerable`1<!0>)
IL_0019:  pop
IL_001a:  ret

这就是我在做什么：

var dynMethod = new DynamicMethod("QueueMaker", typeof(Queue<double>), Type.EmptyTypes);
ILGenerator ilGen = dynMethod.GetILGenerator();
ilGen.Emit(OpCodes.Newobj, typeof(List<double>).GetConstructor(Type.EmptyTypes));
ilGen.Emit(OpCodes.Dup);
ilGen.Emit(OpCodes.Ldc_R8, 100);
ilGen.EmitCall(OpCodes.Callvirt, typeof(List<double>).GetMethod("Add"), null);
ilGen.Emit(OpCodes.Newobj, typeof(Queue<double>).GetConstructor(new[] { typeof(IEnumerable<double>) }));
ilGen.Emit(OpCodes.Pop);
ilGen.Emit(OpCodes.Ret);
var returnFunc = (Func<Queue<double>>)dynMethod.CreateDelegate(typeof(Func<Queue<double>>));
var queue = returnFunc();

我收到异常System.InvalidProgramException: 'Common Language Runtime detected an invalid program.'，我在做什么错了？

Answer 1

我在做什么错了？

两件事：

（1）

ilGen.Emit(OpCodes.Ldc_R8, 100);

这传递了不正确的值类型。确保调用double的重载：

ilGen.Emit(OpCodes.Ldc_R8, (double)100); // or 100d

（2）

ilGen.Emit(OpCodes.Pop);

ILDASM最有可能包括这一点，因为这里new Queue<double>(new List<double>{100});会丢弃结果，但是当您需要将结果返回给调用方时，此指令无效。 Dup构造函数调用已消耗了将新的List<double>实例保存在评估堆栈上的Queue<double>指令，因此从堆栈中删除了结果，最终导致无效堆栈。

删除该行，问题将得到解决。

Answer 2

您真的想和Emit一起玩吗？您只想创建动态方法，而我认为Expressions Trees更易于使用。

结果将是相同的：Func<Queue<double>>。

但是首先可以简化您的代码。您调用Queue中的ctor，该元素需要一组元素。您只想将值100添加到队列中。也许结果将与以下内容相同：

var result = new Queue<double>();
result.Enqueue(100);
return result;

创建该代码的代码是：

// Getting types/methods
var queueItemType = typeof(double);
var queueType = typeof(Queue<>).MakeGenericType(queueItemType);
var queueEnqueueMethod = queueType.GetMethod(nameof(Queue<object>.Enqueue), new[] { queueItemType });

// Build the Func<>
var result = Expression.Parameter(queueType, "result");

var queueInstance = Expression.New(queueType);
var resultAssign = Expression.Assign(result, queueInstance);

var queueItem = Expression.Constant(Convert.ChangeType(100, queueItemType), queueItemType);
var addCall = Expression.Call(result, queueEnqueueMethod, queueItem);

var body = new List<Expression>
{
    resultAssign,
    addCall,
    result  // The last line in body will be the result value of the Func<>.
};

var lambda = Expression.Lambda<Func<Queue<double>>>(Expression.Block(new[] { result }, body));
var func = lambda.Compile();

// Call it :-)
var queue = func();

Console.WriteLine(queue.Count);
Console.WriteLine(queue.Dequeue());

DEMO

可以通过合并一些行来缩短代码，但是为了清楚起见，我将所有部分都写在了一行中。

提示：您可以在每个表达式上调用ToString()，以查看生成的内容对于查找错误非常有用。

如果确实需要此列表，可以用相同的方法创建。

编辑

还有一个“单线”：

() => new Queue<double>(Enumerable.Repeat(100.0, 1))

这是构建它的代码：

// Getting types/methods
var itemType = typeof(double);
var repeatMethod = typeof(Enumerable).GetMethod(nameof(Enumerable.Repeat)).MakeGenericMethod(itemType);

var queueType = typeof(Queue<>).MakeGenericType(itemType);
var queueCtor = queueType.GetConstructor(new[] { typeof(IEnumerable<>).MakeGenericType(itemType) });

// Build the Func<>
var repeatCall = Expression.Call(repeatMethod, Expression.Constant(Convert.ChangeType(100, itemType)), Expression.Constant(1, typeof(int)));
var ctorCall = Expression.New(queueCtor, repeatCall);

var lambda = Expression.Lambda<Func<Queue<double>>>(ctorCall);
var func = lambda.Compile();

// Call it :-)
var queue = func();

Console.WriteLine(queue.Count);
Console.WriteLine(queue.Dequeue());

DEMO

IlGenerator发射

2 个答案: