.NET TypeBuilder - VerificationException：操作可能会破坏运行时的稳定性

Question

我需要在运行时使用TypeBuilder创建一个类型。这种类型应该实现一个特定的接口，以便可以在编译时统一处理这种动态类型的实例。

接口应该返回一个填充了该类型中特定字段值的对象数组。是应该被实现被定义为

接口如下：

public interface ISelectable 
{ 
    object[] GetPrimaryKeysValues(); 
} 

这是我使用以产生用于所述接口的方法的代码：所述方法被认为

public static Type BuildTypeFromTable(Table tableToBuildTypeFrom) 
{ 
    AssemblyBuilder customTypesAssembly = 
      AppDomain.CurrentDomain.DefineDynamicAssembly(new AssemblyName("CustomTypesAssembly"), AssemblyBuilderAccess.Run); 

    ModuleBuilder _moduleBuilder = customTypesAssembly.DefineDynamicModule("CustomTypesModule"); 

    TypeBuilder customTypeBuilder = _moduleBuilder.DefineType(Guid.NewGuid().ToString(), TypeAttributes.Public | TypeAttributes.Class); 

    List<FieldBuilder> primaryKeyFields = new List<FieldBuilder>(); 

    //create a property for each column in the table 
    for (int i = 0; i < tableToBuildTypeFrom.Columns.Count; i++) 
    { 
     string propertyName = tableToBuildTypeFrom.Columns[i].Name; 
     //get a type of a property to create from a first row of the table 
     Type propertyType = tableToBuildTypeFrom.GetTypeOfColumnAtIndex(i); 

     //each property has to have a field to store its value in 
     FieldBuilder backingField = customTypeBuilder.DefineField(propertyName + "_field", propertyType, FieldAttributes.Private); 

     //body of a property getter 
     MethodBuilder getMethod = customTypeBuilder.DefineMethod(propertyName + "_get", MethodAttributes.Public | MethodAttributes.HideBySig, propertyType, Type.EmptyTypes); 
     ILGenerator getIlGenerator = getMethod.GetILGenerator(); 
     getIlGenerator.Emit(OpCodes.Ldarg_0); 
     getIlGenerator.Emit(OpCodes.Ldfld, backingField); 
     getIlGenerator.Emit(OpCodes.Ret); 

     ///body of a property setter 
     MethodBuilder setMethod = customTypeBuilder.DefineMethod(propertyName + "_set", MethodAttributes.Public | MethodAttributes.HideBySig, null, new Type[] { propertyType }); 
     ILGenerator setIlGenerator = setMethod.GetILGenerator(); 
     setIlGenerator.Emit(OpCodes.Ldarg_0); 
     setIlGenerator.Emit(OpCodes.Ldarg_1); 
     setIlGenerator.Emit(OpCodes.Stfld, backingField); 
     setIlGenerator.Emit(OpCodes.Ret); 

     PropertyBuilder customProperty = customTypeBuilder.DefineProperty(propertyName, PropertyAttributes.None, propertyType, Type.EmptyTypes); 
     customProperty.SetGetMethod(getMethod); 
     customProperty.SetSetMethod(setMethod); 

     //save all primary key columns to avoid iterating over columns all over again 
     if (tableToBuildTypeFrom.Columns[i].IsPrimaryKey) 
     { 
      primaryKeyFields.Add(backingField); 
     } 
    } 

    customTypeBuilder.AddInterfaceImplementation(typeof(ISelectable)); 

    MethodBuilder getPrimaryKeysMethod = customTypeBuilder.DefineMethod("GetPrimaryKeysValues", MethodAttributes.Public | MethodAttributes.Virtual, typeof(object[]), null); 
    ILGenerator getPrimaryKeysMethodIlGenerator = getPrimaryKeysMethod.GetILGenerator(); 

    getPrimaryKeysMethodIlGenerator.DeclareLocal(typeof(object[])); 
    getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Ldc_I4, primaryKeyFields.Count); 
    getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Newarr, typeof(object)); 
    getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Stloc_0); 

    for (int i = 0; i < primaryKeyFields.Count; i++) 
    { 
     getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Ldloc_0); 
     getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Ldc_I4, i); 

     getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Ldarg_0); 
     getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Ldfld, primaryKeyFields[i]); 

     getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Stelem_Ref); 
    } 

    getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Ldloc_0); 
    getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Ret); 

    MethodInfo s = typeof(ISelectable).GetMethod("GetPrimaryKeysValues"); 
    customTypeBuilder.DefineMethodOverride(getPrimaryKeysMethod, s); 

    return customTypeBuilder.CreateType(); 
} 

的方式从MSDN取得。

现在，问题是每次我尝试调用GetPrimaryKeysValues方法时，带有消息'Operation的VerificationException可能会破坏运行时的稳定性。'被抛出。我不知道是什么导致它。有人可以帮忙吗？

谢谢！

Answer 1

的stelem.ref操作码存储一个对象引用到一个数组。这意味着如果您有值类型的字段（例如int s），那么您需要确保在将它们存储到数组中之前将它们装箱。因此，您应该在stelem.ref指令之前加上类似

if (primaryKeyFields[i].FieldType.IsValueType) { 
    getPrimaryKeysMethodIlGenerator.Emit(OpCodes.Box, primaryKeyFields[i].FieldType); 
} 

。

此外，虽然这不应该引起验证异常，请注意您的属性的方法名称应该是get_{Name}和set_{Name}，不{Name}_get和{Name}_set。

Answer 2

您没有声明局部变量，但是使用它（Stloc_0，Ldloc_0）。

生成IL代码之前插入此右：

getPrimaryKeysMethodIlGenerator.DeclareLocal(typeof(object[]));