Что такое система эффекта и тип?

Что такое NullPointerException?

Хорошим местом для начала является JavaDocs . Они охватывают это:

Брошено, когда приложение пытается использовать null в случае, когда требуется объект. К ним относятся:

  • Вызов метода экземпляра нулевого объекта.
  • Доступ или изменение поля нулевого объекта.
  • Выполнение длины null, как если бы это был массив.
  • Доступ или изменение слотов с нулевым значением, как если бы это был массив.
  • Бросать нуль, как если бы это было значение Throwable.

Приложения должны бросать экземпляры этого класса для указания других незаконных видов использования нулевого объекта.

blockquote>

Также, если вы попытаетесь использовать нулевую ссылку с synchronized, который также выдаст это исключение, за JLS :

SynchronizedStatement:
    synchronized ( Expression ) Block
  • В противном случае, если значение выражения равно null, NullPointerException.
blockquote>

Как это исправить?

Итак, у вас есть 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 = "";

Либо метод print, либо 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 ).

14
задан Frank Shearar 7 April 2013 в 08:53
поделиться

3 ответа

"Система типа и эффекта" описывает не только виды значений в программе, но и изменения в тех значениях. Проверка "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 

, Если Вы хотите узнать больше, следующие бумаги могли бы быть интересными (справедливое предупреждение: бумаги являются довольно теоретическими).

17
ответ дан 1 December 2019 в 12:14
поделиться

Вы можете посмотреть http://www.haskell.org/haskellwiki/DDC

Это версия Haskell, реализующая систему эффектов.

4
ответ дан 24 October 2019 в 20:41
поделиться

(Это не авторитетный ответ; просто пытаясь тралить мою память.)

В некотором смысле, любое время Вы кодируете 'монаду состояния' на языке, Вы используете систему типов в качестве потенциальной системы эффекта. Таким образом, "состояние" или "IO" в Haskell получают это понятие (IO получает большой из других эффектов также). Я неопределенно не забываю читать газеты о различных языках, которые используют усовершенствованные системы типов включая вещи как "зависимые типы" для управления управлением с более прекрасными зернами эффектами, так, чтобы, например, система типа/эффекта могла получить информацию, о которой ячейки памяти будут изменены в типе определенных данных. Это полезно, поскольку это обеспечивает способы сделать две функции, которые изменяют взаимоисключающие биты состояния быть позволенными "коммутироваться" (монады обычно не коммутируются, и различные монады не всегда сочиняют хорошо друг с другом, который часто мешает вводить (чтение: присвойте статический тип) 'разумные' программы)...

аналогия в очень ручной волнистый уровень - то, как Java имеет контролируемые исключительные ситуации. Вы выражаете дополнительную информацию в системе типов об определенных эффектах (можно думать об исключении как об 'эффекте' в целях аналогии), но эти 'эффекты' обычно просачиваются на всем протяжении программы и не сочиняют хорошо на практике (Вы заканчиваете с миллионом пунктов 'бросков' или иначе обращения к большому количеству типов исключения на этапе выполнения непроверенных).

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

7
ответ дан 1 December 2019 в 12:14
поделиться
Другие вопросы по тегам:

Похожие вопросы: