Perché questo inizializzatore di oggetti nidificati genera un'eccezione di riferimento null?

Question

Il seguente banco di prova genera un'eccezione di riferimento null quando tenta di assegnare Id a un oggetto che è null, poiché al codice manca la "nuova R" prima dell'inizializzatore dell'oggetto.

Perché non viene rilevato dal compilatore? Perché è permesso, in quali casi d'uso sarebbe un costrutto significativo?

[TestClass] 
public class ThrowAway 
{ 
    public class H 
    { 
     public int Id { get; set; } 
    } 

    public class R 
    { 
     public H Header { get; set; } 
    } 

    [TestMethod] 
    public void ThrowsException() 
    { 
     var request = new R 
         { 
          Header = 
          { 
           Id = 1 
          }, 
         }; 
    } 
} 

Answer 1

Il compilatore non dare un avvertimento, perché si potrebbe avere:

public class R 
{ 
    public H Header { get; set; } 

    public R() 
    { 
     Header = new H(); 
    } 
} 

così Header potrebbe essere inizializzato da qualcuno/qualcosa. Risolvere se qualcuno/qualcosa inizializzare Header è un problema complesso (probabilmente simile al problema della terminazione) ... Non è una cosa che un compilatore vuole risolvere per voi :-)

Dalle specifiche C#:

Un inizializzatore di membro che specifica un inizializzatore di oggetti dopo il segno di uguale è un inizializzatore di oggetti nidificati, ovvero un'inizializzazione di un oggetto incorporato. Invece di assegnare un nuovo valore al campo o alla proprietà, le assegnazioni nell'inizializzatore dell'oggetto nidificato vengono trattate come assegnazioni ai membri del campo o della proprietà. Gli inizializzatori di oggetti nidificati non possono essere applicati a proprietà con un tipo di valore o a campi di sola lettura con un tipo di valore.

Siamo nel caso di inizializzatore nidificato e vediamo la parte in grassetto. Non lo sapevo

Ora, si noti che new R { } è, per C# spec, un 7.6.10.1 Object creation expressions seguito da un object-initializer, mentre il Header = { } è un "puro" 7.6.10.2 Object initializers.