Objektreferenz nicht auf eine Instanz eines Objekts festgelegt. Warum zeigt .NET nicht an, welches Objekt "null" ist?

Zu dieser nicht behandelten .NET-Ausnahmemeldung:

Der Objektverweis wurde nicht auf eine Instanz eines Objekts festgelegt.

Warum zeigt .NET nicht an, welches Objekt es ist null?

Ich weiß, dass ich nullden Fehler suchen und beheben kann. Warum hilft .NET jedoch nicht dabei, darauf hinzuweisen, welches Objekt eine Nullreferenz hat und welcher Ausdruck die ausgelöst hat NullReferenceException?

(Informationen zum neuen Ausnahme-Helfer in Visual Studio 2017 finden Sie am Ende dieser Antwort.)

Betrachten Sie diesen Code:

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

Dies wirft ein NullReferenceExceptionin die zweite Zeile und Sie möchten wissen, warum .NET Ihnen nicht sagt, dass es snull war, als die Ausnahme ausgelöst wurde.

Um zu verstehen, warum Sie diese Informationen nicht erhalten, sollten Sie sich daran erinnern, dass nicht die C # -Quelle ausgeführt wird, sondern IL:

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

Es ist der callvirtOpcode, der das auslöst, NullReferenceExceptionund das tut es, wenn das erste Argument auf dem Auswertungsstapel eine Nullreferenz ist (die, die mit geladen wurde ldloc.0).

Wenn .NET erkennen soll, dass es sich sum eine Nullreferenz handelt, sollte es in gewisser Weise nachverfolgen, dass das erste Argument auf dem Evaluierungsstapel aus einer Form stammt s. In diesem Fall ist es für uns leicht zu erkennen, sdass es null war, aber was ist, wenn der Wert ein Rückgabewert eines anderen Funktionsaufrufs war und nicht in einer Variablen gespeichert wurde? Auf jeden Fall ist diese Art von Informationen nicht das, was Sie in einer virtuellen Maschine wie der virtuellen .NET-Maschine verfolgen möchten.

Um dieses Problem zu vermeiden, schlage ich vor, dass Sie in allen öffentlichen Methodenaufrufen eine Argument-Null-Prüfung durchführen (es sei denn, Sie erlauben natürlich die Null-Referenz):

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

Wenn null an die Methode übergeben wird, erhalten Sie eine Ausnahme, die genau beschreibt, wo das Problem liegt ( sdh null).

Vier Jahre später hat Visual Studio 2017 jetzt einen neuen Ausnahme-Helfer, der versucht zu erkennen, was null ist, wenn a NullReferenceExceptionausgelöst wird. Es kann Ihnen sogar die erforderlichen Informationen geben, wenn es sich um den Rückgabewert einer Methode handelt, die null ist:

Beachten Sie, dass dies nur in einem DEBUG-Build funktioniert.

Wie soll die Fehlermeldung im folgenden Fall aussehen?

AnyObject.GetANullObject().ToString();

private object GetANullObject()
{
  return null;
}

Hier gibt es keine Variablennamen zu melden!

Nun, das müssen die Ingenieure von Microsoft beantworten. Aber Sie können natürlich einen Debugger verwenden und watch hinzufügen, um herauszufinden, welche davon ein Problem haben.

Die Ausnahme ist jedoch NullReferenceException, dass die Referenz nicht vorhanden ist . Sie können das Objekt nicht erhalten, das überhaupt nicht erstellt wurde.

but why .NET don't tell us which object is null? Weil es nicht weiß, welches Objekt null ist. Das Objekt existiert einfach nicht!

Gleiches gilt, wenn ich sage, dass C # zu .NET IL-Code kompiliert wurde. Der .NET IL-Code kennt die Namen oder Ausdrücke nicht. Es kennt nur Referenzen und deren Standort. Auch hier kann man nicht bekommen, was nicht existiert. Der Ausdruck oder der Variablenname existiert nicht.

Philosophie: Sie können kein Omelett machen, wenn Sie überhaupt kein Ei haben.

Nicht sicher, aber dies kann daran liegen, dass .Net nicht weiß, ob es sich um eine vordefinierte Klasse oder eine benutzerdefinierte Klasse handelt. Wenn es vordefiniert ist, kann es null sein (wie eine Zeichenfolge, die 2 Bytes belegt), aber wenn es benutzerdefiniert ist, müssen wir eine Instanz davon erstellen, damit es weiß, dass dieses Objekt so viel Speicher belegt. Daher wird zur Laufzeit ein Fehler ausgegeben.

Gute Frage. Das Meldungsfeld ist nur knapp nutzlos. Selbst wenn es eine Meile tief von der Referenzdefinition entfernt ist, wären einige Klassen, Baugruppen, Dateien oder andere Informationen besser als das, was sie derzeit bereitstellen (sprich: besser als nichts).

Am besten führen Sie es im Debugger mit Debugging-Informationen aus, und Ihre IDE wird an der betreffenden Zeile unterbrochen (was ziemlich deutlich zeigt, dass nützliche Informationen tatsächlich verfügbar sind).