李威 さぽている

try-finally，return的执行顺序小析~

项目中一个try-finally语句中有return，不明白执行的顺序，于是搜索了一番。
http://www.usdprofits.com/finally-return-t344073.htm
虽然回答的是JAVA的，但也有借鉴作用。
===================================================
首先执行finally，然后才执行return；
如果finally里面有return，try中的return不会再执行；
如果try中有了异常，return也不执行；
ps：异常实际上也是一种返回值
===================================================
http://fanyaojun.bokee.com/126611.html
有一段程序显示先执行try，再finally最后return。
http://www.blog.edu.cn/user1/16293/archives/2006/1248335.shtml
分析了IL代码，指出了比较根本性的原因。

但我写了一个程序却出现了一个怪问题。
主程序清单如下：

static   void  Main( string [] args)
         {
            Console.WriteLine(TestFR().ToString());
        }

         static   int  TestFR()
         {
             int  i  =   1 ;
             try
             {
                i  =   2 ;
                 return  i;
            }
            
             finally
             {
                i  =   3 ;
                Console.WriteLine( " finally block executed. " );
            }
        }

它显示的是什么呢？
按照前面讲的，先写“finally block executed.”再输出3
可实验结果却是
finally block executed.
2

怎么回事？我也来分析下IL代码~~以下是TestFR()的~

.method  private  hidebysig  static  int32  TestFR() cil managed
{
   //  コード サイズ       29 (0x1d)
  .maxstack   1
  .locals init ([ 0 ] int32 i,
           [ 1 ] int32 CS$ 1 $ 0000 )
  IL_0000:  nop
  IL_0001:  ldc.i4. 1
  IL_0002:  stloc. 0
  . try
   {
    IL_0003:  nop
    IL_0004:  ldc.i4. 2
    IL_0005:  stloc. 0
    IL_0006:  ldloc. 0
    IL_0007:  stloc. 1
    IL_0008:  leave.s    IL_001a
  }    //  end .try
   finally
   {
    IL_000a:  nop
    IL_000b:  ldc.i4. 3
    IL_000c:  stloc. 0
    IL_000d:  ldstr       " finally block executed. "
    IL_0012:  call        void  [mscorlib]System.Console::WriteLine( string )
    IL_0017:  nop
    IL_0018:  nop
    IL_0019:  endfinally
  }    //  end handler
  IL_001a:  nop
  IL_001b:  ldloc. 1
  IL_001c:  ret
}   //  end of method Program::TestFR

这里涉及到3个存储区：堆栈，局部变量区，计算堆栈。至于它们的区别，我不是很清楚，有人知道的话，告诉我吧。
01句（以下同样只简称后两位IL_0001）将数字1放到堆栈，02句弹出到局部变量0中，对应的语句就是i = 1；try中几句是将数字2放到堆栈，再弹出到局部变量0，06句将局部变量0加载到计算堆栈。07句将其弹出到局部变量1，因为只有计算堆栈里有数据，所以弹的是计算堆栈的值。08跳到1a去，但不能跳过finally句。
finally句中将数字3放到局部变量0中，再显示字符串。
而后，关键的地方就到了。1b句将局部变量1加载到计算堆栈，再由ret返回值。
这里，为什么将局部变量1也就是数字2返回呢？不可理解呀~

posted on 2006-09-13 19:06 李威 阅读(3938) 评论(1)  编辑  收藏