Установка подчиненного свойства объекта с помощью ILGenerator.Emit

У меня есть некоторый код, который использует IlGenerator.Emit для создания и заполнения универсального объекта с использованием устройства чтения данных. Это прекрасно работает, однако мне нужно расширить его для заполнения простых дочерних объектов, когда имя поля базы данных содержит подчеркивание.

Например, поле базы данных с именем "Address_Line1" должно заполнять свойство Line1, которое является свойством свойства Address объекта. В коде C# это в основном...

Entity.Address.Line1 = "value from reader";

Я пытался написать код на C# и использовал ILSpy, чтобы попытаться определить код IL, который я должен писать, но у меня продолжают появляться ошибки памяти и т. Д.

Код ниже включает текущий рабочий код IL, и я включил мою попытку кода с комментариями. Может кто-нибудь мне помочь?

public static DynamicBuilder<T> CreateBuilder(IDataRecord reader)
{
    var result = new DynamicBuilder<T>();
    var method = new DynamicMethod("DynamicCreate", typeof(T), new Type[] { typeof(IDataReader) }, typeof(T), true);

    var generator = method.GetILGenerator();

    generator.DeclareLocal(typeof(T));
    generator.Emit(OpCodes.Newobj, typeof(T).GetConstructor(Type.EmptyTypes));
    generator.Emit(OpCodes.Stloc_0);

    var getValue = reader.GetType().GetMethod("get_Item", new Type[] { typeof(int) });

    for (int i = 0; i < reader.FieldCount; i++)
    {
        var name = reader.GetName(i).Split('_'); // MY CODE
        var propertyInfo = typeof(T).GetProperty(name[0]);

        if (propertyInfo != null && propertyInfo.GetSetMethod() != null)
        {
            var endIfLabel = generator.DefineLabel();

            generator.Emit(OpCodes.Ldarg_0);
            generator.Emit(OpCodes.Ldc_I4, i);
            generator.Emit(OpCodes.Callvirt, typeof(IDataRecord).GetMethod("IsDBNull"));
            generator.Emit(OpCodes.Brtrue, endIfLabel);

            generator.Emit(OpCodes.Ldloc_0);
            generator.Emit(OpCodes.Ldarg_0);
            generator.Emit(OpCodes.Ldc_I4, i);
            generator.Emit(OpCodes.Callvirt, getValue);

            if (propertyInfo.PropertyType.Name.ToLower().Contains("nullable"))
                generator.Emit(OpCodes.Unbox_Any, GetNullableType(reader.GetFieldType(i)));
            else
                generator.Emit(OpCodes.Unbox_Any, reader.GetFieldType(i));

            // START MY CODE TO GET THE SUB PROPERTY
            if (name.Length > 1)
            {
                generator.Emit(OpCodes.Callvirt, propertyInfo.GetGetMethod());
                propertyInfo = propertyInfo.PropertyType.GetProperty(name[1]);
            }
            // END MY CODE

            generator.Emit(OpCodes.Callvirt, propertyInfo.GetSetMethod());
            generator.MarkLabel(endIfLabel);
        }
    }

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

    result.handler = (Load)method.CreateDelegate(typeof(Load));
    return result;
}
Источник

2 ответа

Решение

Код как это:

static Entity DynamicCreate(IDataReader reader)
{
    var entity = new Entity();
    entity.Property = (int)reader[0];
    return entity;
}

компилируется в IL, который выглядит точно так же, как код, который вы излучаете (неважные части опущены):

ldloc.0     // entity
ldarg.0     // reader
ldc.i4.0    
callvirt    System.Data.IDataRecord.get_Item
unbox.any   System.Int32
callvirt    UserQuery+Entity.set_Property

Но если вы добавите это второе свойство доступа:

static Entity DynamicCreate(IDataReader reader)
{
    var entity = new Entity();
    entity.SubEntity.Property = (int)reader[0];
    return entity;
}

Тогда IL выглядит так:

ldloc.0     // entity
callvirt    UserQuery+Entity.get_SubEntity
ldarg.0     // reader
ldc.i4.0    
callvirt    System.Data.IDataRecord.get_Item
unbox.any   System.Int32
callvirt    UserQuery+SubEntity.set_Property

Обратите внимание, что призыв к get_SubEntity находится между ldloc.0 а также ldarg.0не прямо перед set_Property как в вашем коде, так что вы должны переместить его туда же в своем коде.

Причина, по которой ваш код не работает, заключается в том, что IL является языком, основанным на стеке: когда вы вызываете метод экземпляра без параметров (например, метод получения свойства), объект в верхней части стека (который здесь является результатом unbox.any) будет использоваться как его thisЭто не то, что вы хотите здесь. По сути, ваш код пытается сделать что-то вроде:

entity.Property = ((int)reader[0]).SubEntity;
Источник

Я предлагаю вообще не использовать IL-код / ​​Emit, поскольку с его помощью сложно создавать выражения. Вместо этого попробуйте использовать новый Roslyn для генерации делегатов.

Вот несколько примеров: https://github.com/dotnet/roslyn/wiki/Scripting-API-Samples

Источник
Другие вопросы по тегам