Использование Reflection.Emit для генерации блока using (x) {...}? - PullRequest
11 голосов
/ 08 июня 2010

Я пытаюсь использовать Reflection.Emit в C # для создания блока using (x) { ... }.

В тот момент, когда я в коде, мне нужно взять текущую вершину стека, которая является объектом, реализующим IDisposable, сохранить его в локальной переменной, реализовать блок using для этой переменной, а затем внутри него добавить еще немного кода (я могу разобраться с этой последней частью.)

Вот пример кода на C #, который я попытался скомпилировать и посмотреть в Reflector:

public void Test()
{
    TestDisposable disposable = new TestDisposable();
    using (disposable)
    {
        throw new Exception("Test");
    }
}

В Reflector это выглядит так:

.method public hidebysig instance void Test() cil managed
{
    .maxstack 2
    .locals init (
        [0] class LVK.Reflection.Tests.UsingConstructTests/TestDisposable disposable,
        [1] class LVK.Reflection.Tests.UsingConstructTests/TestDisposable CS$3$0000,
        [2] bool CS$4$0001)
    L_0000: nop 
    L_0001: newobj instance void LVK.Reflection.Tests.UsingConstructTests/TestDisposable::.ctor()
    L_0006: stloc.0 
    L_0007: ldloc.0 
    L_0008: stloc.1 
    L_0009: nop 
    L_000a: ldstr "Test"
    L_000f: newobj instance void [mscorlib]System.Exception::.ctor(string)
    L_0014: throw 
    L_0015: ldloc.1 
    L_0016: ldnull 
    L_0017: ceq 
    L_0019: stloc.2 
    L_001a: ldloc.2 
    L_001b: brtrue.s L_0024
    L_001d: ldloc.1 
    L_001e: callvirt instance void [mscorlib]System.IDisposable::Dispose()
    L_0023: nop 
    L_0024: endfinally 
    .try L_0009 to L_0015 finally handler L_0015 to L_0025
}

Я понятия не имею, что делать с этой частью ".try ..." в конце, когда используется Reflection.Emit.

Может ли кто-нибудь указать мне правильное направление?


Редактировать : После того, как меня спросят о коде по электронной почте, я опубликую здесь свой свободный интерфейсный код, но он никому не будет полезен, если вы не возьмете некоторые из моих библиотек классов, и это тоже немного кода. Код, с которым я боролся, был частью моего проекта IoC, и мне нужно было сгенерировать класс для реализации автоматической регистрации вызовов методов для службы, в основном класс декоратора для служб, который автоматически генерирует код.

Основной цикл метода, который реализует все методы интерфейса, таков:

foreach (var method in interfaceType.GetMethods())
{
    ParameterInfo[] methodParameters = method.GetParameters();
    var parameters = string.Join(", ", methodParameters
        .Select((p, index) => p.Name + "={" + index + "}"));
    var signature = method.Name + "(" + parameters + ")";
    type.ImplementInterfaceMethod(method).GetILGenerator()
        // object[] temp = new object[param-count]
        .variable<object[]>() // #0
        .ldc(methodParameters.Length)
        .newarr(typeof(object))
        .stloc_0()
        // copy all parameter values into array
        .EmitFor(Enumerable.Range(0, methodParameters.Length), (il, i) => il
            .ldloc_0()
            .ldc(i)
            .ldarg_opt(i + 1)
            .EmitIf(methodParameters[i].ParameterType.IsValueType, a => a
                .box(methodParameters[i].ParameterType))
            .stelem(typeof(object))
        )
        // var x = _Logger.Scope(LogLevel.Debug, signature, parameterArray)
        .ld_this()
        .ldfld(loggerField)
        .ldc(LogLevel.Debug)
        .ldstr(signature)
        .ldloc(0)
        .call_smart(typeof(ILogger).GetMethod("Scope", new[] { typeof(LogLevel), typeof(string), typeof(object[]) }))
        // using (x) { ... }
        .EmitUsing(u => u
            .ld_this()
            .ldfld(instanceField)
            .ldargs(Enumerable.Range(1, methodParameters.Length).ToArray())
            .call_smart(method)
            .EmitCatch<Exception>((il, ex) => il
                .ld_this()
                .ldfld(loggerField)
                .ldc(LogLevel.Debug)
                .ldloc(ex)
                .call_smart(typeof(ILogger).GetMethod("LogException", new[] { typeof(LogLevel), typeof(Exception) }))
            )
        )
        .ret();
}

EmitUsing выплевывает блок исключений BeginException, на который ответил Джон, так что это то, что мне нужно было знать.

Приведенный выше код взят из LoggingDecorator.cs , расширения IL в основном находятся в ILGeneratorExtensions.Designer.cs , а другие файлы в LVK.Reflection Пространство имен.

Ответы [ 2 ]

11 голосов
/ 08 июня 2010

Является ли ILGenerator.BeginExceptionBlock тем, что вы ищете? Пример в документации предполагает, что это правильный подход ...

0 голосов
/ 02 апреля 2016

Вот пример в коде.

ILGenerator ilg = ...;

// Begin the 'try' block. The returned label is at the end of the 'try' block.
// You can jump there and any finally blocks will be executed.
Label block = ilg.BeginExceptionBlock();

// ... emit operations that might throw

ilg.BeginFinallyBlock();

// ... emit operations within the finally block

ilg.EndExceptionBlock();
...