Deklaracja zmiennych w oświadczeniu przełącznika C#

Question

Dlaczego w instrukcji przełącznika C# dla zmiennej używanej w wielu przypadkach deklaruje się ją tylko w pierwszym przypadku?

Na przykład poniższy komunikat zgłasza błąd "Zmienna lokalna o nazwie" zmienna "jest już zdefiniowana w tym zakresie".

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

Jednak za logiką, wstępna deklaracja nie powinna być hit, jeśli typ jest Type.B. Czy wszystkie zmienne w instrukcji zmiany istnieją w jednym zakresie i czy są tworzone/przydzielane przed przetworzeniem jakiejkolwiek logiki?

Answer 1

Uważam, że ma to związek z ogólnym zakresem zmiennej, jest to zakres na poziomie bloku zdefiniowany na poziomie przełącznika.

Osobiście, jeśli ustawiasz wartość czegoś wewnątrz przełącznika w twoim przykładzie, aby naprawdę przynosił jakąkolwiek korzyść, mimo to chcesz ją zadeklarować poza przełącznikiem.

Answer 2

Tak, zakres jest całym blokiem przełącznika - niestety, IMO. Zawsze można dodać nawiasy klamrowe w jednym przypadku, aby utworzyć mniejszy zakres. Co do tego, czy są one tworzone/przydzielane - ramka stosu ma wystarczająco dużo miejsca dla wszystkich zmiennych lokalnych w metodzie (pomijając złożoność przechwyconych zmiennych). To nie jest tak, że przestrzeń jest przydzielana podczas wykonywania metody.

Answer 3

Ponieważ ich zakres znajduje się w bloku przełączającym. W dokumencie C# Language Specification podano:

Zakres zmiennej lokalnej lub stałej zadeklarowanej w bloku przełącznika jest blokiem przełączającym.

Answer 4

Inicjalizacja odbywa się w tej sprawie, ale deklaracja jest skutecznie wykonywana w górnej części zakresu. (Psuedo-code)

switch (Type) 
{ 
string variable; 

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

Answer 5

Zmienne podzielają zakres w C# kompilator. Jednak zakres nie istnieje w taki sam sposób w CIL. Jeśli chodzi o faktyczne tworzenie/inicjowanie ... model pamięci .NET umożliwia ruch kompilatora czyta/zapisuje bit, o ile przestrzegane są proste reguły, chyba że zmienna jest oznaczona jako volatile.

Answer 6

Jeśli chcesz zmienna zawężona do konkretnego przypadku, po prostu zamknąć sprawę we własnym bloku:

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

„W mojej Daaaaays ...”

swicth jest naprawdę prymitywne implementacja proceduralna, która istnieje już od czasów C (nawet przed C++).

Całość switch jest blok który służy jako zakres zamkniętym GOTO: (stąd : każdego case). Jeśli wziąłeś jakieś klasy asemblera, może się to wydawać znajome.

Dlatego switch użycie jest bardzo pomocne podczas łączenia z Enum s, a nie za pomocą break w każdy case jak

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; 
}