switch语句中变量范围的哲学

Question

由于在这个问题回答在这里，一个变量内的范围case属于整个switch语句本身，而不仅仅是case。因此，这不会编译（重复的局部变量）：

int key = 2;
switch (key) {
case 1:
    String str = "1";
    return str;
case 2:
    String str = "2";
    return str;
}

我主要对两件事感兴趣...

1. 这种行为背后的哲学或设计原理是什么？（也许我什至在寻求整个switch语句的动力？）
2. 如何发生的呢？此代码如何看待字节码，甚至汇编级别？

Answer 1

不管是好是坏，switchJava 的语义在很大程度上受到switchC 的语义的影响。而且，尽管我们作为程序员，倾向于将案例标签后跟一些语句和break / continue / return作为逻辑单元，但这是实际上不是它的工作方式，在语言级别上也没有这样的构造。在switch，break而continue只是陈述，当你执行switch，你开始在匹配的情况下，标签和执行块的剩余部分。碰巧的是，在大多数情况下，您会先碰到a break或continueor return。（请参阅JLS 14.11。）关键句子是：

switch块中匹配的case标签之后的所有语句（如果有）将按顺序执行。

许多人（IMO，合理地认为）认为switchJava语句的优先级倒退。该语言将掉线和其他控制流break异常视为正常情况，并将其作为例外情况。但是，当然，在实际代码中，反之亦然。（Java是如何获得这些向后优先级的？通过从C复制来实现。）

switch语句的作用域规则非常直接地从这种世界观出发。如果开关的主体是一个未分化的块，恰好贴有case标签，那当然是一个很大的范围。没关系，这实际上并不是几乎所有开发人员一直想要的。

除了混淆范围和默认情况之外，人们switch在Java中还感到遗憾的是，它只是一个语句，而不是表达式。请参阅JEP 325，它以向后兼容的方式解决了所有这些问题，这很可能是Java 12中的预览功能。