Посилання на об'єкт не встановлено для примірника об'єкта. Чому .NET не показує, який об’єкт є "null"?

Щодо цього некерованого повідомлення про виключення .NET:

Посилання на об'єкт не встановлено для примірника об'єкта.

Чому .NET не показує, що є об'єктом null?

Я знаю, що можу перевірити nullі усунути помилку. Однак чому .NET не допомагає вказувати, який об’єкт має нульовий посилання та який вираз викликав NullReferenceException?

(Інформацію про нового помічника винятків у Visual Studio 2017 див. У кінці цієї відповіді)

Розглянемо цей код:

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

Це викине a NullReferenceExceptionу другому рядку, і ви хочете знати, чому .NET не каже вам, що це sбуло недійсно, коли викид був викинутий.

Щоб зрозуміти, чому ви не отримуєте цю інформацію, слід пам’ятати, що не джерело C # виконує, а IL:

IL_0001: ldnull      
IL_0002: stloc.0 // s
IL_0003: ldloc.0 // s
IL_0004: callvirt System.String.get_Length
IL_0009: виклик System.Console.WriteLine

Саме callvirtопкод викидає NullReferenceExceptionі робить це, коли перший аргумент на стеці оцінювання є нульовою посиланням (той, який було завантажено за допомогою ldloc.0).

Якщо .NET повинен бути в змозі сказати, що це була sнульова посилання, то якимось чином слід було б відслідковувати, що перший аргумент на стеці оцінювання виник у формі s. У цьому випадку нам легко побачити, що це sбуло недійсно, але що робити, якщо це значення було зворотним значенням з іншого виклику функції і не зберігалося в жодній змінній? У будь-якому випадку, така інформація не є тим, що ви хочете відслідковувати у віртуальній машині, як віртуальна машина .NET.

Щоб уникнути цієї проблеми, я пропоную вам виконати перевірку нульових аргументів у всіх загальнодоступних викликах методу (якщо, звичайно, ви не дозволяєте нульової посилання):

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

Якщо null передається методу, ви отримуєте виняток, який точно описує, у чому полягає проблема (тобто snull).

Через чотири роки у Visual Studio 2017 тепер є новий помічник винятку, який спробує сказати, що є нульовим при киданні a NullReferenceException. Він навіть може надати вам необхідну інформацію, коли значення, що повертається, є нульовим:

Зауважте, що це працює лише у складі DEBUG.

Як ви хочете виглядати повідомлення про помилку в наступному випадку?

AnyObject.GetANullObject().ToString();

private object GetANullObject()
{
  return null;
}

Тут немає імен змінних, щоб повідомляти!

Ну, це інженери Майкрософт, щоб відповісти. Але ви, очевидно, можете скористатися налагоджувачем і додати годинник, щоб дізнатися, хто з них має проблеми.

Однак винятком є ​​те, NullReferenceExceptionщо означає, що посилання не існує . Ви не можете отримати об'єкт, який взагалі не був створений.

but why .NET don't tell us which object is null? Тому що він не знає, який об’єкт є нульовим. Об'єкта просто не існує!

Той самий випадок, коли я кажу, що C # компілюється в .NET IL код. Код .NET IL не знає імен та виразів. Він знає лише посилання та їх місцезнаходження. І тут ви не можете отримати те, що не існує. Вираз або ім’я змінної не існує.

Філософія: Ви не можете зробити омлет, якщо у вас в першу чергу немає яйця.

Не впевнений, але це може бути, тому що .Net не знає, чи це визначений клас або визначений користувачем. Якщо він визначений заздалегідь, він може бути нульовим (як рядок, який займає 2 байти), але якщо він визначений користувачем, ми повинні створити його примірник, щоб він знав, що цей об'єкт займе стільки пам’яті. Так що він кидає помилку під час виконання.

Гарне питання. У вікні повідомлення просто мало марного. Навіть якщо це поховано на милі глибше від визначення посилань, якийсь клас або збірка, файл чи інша інформація буде кращим за те, що вони надають (читайте: краще, ніж нічого).

Найкращий варіант - запустити його в налагоджувачі з налагоджувальною інформацією, і ваш IDE буде порушений на рядку, що порушує (досить чітко демонструючи, що корисна інформація насправді доступна).