Почему вызовы функций C ++ дешевы?

Что такое NullPointerException?

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

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

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

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

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

SynchronizedStatement:
    synchronized ( Expression ) Block
  • В противном случае, если значение выражения равно 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 = "";

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

25
задан gwg 3 May 2014 в 11:59
поделиться

2 ответа

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

На некоторых других языках (например, Common Lisp, при применении неизвестной вариационной функции), она может быть более сложной.

На самом деле, вы должны тестировать: многие последние процессоры вышли из строя и & amp; суперскалярные, поэтому мы делаем «несколько вещей одновременно».

Однако оптимизирующие компиляторы способны на изумительные трюки.

Для многих функциональных языков вызываемая функция, как правило, является замыканием и требует некоторой косвенности (а также передачи закрытых значений).

Некоторые объектно-ориентированные языки (например, Smalltalk) могут включать поиск в словаре методов при вызове селектора (на произвольном приемнике).

Интерпретируемые языки могут иметь довольно большие издержки при вызове функций.

18
ответ дан Aaron Hall 3 May 2014 в 11:59
поделиться

Стоимость вызова функции связана с набором операций, необходимых для перехода из данной области в другую, то есть из текущего выполнения в область другой функции. Рассмотрим следующий код:

void foo(int w) { int x, y, z; ...; }
int main() { int a, b, c; ...; foo(b); ...; }

Выполнение начинается в main(), и вы можете загрузить некоторые переменные в регистры / память. Когда вы достигнете foo(), набор переменных, доступных для использования, будет другим: значения a, b, c недоступны , недоступны функцией foo(), и, если вы исчерпаете доступные регистры, сохраненные значения будут должны быть пролиты на память.

Проблема с регистрами появляется на любом языке. Но некоторые языки нуждаются в более сложных операциях, чтобы перейти из области в область: C ++ просто помещает все, что требуется от функции, в стек памяти, поддерживая указатели для окружающих областей (в этом случае, запустив foo(), вы сможете чтобы достичь определения w в области действия main().

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

6
ответ дан Aaron Hall 3 May 2014 в 11:59
поделиться
Другие вопросы по тегам:

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