Warum kann eine Nullreferenzausnahme das Objekt, das eine Nullreferenz hat, nicht benennen?

Question

Es scheint mir, dass ein Großteil meiner Debugging-Zeit darauf verwendet wird, Null-Referenz-Ausnahmen in komplexen Anweisungen zu verfolgen. Zum Beispiel:

For Each game As IHomeGame in _GamesToOpen.GetIterator() 

Warum, wenn ich eine Nullreferenceexception bekommen, kann ich die Zeilennummer in der Stack-Trace, aber nicht der Name des Objekts, das null entspricht. Mit anderen Worten, warum:

Object reference not set to an instance of an object. 

statt

_GamesToOpen is not set to an instance of an object. 

oder

Anonymous object returned by _GamesToOpen.GetIterator() is null. 

oder

game was set to null. 

Ist das eine reine Designwahl, bedeutete die Anonymität zu schützen des Codes oder gibt es eine comp Elling Grund im Compiler-Design, diese Informationen nicht in die Debug-Time-Ausnahme aufzunehmen?

Answer 1

Ausnahmen sind Laufzeit-Dinge, Variablen sind kompilieren Zeit Dinge.

Tatsächlich ist die Variable in Ihrem Beispiel ein Ausdruck. Ausdrücke sind nicht immer einfache Variablen. Zur Laufzeit wird der Ausdruck ausgewertet und die Methode am resultierenden Objekt aufgerufen. Wenn der Wert dieses Ausdrucks null ist, wird die Laufzeit NullReferenceException werfen. Nehmen wir folgendes:

Dim a as New MyObject 
Dim b as String = MyObject.GetNullValue().ToString() 

Welche Fehlermeldung die Laufzeit Rückkehr sollte, wenn die GetNullValue() Methode gibt null?

Answer 2

Eine einfache Möglichkeit, dies zum Debuggen abzufangen, um eine Assert-Anweisung zu platzieren, bevor ein Objekt verwendet wird, nach Null zu suchen und eine sinnvolle Nachricht auszugeben.

Answer 3

In Release-Builds werden die Variablennamen aus den Symbolen entfernt und der Code könnte sogar so optimiert werden, dass er keinen bestimmten Speicherort für eine Variable enthält, sondern nur den Verweis in einem der Register (abhängig vom Bereich) der variablen Nutzung). Daher ist es möglicherweise nicht möglich, den Namen der Variablen vom Referenzstandort abzuziehen.

Im Debug-Build sind weitere Informationen zu den Variablen verfügbar. Das Ausnahmeobjekt muss jedoch auf die gleiche Weise funktionieren, unabhängig vom Build-Flavor. Daher handelt es sich um die Mindestinformationen, auf die es in jeder Geschmacksrichtung zugreifen kann.

Answer 4

Ein paar Dinge ...

1), wenn Sie Ihre eigenen Ausnahmen machen dies im Auge behalten (wenn Sie verärgert sind sie es für dieses jemand anderes wird dich ärgern, wenn Sie es für etwas anderes zu tun). Angesichts der Tatsache, dass der Ausnahmepfad überhaupt nicht der typische Pfad sein sollte, ist die Zeit, die damit verbracht wird, die Ausnahme zu machen, nützliche Informationen wert.

2) als allgemeine Programmierung practive diese Art annehmen und Sie werden weit weniger Probleme (ja Code in Bezug auf den Linien wird länger, aber Sie werden eine Menge Zeit sparen):

a) nie mach ab() .c(); do x = a.b(); x.c(); (auf separaten Zeilen), so wie Sie sehen können, war null oder wenn die Rückgabe von a.b() null ist.

b) Übergeben Sie niemals die Rückgabe eines Methodenaufrufs als Parameter - übergeben Sie immer Variablen. a (foo()); sollte sein x = foo(); Axt); Dieser ist mehr zum Debuggen und zum Sehen des Wertes.

Ich weiß nicht, warum Umgebungen wie. NET und Java keine Version der Laufzeit bieten, die mehr Informationen über diese Arten von Ausnahmen hat, z. B. was der Index in einem Array außerhalb der Grenzen war, den Namen der variablen, wenn es null ist, etc ...

Answer 5

für Sprachen wie Java, der Bytecode kompiliert werden, die von einer VM interpretiert wird, dass Sie eine Klasse X mit einem Feld x, und sein Wert ist null für eine haben bestimmte Referenz. Wenn Sie

x.foo() 

der Bytecode schreiben könnte wie folgt aussehen:

push Xref   >> top of stack is ref to instance of X with X.x = null 
getField x   >> pops Xref, pushes 'null' on the stack 
invokeMethod foo >> pops 'null' -> runtime exception 

Der Punkt ist, dass die Operation, die eine Nicht-Null-Referenz auf dem Stapel auf sie arbeiten muss, wie InvokeMethod im Beispiel , kann und weiß nicht, woher dieser Nullbezug stammt.