【Emit基础】在IL中进行异常处理

     本文通过一个简单的示例来说明在IL中进行异常处理时要注意的关键点。

     我们来看一个包含try...catch...finally的示例：

        public   void  TestEF()
        {          
            TransactionScopeFactory factory  =   new  TransactionScopeFactory( null );
            TransactionScope scope  =  factory.NewTransactionScope( false );

             try
            {                
                scope.Commit();
            }
             catch  (Exception ee)
            {
                 string  msg  =  ee.Message;
            }
             finally
            {
                scope.Dispose();
            }
        }

     这段代码实际上与使用using是等价的：

public   void  TestEF()
{
    TransactionScopeFactory factory  =   new  TransactionScopeFactory( null );
     using  (TransactionScope scope  =  factory.NewTransactionScope( false ))
    {
         try
        {
            scope.Commit();
        }
         catch  (Exception ee)
        {
             string  msg  =  ee.Message;
        }
    }
}

     它们对应的IL代码如下所示：

.method  public  hidebysig instance  void  TestEF() cil managed
{
    .maxstack  2
    .locals init (
        [ 0 ]  class  [DataRabbit.Application]DataRabbit.Application.TransactionScopeFactory factory,
        [ 1 ]  class  [DataRabbit.Application]DataRabbit.Application.TransactionScope scope,
        [ 2 ]  class  [mscorlib]System.Exception ee,
        [ 3 ]  string  msg)
    L_0000: nop 
    L_0001: ldnull 
    L_0002: newobj instance  void  [DataRabbit.Application]DataRabbit.Application.TransactionScopeFactory::.ctor( class  [DataRabbit]DataRabbit.DataConfiguration)
    L_0007: stloc. 0  
    L_0008: ldloc. 0  
    L_0009: ldc.i4. 0  
    L_000a: callvirt instance  class  [DataRabbit.Application]DataRabbit.Application.TransactionScope [DataRabbit.Application]DataRabbit.Application.TransactionScopeFactory::NewTransactionScope( bool )
    L_000f: stloc. 1  
    L_0010: nop 
    L_0011: ldloc. 1  
    L_0012: callvirt instance  void  [DataRabbit.Application]DataRabbit.Application.TransactionScope::Commit()
    L_0017: nop 
    L_0018: nop 
    L_0019: leave.s L_0027
    L_001b: stloc. 2  
    L_001c: nop 
    L_001d: ldloc. 2  
    L_001e: callvirt instance  string  [mscorlib]System.Exception::get_Message()
    L_0023: stloc. 3  
    L_0024: nop 
    L_0025: leave.s L_0027
    L_0027: nop 
    L_0028: leave.s L_0034
    L_002a: nop 
    L_002b: ldloc. 1  
    L_002c: callvirt instance  void  [DataRabbit.Application]DataRabbit.Application.TransactionScope::Dispose()
    L_0031: nop 
    L_0032: nop 
    L_0033: endfinally 
    L_0034: nop 
    L_0035: ret 
    . try L_0010 to L_001b catch  [mscorlib]System.Exception handler L_001b to L_0027
    . try L_0010 to L_002a finally  handler L_002a to L_0034
}

 

     我们来剖析这段IL中的异常处理流程：

1.有最后的两句代码，我们看到：

（1）try...catch...finally 是由try...catch 和 try...finally两部分构成。

（2）try...finally 中的try块内含了catch块。

即类似这样：

           .try
               {
                  . try
                  {
                  }
                   catch
                  {
                  }
              }
               finally
              {
              }

 

2.try块、catch块（catch handler）只能通过leave（或leave.s）退出。

3.finally块（finally handler）必须通过endfinally退出。

4.由于try...catch 和 try...finally两部分都需要退出try块，所以我们看到在L_0019 和 L_0028 处都有对应的leave.s指令。

5.程序中如果没有finally块，则IL中只需要处理try...catch 部分；同理，如果程序中没有catch块，则IL只需要处理try...finally部分。

6.总结起来，IL的异常处理类似这个样子：

           .try
              {
                  .try
                  {

                         leave L1
                  }
                  catch
                  {

                         leave L1
                  }

                  leave L2

              }
              finally
              {

                    endfinally
              }