Дело в том, что тернарный оператор -- это выражение, которое имеет определённый конкретный тип возвращаемого значения, поэтому обе его ветки должны возвращать объект этого типа.
Для выражения val == null ? val : val+1
компилятор выводит тип int
, потому что во второй ветке производится сложение объекта Integer
со значением типа int
, которое преобразуется в val.intValue() + 1
, т.е. выполняется unboxing переменной val
. Так как вторая ветка имеет тип int
, для результата первой ветки тоже будет предпринята попытка выполнить unboxing, и в итоге метод будет выглядеть следующим образом:
public static Integer update(Integer val) {
return Integer.valueOf(val == null ? val.intValue() : val.intValue() + 1);
}
Легко заметить, что если val
будет иметь значение null
, то возникнет исключение NullPointerException
.
Это можно исправить двумя способами:
Явно обозначить, что вторая часть выражения имеет тип Integer
. Это позволит сделать так, чтобы не требовался unboxing первой ветки (т.е. результатом всего выражения будет Integer
). Это то, что предлагает IntelliJ IDEA при попытке рефакторинга первоначального выражения:
public static Integer update(Integer val) {
return val == null ? val : Integer.valueOf(val + 1);
}
В этом случае будет сгенерирован следующий код:
public static Integer update(Integer val) {
return val == null ? val : Integer.valueOf(val.intValue() + 1);
}
т.е. unboxing будет выполнен только во второй ветке, после чего результат будет снова упакован в Integer
, а в первой ветке уже имеется Integer
, поэтому можно не выполнять с ним никаких действий и значение null
пройдёт без приключений.
Показать, что мы просто возвращаем null
в первой ветке:
public static Integer update(Integer val) {
return val == null ? null : val + 1;
}
В этом случае boxing второй ветки писать явно не требуется, так как компилятор сразу будет знать, что выражение не может иметь примитивный тип. Это преобразуется в следующий код:
public static Integer update(Integer val) {
return val == null ? null : Integer.valueOf(val.intValue() + 1);
}
Как видно, boxing и unboxing производятся только во второй части выражения. Я считаю, что этот вариант предпочтительнее ещё и потому, что здесь явно видно, что мы возвращаем null
, а не просто val
, и не требуется раскручивать выражение для понимания этого факта.
Как можно догадаться, оператор if ... else ...
подобным поведением не обладает и в случае с ним такой проблемы не возникает, достаточно уже, что все return
возвращают объекты, приводимые к типу Integer
.