Почему сравнение Integer с int может вызвать исключение NullPointerException в Java?

Короткий Ответ:

ключевой момент заключается в следующем:

• == между двумя ссылочными типами всегда сравнение ссылок
  • чаще всего, например, с Integer и String, вы хотели бы использовать equals вместо
• == между ссылочным типом и числовым примитивным типом всегда числовое сравнение
  • тип ссылки будет подвергнут распаковке преобразования
  • анбоксинг null всегда бросает NullPointerException
• в то время как Java имеет много специальных процедур для String, это на самом деле не примитивный тип

приведенные выше утверждения справедливы для любого заданного действительный Java-код. При таком понимании в представленном фрагменте нет никакой несогласованности.

---

Длинный Ответ

здесь представлены актуальные ПСБ разделы:

операторы равенства ссылок JLS 15.21.3 == и !=

если операнды оператора равенства имеют либо ссылочный тип, либо null тип, то операция является равенство объектов.

это объясняет следующее:

Integer i = null;
String str = null;

if (i == null) {   // Nothing happens
}
if (str == null) { // Nothing happens
}
if (str == "0") {  // Nothing happens
}

оба операнда являются ссылочными типами, и вот почему == ссылка равенства сравнение.

это также объясняет следующее:

System.out.println(new Integer(0) == new Integer(0)); // "false"
System.out.println("X" == "x".toUpperCase()); // "false"

на == численное равенство,по крайней мере один из операндов должен быть числового типа:

JLS 15.21.1 операторы числового равенства == и !=

если операнды оператора равенства и числового типа, или один числового типа и другой кабриолет к числовому типу, бинарное числовое продвижение выполнено на операндах. Если повышенный тип операндов int или long, затем выполняется тест на целочисленное равенство; если повышенный тип float or double`, затем выполняется тест на равенство с плавающей запятой.

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

это объясняет:

Integer i = null;

if (i == 0) {  //NullPointerException
}

вот выдержка от эффективное Java 2-е издание, пункт 49: предпочитайте примитивы коробочным примитивам:

таким образом, используйте примитивы в предпочтении к коробочному примитиву всякий раз, когда у вас есть выбор. Примитивные типы проще и быстрее. Если вы должны использовать коробочные примитивы, будьте осторожны! Автобоксинг уменьшает многословие, но не опасность использования коробочных примитивов. Когда ваша программа сравнивает два коробочных примитива с == оператор, он делает сравнение идентичности, это почти наверняка не то, что вы хотите. Когда ваша программа выполняет вычисления смешанного типа с использованием коробочных и распакованных примитивов, она выполняет распаковку, а когда ваша программа выполняет распаковку, она может бросить NullPointerException. Наконец, когда ваша программа содержит примитивные значения, это может привести к дорогостоящим и ненужным созданию объектов.

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

ссылки

• JLS 4.2. Примитивные типы и значения
  • " The числовые типы являются целочисленными типами и типами с плавающей запятой."
• преобразование распаковки JLS 5.1.8
  • " тип, как говорят,преобразовать в числовой тип если это числовой тип, или это ссылочный тип, который может быть преобразуется в числовой тип путем распаковки преобразования."
  • " распаковка преобразование преобразует [...] от типа Integer типа int"
  • "если r и null, преобразования распаковывания бросает!--9-->"
• Java Language Guide / Autoboxing
• JLS 15.21.1 операторы числового равенства == и !=
• операторы равенства ссылок JLS 15.21.3 == и !=
• JLS 5.6.2 Binary Numeric Promotion

вопросы

• при сравнении двух Integers в Java происходит автоматическая распаковка?
• почему эти == а не equals()?
• Ява: какая разница между автоупаковка и литья?

обзоры вопросы

• в чем разница между int и integer в Java и в C#?
• гарантируется ли, что новое целое число(i) == i в Java? (да!!! Коробка распакована, а не наоборот!)
• почему int num = Integer.getInteger("123") бросить NullPointerException? (!!!)
• Java noob: дженерики только над объектами? (да, к сожалению)
• Java String.equals versus ==