try
{...
block:
....
}
catch{ ..}
GOTO block
...
....
finally{...}
在这种情况下 goto 会执行吗？？
【问题讨论】：
由于 'GOTO block' 而不是 'goto block;' 而无法编译，即使它是正确的也无法编译，因为 C# 规范规定（第 8.9.3 节）：
gotoidentifier 语句的目标是具有给定标签的标记语句。如果当前函数成员中不存在具有给定名称的标签，或者如果 goto 语句不在标签范围内，则会发生编译时错误。此规则允许使用 goto 语句将控制转移出嵌套范围，但不允许进入嵌套范围。
我还发现一些对我来说很有趣的规格：
goto 语句不能退出
finally块（第 8.10 节）。当finally块中出现 goto 语句时，goto 语句的目标必须在同一个finally块中，否则会出现编译时错误。
还有：
goto 语句执行如下：
- 如果 goto 语句退出一个或多个带有关联 finally 块的 try 块，>控制最初会转移到最里面的 try 语句的 finally 块。当 >and if 控制到达 finally 块的终点时，控制转移到下一个封闭 try 语句的 >finally 块。重复此过程，直到>所有介入的 try 语句的最后块都已执行。
- 控制权转移到 goto 语句的目标。
后者意味着如果你有
try
{
...
goto Label1;
}
finally
{
CloseAll();
}
Label1:
MethodB();
它会在实际将控制权转移到Label1 并执行MethodB() 之前调用CloseAll()。
很有道理，但我从来没想过......
【讨论】：
没有。块：标签必须在尝试之外才能让 goto 看到它。代码甚至不会编译。你在参加考试吗:)？
【讨论】：