为什么在 finally 部分重置此变量时，在 try 块中返回变量不会更改返回事物的值？

最短胡子定理

我不太明白以下代码中的指令是如何流动的。的主体finally保证在方法返回之前执行。如果是这样，返回值应该是 0 而不是 1。

您能否解释为什么即使finally已将其重置为 0返回值仍为 1 的内部机制？

class Container
{
    int data = 0;
    public int Retrieve()
    {
        try
        {
            Inc();
            return data;
        }
        finally
        {
            Reset();
            //return data;
        }
    }
    void Reset()
    {
        data = 0;
        WriteLine("Reset");
    }
    void Inc() => data++;
}

class ReturnInTry
{
    static void Main()
    {
        Clear();
        WriteLine("Start");
        WriteLine(new Container().Retrieve());
        WriteLine("End");
    }
}

奥利维尔·罗吉尔

因为在执行返回指令时，它会将要返回的值压入 CPU 堆栈。

然后执行 finally 块，但它不会修改已经推送的值。

因此，在方法 PROC RET 之后，调用者弹出该值并拥有它已被推送的内容，但数据本身已被重置。

因此，再次调用该方法将返回 0。

这意味着先执行return语句，然后finally执行in的代码，所以结果是之前存储的，改变data不会改变这个存储在堆栈中的结果。

try-finally（C# 参考）

我们可以使用例如 ILSpy 来检查：

.method public hidebysig 
  instance int32 Retrieve () cil managed 
{
  // Method begins at RVA 0x4cf4
  // Code size 30 (0x1e)
  .maxstack 1
  .locals init ( [0] int32 )

  .try
  {
    // Inc();
    IL_0002: ldarg.0
    IL_0003: call instance void ConsoleApp.Container::Inc()

    // return data;
    IL_0009: ldarg.0
    IL_000a: ldfld int32 ConsoleApp.Container::data
    IL_000f: stloc.0

    IL_0010: leave.s IL_001c
  } // end .try
  finally
  {
    // Reset();
    IL_0013: ldarg.0
    IL_0014: call instance void ConsoleApp.Container::Reset()
    // }
    IL_001b: endfinally
  } // end handler

  IL_001c: ldloc.0
  IL_001d: ret
} // end of method Container::Retrieve

OpCodes.Stloc_0 字段

OpCodes.ldloc_0 字段

// Console.WriteLine(new Container().Retrieve());
IL_000c: newobj instance void ConsoleApp.Container::.ctor()
IL_0011: call instance int32 ConsoleApp.Container::Retrieve()
IL_0016: call void [mscorlib]System.Console::WriteLine(int32)

OpCodes.Call 字段

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。