Почему сравнение Целого числа с интервалом может бросить NullPointerException в Java?

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

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

• == между двумя ссылочными типами - это всегда ссылочное сравнение.
  • Чаще всего, например, при использовании Integer и String, лучше использовать equals
• == между ссылочным типом и числовым примитивным типом - это всегда числовое сравнение
  • Ссылочный тип будет подвергнут unboxing-преобразованию
  • Unboxing null всегда бросает NullPointerException
• Хотя Java имеет много специальных процедур для String, на самом деле это НЕ примитивный тип

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

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

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

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 или double`, то выполняется проверка равенства с плавающей точкой.

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

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

Integer i = null;

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

Вот выдержка из Effective Java 2nd Edition, Item 49: Prefer primitives to boxed primitives:

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

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

Ссылки

• JLS 4.2. Примитивные типы и значения
  • "Числовые типы числовые типы - это интегральные типы и типы с плавающей точкой."
• JLS 5.1.8 Преобразование без коробки
  • "Тип считается преобразуемым в числовой тип, если он является числовым типом, или это ссылочный тип, который может быть преобразован в числовой тип путем преобразования без коробки."
  • "Преобразование без коробки преобразует [... ] из типа Integer в тип int"
  • "Если r является null, преобразование без упаковки выбрасывает NullPointerException"
• Java Language Guide/Autoboxing
• JLS 15. 21.1 Операторы числового равенства == и ! =
• JLS 15.21.3 Операторы ссылочного равенства == и !=
• JLS 5.6. 2 Двоично-числовая акция

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

• При сравнении двух целых чисел в Java происходит ли автообнуление?
• Почему это ==, но не equals()?
• Java: Чем отличается автобоксинг от кастинга?

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

• В чем разница между int и Integer в Java/C#?
• Гарантируется ли, что new Integer(i) == i в Java? (ДА!!! Коробка распаковывается, а не наоборот!)
• Почему int num = Integer. getInteger("123") бросает NullPointerException? (!!!)
• Java noob: generics over objects only? (да, к сожалению)
• Java String.equals против ==