Хорошим местом для начала является JavaDocs . Они охватывают это:
Брошено, когда приложение пытается использовать null в случае, когда требуется объект. К ним относятся:
- Вызов метода экземпляра нулевого объекта.
- Доступ или изменение поля нулевого объекта.
- Выполнение длины null, как если бы это был массив.
- Доступ или изменение слотов с нулевым значением, как если бы это был массив.
- Бросать нуль, как если бы это было значение Throwable.
Приложения должны бросать экземпляры этого класса для указания других незаконных видов использования нулевого объекта.
blockquote>Также, если вы попытаетесь использовать нулевую ссылку с
synchronized
, который также выдаст это исключение, за JLS :SynchronizedStatement: synchronized ( Expression ) Block
blockquote>
- В противном случае, если значение выражения равно null,
NullPointerException
.Как это исправить?
Итак, у вас есть
NullPointerException
. Как вы это исправите? Возьмем простой пример, который выдаетNullPointerException
:public class Printer { private String name; public void setName(String name) { this.name = name; } public void print() { printString(name); } private void printString(String s) { System.out.println(s + " (" + s.length() + ")"); } public static void main(String[] args) { Printer printer = new Printer(); printer.print(); } }
Идентифицирует нулевые значения
. Первый шаг - точно определить , значения которого вызывают исключение . Для этого нам нужно выполнить некоторую отладку. Важно научиться читать stacktrace . Это покажет вам, где было выбрано исключение:
Exception in thread "main" java.lang.NullPointerException at Printer.printString(Printer.java:13) at Printer.print(Printer.java:9) at Printer.main(Printer.java:19)
Здесь мы видим, что исключение выбрано в строке 13 (в методе
printString
). Посмотрите на строку и проверьте, какие значения равны нулю, добавив протоколирующие операторы или используя отладчик . Мы обнаруживаем, чтоs
имеет значение null, а вызов методаlength
на него вызывает исключение. Мы видим, что программа прекращает бросать исключение, когдаs.length()
удаляется из метода.Трассировка, где эти значения взяты из
Затем проверьте, откуда это значение. Следуя вызовам метода, мы видим, что
s
передается сprintString(name)
в методеprint()
, аthis.name
- null.Трассировка, где эти значения должны быть установлены
Где установлен
this.name
? В методеsetName(String)
. С некоторой дополнительной отладкой мы видим, что этот метод вообще не вызывается. Если этот метод был вызван, обязательно проверьте порядок , что эти методы вызывают, а метод set не будет называться после методом печати. Этого достаточно, чтобы дать нам решение: добавить вызов
printer.setName()
перед вызовомprinter.print()
.Другие исправления
Переменная может иметь значение по умолчанию (и
setName
может помешать ему установить значение null):private String name = "";
Либо метод
printString
может проверить значение null например:printString((name == null) ? "" : name);
Или вы можете создать класс, чтобы
name
всегда имел ненулевое значение :public class Printer { private final String name; public Printer(String name) { this.name = Objects.requireNonNull(name); } public void print() { printString(name); } private void printString(String s) { System.out.println(s + " (" + s.length() + ")"); } public static void main(String[] args) { Printer printer = new Printer("123"); printer.print(); } }
См. также:
Я все еще не могу найти проблему
Если вы попытались отладить проблему и до сих пор не имеете решения, вы можете отправить вопрос для получения дополнительной справки, но не забудьте включить то, что вы пробовали до сих пор. Как минимум, включите stacktrace в вопрос и отметьте важные номера строк в коде. Также попробуйте сначала упростить код (см. SSCCE ).
"Система типа и эффекта" описывает не только виды значений в программе, но и изменения в тех значениях. Проверка "Typestate" является связанной идеей.
примером могла бы быть система типов, которая отслеживает дескрипторы файлов: вместо того, чтобы иметь функцию close
с типом void
возврата, система типов записала бы эффект из close
как избавление от файла resource— любая попытка читать из или записать в файл после вызова close
стала бы ошибкой типа.
я не знаю ни о каком типе и системе эффекта, появляющейся на основном языке программирования. Они использовались для определения статических анализов (например, довольно естественно определить анализ для надлежащей блокировки/разблокирования с точки зрения эффектов). По сути, системы эффекта обычно определяются с помощью схем вывода, а не конкретного синтаксиса. Вы могли вообразить синтаксис, смотрящий что-то как [1 114]
File open(String name) [+File]; // open creates a new file handle
void close(File f) [-f] ; // close destroys f
, Если Вы хотите узнать больше, следующие бумаги могли бы быть интересными (справедливое предупреждение: бумаги являются довольно теоретическими).
Вы можете посмотреть http://www.haskell.org/haskellwiki/DDC
Это версия Haskell, реализующая систему эффектов.
(Это не авторитетный ответ; просто пытаясь тралить мою память.)
В некотором смысле, любое время Вы кодируете 'монаду состояния' на языке, Вы используете систему типов в качестве потенциальной системы эффекта. Таким образом, "состояние" или "IO" в Haskell получают это понятие (IO получает большой из других эффектов также). Я неопределенно не забываю читать газеты о различных языках, которые используют усовершенствованные системы типов включая вещи как "зависимые типы" для управления управлением с более прекрасными зернами эффектами, так, чтобы, например, система типа/эффекта могла получить информацию, о которой ячейки памяти будут изменены в типе определенных данных. Это полезно, поскольку это обеспечивает способы сделать две функции, которые изменяют взаимоисключающие биты состояния быть позволенными "коммутироваться" (монады обычно не коммутируются, и различные монады не всегда сочиняют хорошо друг с другом, который часто мешает вводить (чтение: присвойте статический тип) 'разумные' программы)...
аналогия в очень ручной волнистый уровень - то, как Java имеет контролируемые исключительные ситуации. Вы выражаете дополнительную информацию в системе типов об определенных эффектах (можно думать об исключении как об 'эффекте' в целях аналогии), но эти 'эффекты' обычно просачиваются на всем протяжении программы и не сочиняют хорошо на практике (Вы заканчиваете с миллионом пунктов 'бросков' или иначе обращения к большому количеству типов исключения на этапе выполнения непроверенных).
я думаю, что большое исследование проводится в этой области, и для исследования-y и для основных-y языков, поскольку способность аннотировать функции информацией об эффекте может разблокировать способность компилятора сделать много оптимизации, может повлиять на параллелизм и может сделать большие вещи для различных исследований программы и инструментов. У меня лично нет больших надежд на него в ближайшее время, тем не менее, поскольку я думаю, что много умных людей работало над ним в течение долгого времени и существует все еще очень мало для показа для него.