不-在IL级别，您不能从异常处理块内部返回。它本质上将其存储在变量中，然后返回

即类似于：

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

例如（使用反射器）：

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;
}