[解決済み】try { return x; } finally { x = null; }文の中で実際に何が起こっているのか？

質問

他の質問でこのヒントを見たのですが、一体どのように機能するのか、どなたか教えていただけませんか？

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

つまり finally 節は、本当に 後 は return ステートメントを使用しますか？このコードはどの程度スレッドセーフでないのか？このコードに対して、何か追加でできることはありますか？ try-finally ハックすることができますか？

どのように解決するのですか？

いいえ、ILレベルでは、例外処理されたブロックの中から戻ることはできません。基本的には変数に格納し、その後にリターンすることになります

すなわち、似ている。

int tmp;
try {
  tmp = ...
} finally {
  ...
}
return tmp;

を例にとると（reflectorを使用）。

static int Test() {
    try {
        return SomeNumber();
    } finally {
        Foo();
    }
}

にコンパイルします。

.method private hidebysig static int32 Test() cil managed
{
    .maxstack 1
    .locals init (
        [0] int32 CS$1$0000)
    L_0000: call int32 Program::SomeNumber()
    L_0005: stloc.0 
    L_0006: leave.s L_000e
    L_0008: call void Program::Foo()
    L_000d: endfinally 
    L_000e: ldloc.0 
    L_000f: ret 
    .try L_0000 to L_0008 finally handler L_0008 to L_000e
}

これは基本的に、ローカル変数( CS$1$0000 そして、ブロックを抜けた後、その変数をロードし、それを返します。Reflectorはこれを次のようにレンダリングします。

private static int Test()
{
    int CS$1$0000;
    try
    {
        CS$1$0000 = SomeNumber();
    }
    finally
    {
        Foo();
    }
    return CS$1$0000;
}