Odnośniki użytkownika i kolejność przypisania do oceny

Question

Dlaczego następująca awaria z NullReferenceException na oświadczeniu a.b.c = LazyInitBAndReturnValue(a);?

class A { 
    public B b; 
} 

class B { 
    public int c; 
    public int other, various, fields; 
} 

class Program { 

    private static int LazyInitBAndReturnValue(A a) 
    { 
     if (a.b == null) 
      a.b = new B(); 

     return 42; 
    } 

    static void Main(string[] args) 
    { 
     A a = new A(); 
     a.b.c = LazyInitBAndReturnValue(a); 
     a.b.other = LazyInitBAndReturnValue(a); 
     a.b.various = LazyInitBAndReturnValue(a); 
     a.b.fields = LazyInitBAndReturnValue(a); 
    } 
} 

wyrażenia przypisania są oceniane from right to left, więc do czasu jesteśmy przypisanie a.b.c, a.b nie powinna być zerowa. Co dziwne, kiedy debugger łamie się na wyjątku, to również pokazuje a.b jako zainicjalizowane wartością inną niż null.

Answer 1

ta jest szczegółowo w Section 7.13.1 w C# spec.

Przetwarzanie wykonywalna prostego przypisania postaci X = Y składa się z następujących etapów:

• Jeśli x jest klasyfikowany jako zmienną:
  • x jest oceniona wyprodukować zmienną.
  • y jest oceniany i, w razie potrzeby, konwertowany na typ x poprzez niejawną konwersję (sekcja 6.1).
  • Jeśli zmienna podana przez x jest elementem tablicy typu referencyjnego, wykonywane jest sprawdzanie w czasie wykonywania, aby upewnić się, że wartość obliczona dla y jest zgodna z instancją tablicy, z której x jest elementem . Sprawdzenie powiedzie się, jeśli y jest zerowe lub jeśli istnieje niejawna referencja konwersji (sekcja 6.1.4) z faktycznego typu instancji , do której odwołuje się y do rzeczywistego typu elementu instancji tablicy zawierającej x. W przeciwnym razie generowany jest wyjątek System.ArrayTypeMismatchException.
  • Wartość wynikająca z oceny i konwersji y jest przechowywana w lokalizacji podanej przez ocenę x.
• Jeśli x jest klasyfikowany jako właściwość lub indeksatora dostępu:
  • instancja ekspresji (jeśli X jest stały) a lista argumentu (jeśli X jest dostęp podziałowe) związany z X jest oceniany, a wyniki są używane w późniejszym wywołaniu selektora dostępu.
  • y jest oceniany i, w razie potrzeby, konwertowany na typ x poprzez niejawną konwersję (sekcja 6.1).
  • Ustawiony akcesor wartości x jest wywoływany z wartością obliczoną dla y jako jej argument wartości.

myślę dolny odcinek (jeśli x jest klasyfikowany jako własność lub indeksatora dostępu) stanowi wskazówkę, ale być może C# ekspert może wyjaśnić.

zestaw dostępowe są generowane, następnie y ocenia (powodowane przez przerwania), a następnie zestaw dostępowej jest wywoływana, która powoduje wyjątek zerowego odniesienia. Gdybym musiał zgadnąć, powiedziałbym, że accessor wskazuje na starą wartość b, która była zerowa.Po aktualizacji b nie aktualizuje on już utworzonego akcesora.

Answer 2

Zdaję sobie sprawę, że to nie odpowiada na twoje pytanie, ale pozwolenie na coś poza klasą A, aby zainicjować członka należącego do klasy A, wydaje mi się przełamać hermetyzację. Jeśli B wymaga inicjalizacji przy pierwszym użyciu, "właścicielem" B powinien być ten, który to zrobi.

class A 
{ 
    private B _b; 
    public B b 
    { 
     get 
     { 
      _b = _b ?? new B(); 
      return _b; 
     } 
    } 
}