为什么我的finally 块在C# 中不起作用？

Question

我一直在帮助一位同事调试他们代码中的一些奇怪行为。 以下示例说明了这一点：

static void Main(string[] args)
{
    string answer = Sample();
    Console.WriteLine(answer);
}

public static string Sample()
{
    string returnValue = "abc";

    try 
    {
         return returnValue;
    }

    catch (Exception)
    {
         throw;
    }

    finally
    {
         returnValue = "def";
    }
}

该示例返回什么？

您可能认为由于finally块，它返回“def”，但实际上，它返回“abc”？ 我已单步执行代码并确认finally 块确实被调用。

真正的答案是，您首先不应该编写这样的代码，但我仍然对其行为感到困惑。

编辑：根据一些答案澄清流程。

当您单步执行代码时，finally 会在返回之前执行。

重复： try { return x; 中到底发生了什么？ } 最后 { x = null; } 声明？

Answer 1

finally 块在 return 语句之后有效地运行。 因此，在进入 finally 块之前，您已经返回了 abc 的旧值。

（这并不完全是在幕后工作的，但对于这里的要点来说已经足够接近了）

Answer 2

我不是专家，但我不得不猜测这个函数返回，然后然后调用finally。 由于 return returnValue 已经被执行，因此 returnValue 在finally 块中取什么值并不重要。 这种行为是有道理的，因为它应该在finally块之前执行整个try块，而它能做到这一点的唯一方法就是它像它应该的那样从函数返回。

Answer 3

如果您真的很好奇发生了什么，那么您可以下载并安装 Reflector< /a>. 这是一个很棒的工具，可以放入你的“技巧袋”中。 它会告诉您引擎盖下面发生了什么。

Answer 4

我猜测您正在确定在 return 语句所在的位置将返回什么（对字符串“abc”的引用）。

因此，finally 稍后将该引用设置为引用不同的字符串这一事实对返回值没有影响。

Answer 5

您的“finally”块正在为 returnValue 分配一个值，而不是实际返回一个值。 在finally 块更改值之前“返回”已经发生，因此返回“abc”。

虽然代码令人困惑，因为您所做的事情没有意义，但它所做的事情是正确的。

Answer 6

是的，finally 块在函数返回后运行，但这并不重要。 请记住，返回值是按值传递的，因此在返回时会为其创建一个新的临时变量，因此finally 块不会影响实际的返回值。 如果您想支持所需的行为，您可以使用 out 参数，如下所示：

static void Main(string[] args)
{
    string answer;
    Sample(out answer);
    Console.WriteLine(answer);
}

public static void Sample(out string answer)
{

    try
    {
        answer = "abc";
        return;
    }

    catch (Exception)
    {
        throw;
    }

    finally
    {
        answer = "def";
    }
}

或者，您可以简单地将 return 语句移到 try 块之外，如下所示：

static void Main(string[] args)
{
    string answer = Sample();
    Console.WriteLine(answer);
}

public static string Sample()
{
    string returnValue;
    try
    {
        returnValue = "abc";
    }

    catch (Exception)
    {
        throw;
    }

    finally
    {
        returnValue = "def";
    }

    return returnValue;
}

但是，考虑到 finally 块将始终覆盖返回值，这是一个有问题的设计。