Declaración de variables en una instrucción de cambio C#

Question

¿Por qué en una instrucción de cambio C#, para una variable utilizada en varios casos, solo la declara en el primer caso?

Por ejemplo, lo siguiente arroja el error "Una variable local llamada 'variable' ya está definida en este ámbito".

switch (Type) 
{ 
    case Type.A: 
      string variable = "x"; 
       break; 
    case Type.B: 
      string variable = "y"; 
       break; 
} 

Sin embargo, por la lógica, la declaración inicial no debe ser golpeado si el tipo es Type.B. ¿Existen todas las variables dentro de una instrucción switch en un único ámbito, y se crean/asignan antes de procesar cualquier lógica?

Answer 1

Creo que tiene que ver con el alcance general de la variable, es un ámbito de nivel de bloque que se define en el nivel de cambio.

Personalmente si establece un valor a algo dentro de un interruptor en su ejemplo para que realmente sea de alguna utilidad, querrá declararlo fuera del conmutador de todos modos.

Answer 2

Sí, el alcance es el bloque completo del interruptor - lamentablemente, IMO. Sin embargo, siempre puede agregar llaves en una sola caja para crear un alcance más pequeño. En cuanto a si se crearon/asignaron, el marco de pila tiene suficiente espacio para todas las variables locales en un método (dejando de lado las complejidades de las variables capturadas). No es como que el espacio se asigna durante la ejecución del método.

Answer 3

Porque su alcance está en el bloque de conmutadores. El C# Language Specification indica lo siguiente:

El alcance de una variable local o constante declarada en un bloque de conmutadores es el bloque de conmutadores.

Answer 4

La inicialización tiene lugar en el caso, pero la declaración se realiza efectivamente en la parte superior del alcance. (Pseudo-código)

switch (Type) 
{ 
string variable; 

    case Type.A: 
      variable = "x"; 
       break; 
    case Type.B: 
      variable = "y"; 
       break; 
} 

Answer 5

Las variables comparten alcance en el compilador de C#. Sin embargo, el alcance no existe de la misma manera en CIL. En cuanto a la creación/inicialización real ... el modelo de memoria .NET permite que el compilador mueva lecturas/escrituras un poco, siempre y cuando se sigan reglas simples a menos que la variable esté marcada como volatile.

Answer 6

Si desea una variable con ámbito a un caso particular, sólo tiene que incluir el caso en su propio bloque:

switch (Type) 
{ 
    case Type.A: 
    { 
     string variable = "x"; 
     /* Do other stuff with variable */ 
    } 
    break; 

    case Type.B: 
    { 
     string variable = "y"; 
     /* Do other stuff with variable */ 
    } 
    break; 
} 

Answer 7

"In My Daaaaays ..."

swicth es un muy primitiva implementación de procedimientos que ha existido desde las edades de C (incluso antes de C++).

El conjunto switch es un bloque deque sirve como un alcance-contenida GOTO: (de ahí el : en cada case). Si tomó algunas clases de ensamblador, eso podría parecerle familiar.

Por eso switch uso es más útil cuando se combina con Enum s y no usar break en cada case como

switch(mood) 
{ 
    case Mood.BORED: 
    case Mood.HAPPY: 
     drink(oBeer) // will drink if bored OR happy 
break; 

    case Mood.SAD: // unnecessary but proofs a concept 
    default: 
     drink(oCoffee) 
break; 
}