Использование Reflection.Emit для испускания "использования (x) {...}" блока?

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

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

Здесь образец С# части кода, который я пытался скомпилировать и посмотреть в 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 выплевывает BeginExceptionBlock, на который ответил Джон, так что мне нужно было знать.

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

Ответ 1

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

Ответ 2

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

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();