Kompilator podaje błąd, gdy struct nie jest zainicjalizowany i jeśli spróbujemy uzyskać dostęp do właściwości, ale nie ze zmienną

Question

Mam jedną obserwację dotyczącą struct. Kiedy zadeklarować obiektu Struct i jeśli nie zainicjować struct to daje mi poniższy błąd - „Korzystając z nieprzydzielonej zmiennej lokalnej empStruct”

PSeduo Code

struct EmpStruct 
{ 
    private int firstNumber; 
    public int FirstNumber 
    { 
     get { return firstNumber; } 
     set { firstNumber = value; } 
    } 

    public int SecondNumber; 

} 

Program.cs-

EmpStruct empStruct; 
empStruct.FirstNumber = 5; 

Ale kiedy deklaruję publiczną zmienną, powyższy kod działa.

EmpStruct empStruct; 
empStruct.SecondNumber; 

Moje pytanie brzmi: dlaczego kompilator nie podaje błędu, gdy próbuję uzyskać dostęp do zmiennej (w przypadku klasy spowoduje to błąd).

Answer 1

W tej nitce jest ogromna ilość zamieszania.

Zasada jest taka: dopóki wszystkie pola instancji obiektu struct nie zostaną definitywnie przypisane, nie można wywoływać żadnych właściwości ani metod w instancji.

Dlatego Twój pierwszy blok kodu nie zostanie skompilowany. Uzyskujesz dostęp do nieruchomości bez definitywnego przypisania wszystkich pól.

Drugi blok kodu jest kompilowany, ponieważ można uzyskać dostęp do pola bez przypisywania wszystkich pól.

Jednym ze sposobów zdecydowanie przypisać struct znaczy

EmpStruct empStruct = new EmpStruct(); 

To wywołuje domyślny konstruktor bez parametrów dla EmpStruct które z pewnością przypisać wszystkich pól.

Odpowiednią sekcję specyfikacji stanowi § 5.3 na temat Przypisania określonego. Iz przykład w §11.3.8

nr funkcji członka instancji (w tym zestaw akcesorów dla właściwości X i Y) może być wywoływana aż wszystkie pola struct są zbudowane zostały definitywnie przypisane.

Byłoby bardziej pomocna (hm, Eric Lippert!), Czy komunikat o błędzie kompilatora były wzdłuż linii

Zastosowanie pewno nie przypisanej zmiennej lokalnej empStruct.

Następnie staje się jasne, czego szukać w specyfikacji lub na Google.

Teraz należy pamiętać, że zdefiniowano zmienną strukturę. To jest niebezpieczne i złe. Nie powinieneś tego robić. Zamiast tego dodaj publiczny konstruktor, który pozwala definitywnie przypisać firstNumber i secondNumber i usunąć publiczny ustawiacz z EmpStruct.FirstNumber.

Answer 2

pola dotyczące C# język Specyfikacja mówi:

10.5.4 inicjalizacji Pole

Wartość początkowa polu, czy to statyczne pole lub pola przykład, jest domyślna wartość (§5.2) typu pola. Jest nie można obserwować wartość pola przed tym domyślnie inicjalizacji wystąpiło, a pole jest zatem nigdy „niezainicjowany

11.3.4 Wartości domyślne

Jednakże, ponieważ structs są typami wartości, które nie mogą być puste, domyślną wartością struct jest wartość tworzona przez ustawienie wszystkich pól wartości typu na ich wartość domyślną i wszystkich pól typu odniesienia na null. Domyślna wartość struct odpowiada wartości zwróconej przez domyślny konstruktor struktury (01.2).

PS: w przypadku klasy daje błąd, ponieważ wartość referencyjna Typ domyślnie jest null

Answer 3

W pierwszym przykładzie kod nie działa, ponieważ zmienne lokalne muszą zostać zainicjowane przed można z nich korzystać . Nie ma wartości "domyślnej"; muszą być najpierw zainicjowane. Zawsze musisz zainicjować każdą zmienną lokalną, zanim będziesz mógł z niej korzystać. Na przykład:

EmpStruct empStruct = new EmpStruct(); 
empStruct.FirstNumber = 5; 

Pola w klasie nie mają tego samego ograniczenia. Jeśli nie zainicjujesz ich jawnie, zostaną one automatycznie zainicjowane z wartościami domyślnymi. W efekcie środowisko wykonawcze automatycznie wywołuje "new EmpStruct()" na polu w twojej klasie. Dlatego twój drugi przykład działa.

Answer 4

Kilka próbki kodu może pomóc wyjaśnić to lepiej:

// This works because you assign both fields before accessing anything 
EmpStruct empStruct; 
empStruct.SecondNumber = 2; 
empStruct.firstNumber = 1; // I made this public 
empStruct.FirstNumber = 3; 
Console.WriteLine(empStruct.FirstNumber); 
Console.WriteLine(empStruct.SecondNumber); 

// This fails because you can't use properties before assigning all the variables 
EmpStruct empStruct; 
empStruct.SecondNumber = 2; 
empStruct.FirstNumber = 3; 

// This works because you are only accessing a field that the compiler knows you've assigned 
EmpStruct empStruct; 
empStruct.SecondNumber = 2; 
Console.WriteLine(empStruct.SecondNumber); 

// This fails because you haven't assigned the field before it gets accessed. 
EmpStruct empStruct; 
Console.WriteLine(empStruct.SecondNumber); 

Chodzi o to, że kompilator nie wie dokładnie, co się stanie, gdy pole przypisać. Ale gdy przypisujesz właściwość, może ona uzyskać dostęp do dowolnej liczby innych pól na struct. Kompilator nie wie na pewno. Wymaga to, aby wszystkie pola były przypisane, zanim uzyskasz dostęp do właściwości.