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:userspublic	est.txt";
      char[] buffer = new char[10];

      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.0     
IL_0001:  call        UserQuery.TestTryFinally
IL_0006:  call        System.Console.WriteLine

TestTryFinally:
IL_0000:  ldstr       "init"
IL_0005:  stloc.0     // x
IL_0006:  ldstr       "try"
IL_000B:  stloc.0     // x
IL_000C:  ldloc.0     // x
IL_000D:  stloc.1     // CS$1$0000
IL_000E:  leave.s     IL_0017
IL_0010:  ldstr       "finally"
IL_0015:  stloc.0     // x
IL_0016:  endfinally  
IL_0017:  ldloc.1     // 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 = 3;
        return c;
      }
      finally
      {
        c = 4;
      }
    }

    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?