Try..Finally..相信自己的眼睛

问题提出

       try
       {
         return x;
       }
       finally
       {
         x = null;
       }

上面这段代码到底怎么执行的？

try..catch..finally 介绍

在MSDN中，try..catch..finally 的介绍如下：

• finally 块用于清除 try 块中分配的任何资源，以及运行任何即使在发生异常时也必须执行的代码。 控制总是传递给 finally 块，与 try 块的退出方式无关。
• catch 用于处理语句块中出现的异常，而 finally 用于保证代码语句块的执行，与前面的 try 块的退出方式无关。
• catch 和 finally 一起使用的常见方式是：在 try 块中获取并使用资源，在 catch 块中处理异常情况，并在 finally 块中释放资源。

典型用法：

     void ReadFile(int index)
     {
       string path = @"c:\users\public\test.txt";
       char[] buffer = new char[];

       StreamReader file = new StreamReader(path);
       try
       {
         file.ReadBlock(buffer, index, buffer.Length);
       }
       catch (IOException e)
       {
         Console.WriteLine("Error reading from {0}. Message = {1}", path, e.Message);
       }
       finally
       {
         if (file != null)
         {
           file.Close();
         }
       }
     }

通常 finally 中的代码只负责清理资源。

那么，如果 finally 中包含业务逻辑，try..finally..的执行顺序会对业务逻辑有怎样的影响呢？

try..finally 的执行顺序

回到问题，

    void Main()
    {
      Console.WriteLine(TestTryFinally());
    }

    public string TestTryFinally()
    {
      string x = "init";
      try
      {
        x = "try";
        return x;
      }
      finally
      {
        x = "finally";
      }
    }

这里的执行顺序是：

1. 执行 return 之前的代码
2. 对 return 语句求值
3. 执行 finally 中的代码
4. 在第 2 步中的求值结果被返回

所以，具体是否对返回值有影响，得看 x 变量的类型。如果是不可变类型，则 finally 中的代码对 return 的求值结果没有任何影响。而如果是可变类型，则 finally 中的代码会改变 return 求值结果的内容。

上述代码，在 x 类型为 string 时，返回值为 "try"。

查看 IL 代码，

 IL_0000:  ldarg.
 IL_0001:  call        UserQuery.TestTryFinally
 IL_0006:  call        System.Console.WriteLine

 TestTryFinally:
 IL_0000:  ldstr       "init"
 IL_0005:  stloc.     // x
 IL_0006:  ldstr       "try"
 IL_000B:  stloc.     // x
 IL_000C:  ldloc.     // x
 IL_000D:  stloc.     // CS$1$0000
 IL_000E:  leave.s     IL_0017
 IL_0010:  ldstr       "finally"
 IL_0015:  stloc.     // x
 IL_0016:  endfinally
 IL_0017:  ldloc.     // CS$1$0000
 IL_0018:  ret    

发现在 stloc.1 处会创建 CS$1$0000 临时变量来存储 return 返回值。

从程序集反编译代码查看结果，程序已经被优化。

 // ConsoleApplication11_TryFinallyTest.Program
 public string TestTryFinally()
 {
     string result;
     try
     {
         string x = "try";
         result = x;
     }
     finally
     {
     }
     return result;
 }

更多测试结果

 using System;
 using System.Text;

 namespace ConsoleApplication11_TryFinallyTest
 {
   class Program
   {
     static void Main(string[] args)
     {
       Console.WriteLine(MethodA());
       Console.WriteLine(a);

       Console.WriteLine(MethodB().ToString());
       Console.WriteLine(b.ToString());

       Console.WriteLine(MethodC());
       Console.WriteLine(c);

       Console.WriteLine(MethodD().ToString());
       Console.WriteLine(d.ToString());

       Console.WriteLine(MethodE().ToString());
       Console.WriteLine(e.ToString());

       Console.ReadKey();
     }

     static string a;
     static string MethodA()
     {
       try
       {
         a = "tryA";
         return a;
       }
       finally
       {
         a = "finallyA";
       }
     }

     static StringBuilder b = new StringBuilder();
     static StringBuilder MethodB()
     {
       try
       {
         b.Append("tryB");
         return b;
       }
       finally
       {
         b.Append("finallyB");
       }
     }

     static int c;
     static int MethodC()
     {
       try
       {
         c = ;
         return c;
       }
       finally
       {
         c = ;
       }
     }

     static Person d;
     static Person MethodD()
     {
       try
       {
         d = new Person() { Name = "tryD" };
         return d;
       }
       finally
       {
         d = new Person() { Name = "finallyD" };
       }
     }

     static Person e;
     static Person MethodE()
     {
       e = new Person() { Name = "E" };
       try
       {
         e.Name = "tryE";
         return e;
       }
       finally
       {
         e.Name = "finallyE";
       }
     }

     class Person
     {
       public string Name { get; set; }
       public override string ToString()
       {
         return Name;
       }
     }
   }
 }

参考资料

• try-catch-finally（C# 参考）
• What really happens in a try { return x; } finally { x = null; } statement?