Riferimento a un oggetto non impostato su un'istanza di un oggetto. Perché .NET non mostra quale oggetto è "null"?

Per quanto riguarda questo messaggio di eccezione non gestito .NET:

Il riferimento non impostato su un'istanza di un oggetto.

Perché .NET non mostra quale oggetto è null ?

So di poter verificare nulle risolvere l'errore. Tuttavia, perché .NET non aiuta a sottolineare quale oggetto ha un riferimento nullo e quale espressione ha attivato il NullReferenceException?

(Per informazioni sul nuovo helper di eccezioni in Visual Studio 2017, vedere la fine di questa risposta)

Considera questo codice:

String s = null;
Console.WriteLine(s.Length);

Questo lancerà un NullReferenceExceptionnella seconda riga e vuoi sapere perché .NET non ti dice che lo eras che era nulla quando è stata lanciata l'eccezione.

Per capire perché non ottieni quell'informazione dovresti ricordare che non è l'origine C # che viene eseguita ma piuttosto IL:

IL_0001: ldnull      
IL_0002: stloc.0 // s
IL_0003: ldloc.0 // s
IL_0004: callvirt System.String.get_Length
IL_0009: chiama System.Console.WriteLine

È il callvirtcodice operativo che lancia il NullReferenceExceptione lo fa quando il primo argomento sullo stack di valutazione è un riferimento nullo (quello che è stato caricato utilizzando ldloc.0).

Se .NET dovesse essere in grado di dire che si trattava di sun riferimento nullo, dovrebbe in qualche modo tenere traccia che il primo argomento nello stack di valutazione ha avuto origine dal modulo s. In questo caso è facile per noi vedere che è snullo, ma cosa succederebbe se il valore fosse un valore restituito da un'altra chiamata di funzione e non memorizzato in alcuna variabile? Ad ogni modo, questo tipo di informazioni non è ciò di cui vuoi tenere traccia in una macchina virtuale come la macchina virtuale .NET.

Per evitare questo problema ti suggerisco di eseguire il controllo null degli argomenti in tutte le chiamate ai metodi pubblici (a meno che, ovviamente, non permetti il ​​riferimento null):

public void Foo(String s) {
  if (s == null)
    throw new ArgumentNullException("s");
  Console.WriteLine(s.Length);
}

Se al metodo viene passato null, si ottiene un'eccezione che descrive con precisione qual è il problema (ovvero snull).

Quattro anni dopo, Visual Studio 2017 ha ora un nuovo helper per le eccezioni che proverà a indicare cosa è null quando NullReferenceExceptionviene generato un. È anche in grado di darti le informazioni richieste quando è il valore di ritorno di un metodo che è nullo:

Nota che questo funziona solo in una build DEBUG.

Come vuoi che appaia il messaggio di errore nel seguente caso?

AnyObject.GetANullObject().ToString();

private object GetANullObject()
{
  return null;
}

Nessun nome di variabile da riportare qui!

Beh, spetta agli ingegneri di Microsoft rispondere. Ma puoi ovviamente usare un debugger e aggiungere watch per scoprire quale di questi ha un problema.

Tuttavia, l'eccezione è NullReferenceExceptionche significa che il riferimento non esiste . Non puoi ottenere l'oggetto che non è stato creato affatto.

but why .NET don't tell us which object is null? Perché non sa quale oggetto è nullo. L'oggetto semplicemente non esiste!

Lo stesso è il caso quando dico che C # è compilato in codice .NET IL. Il codice .NET IL non conosce i nomi o le espressioni. Conosce solo i riferimenti e la loro posizione. Anche qui non puoi ottenere ciò che non esiste. L'espressione o il nome della variabile non esiste.

Filosofia: non puoi fare una frittata se non hai un uovo in primo luogo.

Non sono sicuro, ma potrebbe essere perché .Net non sa se si tratta di una classe predefinita o definita dall'utente. Se è predefinito, può essere nullo (come una stringa che occupa 2 byte) ma se è definito dall'utente dobbiamo crearne un'istanza in modo che sappia che questo oggetto occuperà così tanta memoria. Quindi quindi genera un errore in fase di esecuzione.

Buona domanda. La finestra del messaggio è solo inutile. Anche se è sepolto a un miglio di profondità dalla definizione dei riferimenti, alcune classi o assembly o file o altre informazioni sarebbero migliori di quelle che forniscono attualmente (leggi: meglio di niente).

La tua migliore opzione è eseguirlo nel debugger con le informazioni di debug e il tuo IDE si interromperà sulla linea incriminata (dimostrando piuttosto chiaramente che le informazioni utili sono effettivamente disponibili).