tipos - switch en c# consola

¿Cuál es la diferencia y por qué Switch Case funciona así en C#?

Question

Esta pregunta ya tiene una respuesta aquí:

• Declaración de variable en una declaración de cambio de C # 7 respuestas

Tengo dos funciones, una puede ser compilada y la otra no. ¿Cuál es la diferencia?

¿La función número 1 supone que el caso 1 siempre será afectado, o solo es un problema del compilador?

public void Test(int x)
{
    switch (x)
    {
        case 1:
            uint cId = (uint)3;
            break;

        case 2:
            cId = (uint)5; //NO ERROR HERE. WHY?
            break;
    }
}

public void DeclaringInsideSwitch(int x)
{
    uint tst = 0;
    switch (x)
    {
        case 1:
            int y = 3;
            uint variable = tst;
            break;

        case 2:
            variable++; //ERROR HERE. WHY?
            break;
    }
}

Intenté, por supuesto, buscar "Declarar variables dentro del conmutador en C #", pero a mi me parece un error en C # ahora, conservado para compatibilidad con versiones anteriores.

// Después de recibir una advertencia de que ya fue respondida, mi pregunta ahora puede reducirse a lo que realmente se trata.

Por qué:

int x;
x++;

no funciona esto?

Answer 1

Básicamente, la declaración de variables es efectivamente más amplia de lo que piensas; el segundo ejemplo adolece de "asignación definida", ya que se declara (más amplio), pero no se asigna realmente, por lo que ++ no tiene sentido en un valor no asignado.

Si quieres ámbitos por case , puedes hacerlo ... solo agrega llaves:

        switch (x)
        {
            case 1:
            {
                uint cId = (uint)3;
                break;
            }
            case 2:
            {
                uint cId = (uint)5;
                break;
            }
        }

¿Es un poco molesto? Sí. ¿Es anti-intuitivo? Sí. ¿Alguna vez será cambiado? Es poco probable, ya que sería un cambio importante que impediría la compilación de muchos de los C # existentes.

Answer 2

Bueno, uint cId se define dentro del alcance {...} que está en su switch scope caso

switch (x)
{
    case 1:
        uint cId = (uint)3; // <- definition 
        break;

    case 2:
        // cId has been defined and thus can be assigned (initialization)
        cId = (uint)5; //NO ERROR HERE WHY?
        break;
}  // <- end of cId scope

En el segundo caso variable se define la variable , pero al ser una variable local se debe inicializar antes de su uso (incremento):

switch (x)
{
    case 1:
        int y = 3;
        uint variable = tst; // <- definition 
        break;
    case 2:
        // variable defined, but has not been initialized ("case 1:" hasn''t been run),
        // variable contains trash and so you can''t increment it 
        variable++; //ERROR HERE WHY?
        break;
} // <- end of variable scope