c# - 为什么我遇到异常:公共(public)语言运行时检测到无效程序

我正在使用Mono cecil自动实现propertychanged接口。一切工作正常，直到今天我收到“公共语言运行时”检测到无效程序的异常。我的单声道cecil C＃代码是：

ILProcessor MSILWorker = prop.SetMethod.Body.GetILProcessor();
MSILWorker.Body.InitLocals = true;
MSILWorker.InsertBefore(MSILWorker.Body.Instructions[0], MSILWorker.Create(OpCodes.Nop));
MSILWorker.InsertBefore(MSILWorker.Body.Instructions[1], MSILWorker.Create(OpCodes.Ldarg_0));
Instruction propertyName = MSILWorker.Create(OpCodes.Ldflda, field);
MSILWorker.InsertBefore(MSILWorker.Body.Instructions[3], propertyName);
MSILWorker.InsertAfter(MSILWorker.Body.Instructions[4], MSILWorker.Create(OpCodes.Ldstr, prop.Name));
Instruction callRaisePropertyChanged = MSILWorker.Create(OpCodes.Call, method_reference);
MSILWorker.Replace(MSILWorker.Body.Instructions[6], callRaisePropertyChanged);
MSILWorker.InsertBefore(MSILWorker.Body.Instructions.Last(), MSILWorker.Create(OpCodes.Pop));

生成的il代码为：

.method public hidebysig newslot specialname virtual final
        instance void  set_CreateDate(valuetype [mscorlib]System.DateTime 'value') cil managed
{
  .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 )
  // Code size       21 (0x15)
  .maxstack  4
  IL_0000:  nop
  IL_0001:  ldarg.0
  IL_0002:  ldarg.0
  IL_0003:  ldflda     valuetype [mscorlib]System.DateTime Framework.Data.Base.BaseEntity::'<CreateDate>k__BackingField'
  IL_0008:  ldarg.1
  IL_0009:  ldstr      "CreateDate"
  IL_000e:  call       instance void Framework.Data.Base.BaseEntity::SetField<valuetype [mscorlib]System.DateTime>(!!0&,
                                                                                                                   !!0,
                                                                                                                   string)
  IL_0013:  pop
  IL_0014:  ret
} // end of method BaseEntity::set_CreateDate

我试图用完全相同的逻辑与用C＃编写的另一个字段的属性进行比较，并且生成的IL代码为：

.method public hidebysig newslot specialname virtual final
        instance void  set_LastModifiedDate(valuetype [mscorlib]System.DateTime 'value') cil managed
{
  // Code size       21 (0x15)
  .maxstack  8
  IL_0000:  nop
  IL_0001:  ldarg.0
  IL_0002:  ldarg.0
  IL_0003:  ldflda     valuetype [mscorlib]System.DateTime Framework.Data.Base.BaseEntity::_LastModifiedDate
  IL_0008:  ldarg.1
  IL_0009:  ldstr      "LastModifiedDate"
  IL_000e:  call       instance void Framework.Data.Base.BaseEntity::SetField<valuetype [mscorlib]System.DateTime>(!!0&,
                                                                                                                   !!0,
                                                                                                                   string)
  IL_0013:  nop
  IL_0014:  ret
} // end of method BaseEntity::set_LastModifiedDate

有人能帮我吗？我究竟做错了什么？

谢谢

最佳答案

您的堆栈不平衡。 C＃生成的示例在IL_0013处有一个nop，其中您有一个pop。

我的猜测是您正在调用void方法，因此不需要丢弃结果。

删除MSILWorker.InsertBefore(MSILWorker.Body.Instructions.Last(), MSILWorker.Create(OpCodes.Pop));