由于在这个问题回答在这里,一个变量内的范围case
属于整个switch
语句本身,而不仅仅是case
。因此,这不会编译(重复的局部变量):
int key = 2; switch (key) { case 1: String str = "1"; return str; case 2: String str = "2"; return str; }
我主要对两件事感兴趣...
这种行为背后的哲学或设计原理是什么?(也许我什至在寻求整个switch语句的动力?)
如何发生的呢?此代码如何看待字节码,甚至汇编级别?
Brian Goetz.. 5
不管是好是坏,switch
Java 的语义在很大程度上受到switch
C 的语义的影响。而且,尽管我们作为程序员,倾向于将案例标签后跟一些语句和break / continue / return作为逻辑单元,但这是实际上不是它的工作方式,在语言级别上也没有这样的构造。在switch
,break
而continue
只是陈述,当你执行switch
,你开始在匹配的情况下,标签和执行块的剩余部分。碰巧的是,在大多数情况下,您会先碰到a break
或continue
or return
。(请参阅JLS 14.11。)关键句子是:
switch块中匹配的case标签之后的所有语句(如果有)将按顺序执行。
许多人(IMO,合理地认为)认为switch
Java语句的优先级倒退。该语言将掉线和其他控制流break
异常视为正常情况,并将其作为例外情况。但是,当然,在实际代码中,反之亦然。(Java是如何获得这些向后优先级的?通过从C复制来实现。)
switch语句的作用域规则非常直接地从这种世界观出发。如果开关的主体是一个未分化的块,恰好贴有case
标签,那当然是一个很大的范围。没关系,这实际上并不是几乎所有开发人员一直想要的。
除了混淆范围和默认情况之外,人们switch
在Java中还感到遗憾的是,它只是一个语句,而不是表达式。请参阅JEP 325,它以向后兼容的方式解决了所有这些问题,这很可能是Java 12中的预览功能。
不管是好是坏,switch
Java 的语义在很大程度上受到switch
C 的语义的影响。而且,尽管我们作为程序员,倾向于将案例标签后跟一些语句和break / continue / return作为逻辑单元,但这是实际上不是它的工作方式,在语言级别上也没有这样的构造。在switch
,break
而continue
只是陈述,当你执行switch
,你开始在匹配的情况下,标签和执行块的剩余部分。碰巧的是,在大多数情况下,您会先碰到a break
或continue
or return
。(请参阅JLS 14.11。)关键句子是:
switch块中匹配的case标签之后的所有语句(如果有)将按顺序执行。
许多人(IMO,合理地认为)认为switch
Java语句的优先级倒退。该语言将掉线和其他控制流break
异常视为正常情况,并将其作为例外情况。但是,当然,在实际代码中,反之亦然。(Java是如何获得这些向后优先级的?通过从C复制来实现。)
switch语句的作用域规则非常直接地从这种世界观出发。如果开关的主体是一个未分化的块,恰好贴有case
标签,那当然是一个很大的范围。没关系,这实际上并不是几乎所有开发人员一直想要的。
除了混淆范围和默认情况之外,人们switch
在Java中还感到遗憾的是,它只是一个语句,而不是表达式。请参阅JEP 325,它以向后兼容的方式解决了所有这些问题,这很可能是Java 12中的预览功能。