¿Por qué objeto declarado después de que la etiqueta de un caso esté disponible en otros?

Question

Duplicar posibles:
Variable scope in a switch case

Tengo un código como el siguiente:

switch(a) { 
case b: 
Object o = new Object(); 
return o; 
case c: 
o = new Object(); 
return o; 
} 

y yo soy interesante por eso que es posible utilizar variables declaró después de la primera etiqueta del caso en el segundo, incluso si el primer estado nunca se alcanzará?

Answer 1

A pesar de estar en diferentes casos, las variables locales a la declaración switch están en el mismo bloque, lo que significa que están en el mismo ámbito.

Por lo que sé, el nuevo alcance en Java solo se crea en un nuevo bloque de código. Un bloque de código (con más de una línea) debe estar rodeado por llaves. El código en los casos de una instrucción switch es no rodeado de llaves, por lo que es parte del alcance de todo el enunciado.

Sin embargo, en realidad se puede introducir un nuevo alcance a la declaración mediante la adición de llaves:

switch (cond) { 
case 1:{ 
    Object o = new Object(); 
} 
    break; 
case 2:{ 
    // Object o is not defined here! 
} 
    break; 
}