Почему Java не говорит вам, какой указатель имеет значение null?

Ответ 1

Это потому, что разыменование всегда происходит, когда нет имени. Значение загружается в стек операнда, а затем передается одному из кодов операций JRE, которые его разыскивают. Тем не менее, стек операнда не имеет имени для связывания с нулевым значением. Все, что у него есть, - "null". С помощью некоторого умного кода отслеживания времени выполнения можно получить имя, но это добавит накладные расходы с ограниченным значением.

Из-за этого не существует опции JRE, которая будет включать дополнительную информацию для исключений нулевого указателя.

В этом примере ссылка хранится в локальном слоте 1, который сопоставляется с именем локальной переменной. Но разыменование происходит в invokevirtual инструкции, которая видит только стек "null" в стеке, а затем генерирует исключение:

15 aload_1
16 invokevirtual #5 

В равной степени допустимой будет загрузка массива, за которой следует разыменование, но в этом случае нет имени для сопоставления с "нулевым" значением, просто индекс отключен от другого значения.

76 aload    5
78 iconst_0
79 aaload
80 invokevirtual #5

Вы также не можете назначать имена статически каждой команде - этот пример создает много байт-кода, но вы можете видеть, что команда разыменования получит либо objA, либо objB, и вам нужно будет отслеживать это динамически, чтобы сообщить об этом правый, поскольку обе переменные переходят к одной и той же инструкции разыменования:

(myflag ? objA : objB).toString()

Ответ 2

Как только вы JIT-код, это просто встроенная математика указателя, и если какой-либо указатель в собственном коде имеет значение null, он выдает исключение. Это привело бы к разрушительному эффекту производительности, чтобы вернуть эту сборку обратно к исходной переменной и, учитывая, что JIT оптимизирует сгенерированный код на разные уровни, часто даже не представляется возможным.

Ответ 3

Если вы разделите строку на несколько строк, вместо того, чтобы делать несколько вызовов методов в одной строке, или если вы установите точку останова на этой строке и пройдите через линию с помощью отладчика, вы можете выяснить, какая ссылка является нулевой довольно легко.

Ответ 4

Если

Номер строки не является достаточно конкретным потому что линия нарушения может часто содержат многочисленные переменные, которые могли бы вызвали ошибку.

то я предлагаю:

• Разрыв этой строки на несколько строк и присвоение временных значений NullPointerException для временных переменных.
• Используйте отладчик и переходите к каждому вызову метода, пока не найдете тот, который вызывает проблему.

Ответ 5

Это, к сожалению, так, как работает Java.

Если это "ваш" код, просто добавьте такие фрагменты, как

if (foo == null) {
  throw new NullPointerException("foo == null");
}

сразу после назначения foo. Если foo - это параметр, то сразу же проверяйте его в начале тела метода и вместо этого выведите IllegalArgumentException.

Это поможет вам прояснить ситуацию.

Ответ 6

Вы можете добавить точку останова в исключении нулевого указателя в Eclipse при отладке, чтобы получить точную причину исключения.