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


