La referencia de objeto no se establece en una instancia de un objeto. ¿Por qué .NET no muestra qué objeto es "nulo"?

Con respecto a este mensaje de excepción no controlada de .NET:

Referencia a objeto no establecida como instancia de un objeto.

¿Por qué .NET no muestra qué objeto es null?

Sé que puedo verificar nully resolver el error. Sin embargo, ¿por qué .NET no ayuda a señalar qué objeto tiene una referencia nula y qué expresión desencadenó la NullReferenceException?

(Para obtener información sobre el nuevo asistente de excepción en Visual Studio 2017, consulte el final de esta respuesta)

Considere este código:

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

Esto arrojará un NullReferenceExceptionen la segunda línea y querrá saber por qué .NET no le dice sque era nulo cuando se lanzó la excepción.

Para entender por qué no obtiene esa información, debe recordar que no es la fuente C # la que se ejecuta, sino IL:

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

Es el callvirtcódigo de operación el que arroja el NullReferenceExceptiony lo hace cuando el primer argumento en la pila de evaluación es una referencia nula (la que se cargó usando ldloc.0).

Si .NET debería poder decir que sfue una referencia nula, debería de alguna manera rastrear que el primer argumento en la pila de evaluación se originó en el formulario s. En este caso, es fácil para nosotros ver que es snulo, pero ¿qué pasa si el valor es un valor de retorno de otra llamada de función y no se almacena en ninguna variable? De todos modos, este tipo de información no es lo que desea rastrear en una máquina virtual como la máquina virtual .NET.

Para evitar este problema, le sugiero que realice una verificación nula de argumentos en todas las llamadas a métodos públicos (a menos que, por supuesto, permita la referencia nula):

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

Si se pasa nulo al método, obtiene una excepción que describe con precisión cuál es el problema (que ses nulo).

Cuatro años después, Visual Studio 2017 ahora tiene un nuevo asistente de excepción que intentará decir qué es nulo cuando NullReferenceExceptionse lanza un. Incluso es capaz de brindarle la información requerida cuando es el valor de retorno de un método que es nulo:

Tenga en cuenta que esto solo funciona en una compilación DEBUG.

¿Cómo quiere que se vea el mensaje de error en el siguiente caso?

AnyObject.GetANullObject().ToString();

private object GetANullObject()
{
  return null;
}

¡No hay nombres de variables para informar aquí!

Bueno, eso depende de los ingenieros de Microsoft. Pero, obviamente, puede usar un depurador y agregar un reloj para descubrir cuál de ellos tiene un problema.

Sin embargo, la excepción es lo NullReferenceExceptionque significa que la referencia no existe . No puede obtener el objeto que no se ha creado en absoluto.

but why .NET don't tell us which object is null? Porque no sabe qué objeto es nulo. ¡El objeto simplemente no existe!

Lo mismo ocurre cuando digo que C # se compila en código .NET IL. El código .NET IL no conoce los nombres o expresiones. Solo conoce referencias y su ubicación. Aquí tampoco se puede obtener lo que no existe. La expresión o el nombre de la variable no existe.

Filosofía: No puedes hacer una tortilla si no tienes un huevo en primer lugar.

No estoy seguro, pero esto puede deberse a que .Net no sabe si es una clase predefinida o definida por el usuario. Si está predefinido, entonces puede ser nulo (como una cadena que ocupa 2 Bytes) pero si está definido por el usuario, tenemos que crear una instancia para que sepa que este objeto ocupará esta cantidad de memoria. Por lo tanto, arroja un error en tiempo de ejecución.

Buena pregunta. El cuadro de mensaje es casi inútil. Incluso si está enterrado a una milla de profundidad de la definición de referencias, alguna clase o ensamblado o archivo u otra información sería mejor que lo que proporcionan actualmente (lea: mejor que nada).

Su mejor opción es ejecutarlo en el depurador con información de depuración, y su IDE se romperá en la línea ofensiva (lo que demuestra claramente que, de hecho, hay información útil disponible).