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

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

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

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

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

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

вот соответствующие JLS разделы:

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

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

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

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 2nd Edition, пункт 49: предпочитайте примитивы коробочным примитивам:

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

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

ссылки

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

вопросы

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

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

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