Почему Вы должны узнать о null в Java?
Потому что, если Вы не обратите внимания на null, будьте уверены, Java заставит страдать от ужасногоjava.lang.NullPointerException и Вы выучите этот урок, но пойдете более трудным путем. Написание устойчивого к "падениям" кода - это искусство и Ваша команда, заказчики и пользователи оценят это. По моему опыту, одна из основных причин NullPointerException это недостаток знаний о null в Java. Многие из Вас уже знакомы с null, остальные смогу узнать некоторые старые и новые вещи о ключевом слове null. Давайте повторим или узнаем некоторые важные вещи о null в Java.
Что есть null в Java
Как я говорил, null очень-очень важная концепция в Java. Первоначально он был изобретен для обозначения отсутствия чего-либо, например, отсутствие пользователя, ресурса или чего угодно, но уже в течение года озадачил Java-программистов множествомnull pointer exception. В этом уроке, мы узнаем основные факты о ключевом слове null в Java, изучим некоторые приемы как избежать неприятностей с null pointer exceptions и минимизировать проверки на null.
Перво-наперво, null это ключевое слово в Java, так же как
public,staticилиfinal. Регистр учитывается, Вы не можете писать null как Null или NULL, компилятор не распознает его и будет выброшена ошибка.Object obj = NULL; // Not Ok Object obj1 = null //OkЗачастую, с этим встречаются программисты, перешедшие с других языков программирования, но при использовании современных IDE проблема становится незначительной. В наши дни, IDE вроде Eclipse или NetBeans могут исправлять эту ошибку пока Вы набираете код, но в эпоху Notepad, Vim и Emacs, это была распространенная проблема, которая могла съесть кучу драгоценного времени.
Так же, как каждый примитив имеет значение по умолчанию, например, у
intэто 0, у boolean это false, null это значение по умолчанию любых ссылочных типов, проще говоря, для всех объектов. Так же, как при создании логической переменной ее значение по умолчанию равно false, так и любые ссылочные переменные в Java по умолчанию будут равны null. Это истинно для всех типов переменных: переменной-члена или локальной переменной, переменной экземпляра или статической переменной, кроме того, компилятор будет ругаться, если Вы используете локальную переменную не проинициализировав ее.private static Object myObj; public static void main(String args[]){ System.out.println("What is value of myObjc : " + myObj); } What is value of myObjc : nullЭто истинно как для статических, так и для не статических объектов, как Вы можете видеть здесь, я сделал
myObjстатической ссылкой, так что я могу использовать ее непосредственно в методеmain, который является статическим методом и не позволяет обращаться к не статическим переменным изнутри.Несмотря на распространенное заблуждение, null это не объект (
Object) и ни тип. Это просто специальное значение, которое может быть назначено любому ссылочному типу, и Вы можете привести null к любому типу, как показано ниже:String str = null; // null can be assigned to String Integer itr = null; // you can assign null to Integer also Double dbl = null; // null can also be assigned to Double String myStr = (String) null; // null can be type cast to String Integer myItr = (Integer) null; // it can also be type casted to Integer Double myDbl = (Double) null; // yes it's possible, no errorКак Вы можете видеть, приведение null к любому ссылочному типу пройдет успешно как во время компиляции, так и во время выполнения программы. В отличии от того, что многие из Вас возможно подумали, это не приведет к выбрасыванию
NullPointerException.null может быть назначен только ссылочному типу, Вы не можете назначить null примитивной переменной вроде
int,double,floatилиboolean. Компилятор выразит Вам свое недовольство если Вы сделаете как показано ниже:int i = null; // type mismatch : cannot convert from null to int short s = null; // type mismatch : cannot convert from null to short byte b = null: // type mismatch : cannot convert from null to byte double d = null; //type mismatch : cannot convert from null to double Integer itr = null; // this is ok int j = itr; // this is also ok, but NullPointerException at runtimeКак Вы можете видеть, когда мы непосредственно присваиваем null примитиву, то получаем ошибку процесса компиляции, но, если присвоить null объекту класса-обертки, а затем присвоить этот объект соответствующему примитивному типу, компилятор не отреагирует, но мы будем вознаграждены
null pointer exceptionво время выполнения. Это происходит из-за авто упаковки (autoboxing) в Java, и мы еще встретимся с ним в следующем пункте.Любой класс-обертка со значением null будет выбрасывать
java.lang.NullPointerExceptionкогда Java распакует(unbox) его в примитивную переменную. Некоторые программисты делают ошибку допуская, что авто упаковка(autoboxing) позаботится о конвертации null в значение по умолчанию для соответствующего примитивного типа, например, 0 дляint, false дляbooleanи т.д., но это не верно, в чем можно убедиться ниже:Integer iAmNull = null; int i = iAmNull; // Remember - No Compilation ErrorНо, когда Вы запустите данный фрагмент кода, в консоли Вы увидите
Exception in thread "main" java.lang.NullPointerExceptionЭто часто происходит при работе с
HashMapиInteger key. Выполнение кода, показанного ниже прервется, как только Вы его запустите.import java.util.HashMap; import java.util.Map; /** * An example of Autoboxing and NullPointerExcpetion * * @author WINDOWS 8 */ public class Test { public static void main(String args[]) throws InterruptedException { Map numberAndCount = new HashMap<>(); int[] numbers = {3, 5, 7,9, 11, 13, 17, 19, 2, 3, 5, 33, 12, 5}; for(int i : numbers){ int count = numberAndCount.get(i); numberAndCount.put(i, count++); // NullPointerException here } } }
Output: Exception in thread "main" java.lang.NullPointerException at Test.main(Test.java:25)Этот код выглядит очень простым и безобидным. Вы просто подсчитываете сколько раз число встречается в массиве, классическая техника нахождения дубликатов. Разработчик берет предыдущее подсчитанное количество, увеличивает его на единицу и вставляет обратно в
Map. Он мог бы подумать, что авто-упаковка позаботится о преобразованииIntegerвint, как это делается в момент вызова методаput(), но он забывает, что если для числа подсчет еще не проводился, методget()вернет изHashMapnull, не ноль, потому что значение по умолчанию для Integer это null, а не 0, и авто-упаковка выброситnull pointer exceptionпри попытке сконвертировать Integer в переменнуюint.Оператор
instanceofбудет возвращать false если в качестве параметра указать любую ссылочную переменную со значением null или null сам по себе. Пример:Integer iAmNull = null; if(iAmNull instanceof Integer){ System.out.println("iAmNull is instance of Integer"); }else{ System.out.println("iAmNull is NOT an instance of Integer"); }
Output : iAmNull is NOT an instance of IntegerЭто важное свойство оператора
instanceof, которое делает его полезным для проверки приведения типов.Вы знаете, что Вы не можете вызвать нестатический метод у ссылочной переменной со значением null, это вызовет
NullPointerException, но Вы можете не знать, что Вы можете вызвать статический метода у ссылочной переменной со значением null. Т.к. статические методы используют статическое связывание, они не выбрасываютNullPointerException. Вот пример:public class Testing { public static void main(String args[]){ Testing myObject = null; myObject.iAmStaticMethod(); myObject.iAmNonStaticMethod(); } private static void iAmStaticMethod(){ System.out.println("I am static method, can be called by null reference"); } private void iAmNonStaticMethod(){ System.out.println("I am NON static method, don't date to call me by null"); } }
Output: I am static method, can be called by null reference Exception in thread "main" java.lang.NullPointerException at Testing.main(Testing.java:11)Вы можете послать null в качестве параметра метода, принимающего любой ссылочный тип, к примеру:
public void print(Object obj)может быть вызван как
print(null)Это нормально с точки зрения компилятора, но дальнейшее поведение полностью зависит от метода. Null-безопасный метод не выбросит
NullPointerException, а просто корректно завершится. Если бизнес логика позволяет, рекомендуется писать null-безопасные методы.Вы можете сравнивать null используя операторы
==(равно) и!=(не равно), но не можете использовать его с другими арифметическими или логическими операторами, вроде<(меньше) или>(больше). В отличии от SQL, в Javanull == nullвернет true, как показано ниже:public class Test { public static void main(String args[]) throws InterruptedException { String abc = null; String cde = null; if(abc == cde){ System.out.println("null == null is true in Java"); } if(null != null){ System.out.println("null != null is false in Java"); } // classical null check if(abc == null){ // do something } // not ok, compile time error if(abc > null){ } } }
Output: null == null is true in Java
Почему NULL – это плохо?
Что не так с этим методом? Он может вернуть NULL вместо объекта – вот что не так. Использование NULL – ужасная практика в ООП, и этого стоит избегать всеми способами. По данному вопросу уже опубликовано достаточно разных мнений, в том числе презентация Tony Hoare «Нулевые ссылки: Ошибка на миллиард долларов» и целая книга David West «Объектно ориентированное мышление». Здесь я попытаюсь суммировать все доводы и показать примеры того, как можно избежать использования NULL, заменив его подходящими объектно-ориентированными конструкциями. Сначала рассмотрим две возможные альтернативы NULL.public Employee getByName(String name) {
int id = database.find(name);
if (id == 0) {
return Employee.NOBODY;
}
return Employee(id);
}
Вторая возможная альтернатива – «быстрое поражение» через выбрасывание исключения в случае, если вернуть объект невозможно:
public Employee getByName(String name) {
int id = database.find(name);
if (id == 0) {
throw new EmployeeNotFoundException(name);
}
return Employee(id);
}
А теперь давайте познакомимся с доводами против использования NULLОбработка ошибок вручную
Каждый раз, когда вы на входе получаете объект, вы должны проверять, является он ссылкой на действительный объект или NULL’ом. Если вы забудете проверить, ваша программа может быть прервана прямо во время исполнения выброшенным NullPointerExeption (NPE). Из-за этого ваш код начинает наполняться многочисленными проверками и разветвлениями if/then/else.// this is a terrible design, don't reuse
Employee employee = dept.getByName("Jeffrey");
if (employee == null) {
System.out.println("can't find an employee");
System.exit(-1);
} else {
employee.transferTo(dept2);
}
Именно так исключительные ситуации должны обрабатываться в С и других строго процедурных языках программирования. В ООП обработка исключений введена главным образом как раз для того, чтобы избавиться от вручную написанных блоков обработки. В ООП мы позволяем исключениям всплывать пока они не достигнут обработчика ошибок всего приложения, и благодаря этому наш код становится намного чище и короче:
dept.getByName("Jeffrey").transferTo(dept2);
Считайте NULL ссылки пережитками процедурного стиля программирования и используйте
1) Нулевые Объекты или
2) Исключения вместо них.Неоднозначное понимание
Чтобы точно передать в названии смысл происходящего, методgetByName() должен быть переименован в getByNameOrNullIfNotFound(). То же самое нужно сделать для каждого метода, который возвращает объект или NULL, иначе при чтении кода не избежать неоднозначности. Таким образом, для того, чтобы названия методов были точны, вы должны давать методам более длинные имена.
Чтобы избежать неоднозначности всегда возвращайте реальный объект, нулевой объект или выбрасывайте исключение.
Кто-то может возразить, что иногда нам просто необходимо возвратить NULL чтобы добиться нужного результата. Например, метод get() интерфейса Map в Java возвращает NULL, когда в Map нет больше объектов.
Employee employee = employees.get("Jeffrey");
if (employee == null) {
throw new EmployeeNotFoundException();
}
return employee;
Благодаря использованию NULL в Map этому коду хватает всего одного цикла поиска для получения результата. Если мы перепишем Map таким образом, чтобы метод get() выбрасывал исключение в случае, если ничего не найдено, наш код будет выглядеть так:
if (!employees.containsKey("Jeffrey")) { // first search
throw new EmployeeNotFoundException();
}
return employees.get("Jeffrey"); // second search
Очевидно, что этот метод в два раза медленнее, чем исходный. Что же делать?
В интерфейсе Map (без намерения обидеть разработчиков) есть недостаток проектирования. Его метод get() должен был бы возвращать Iterator, и тогда наш код выглядел бы так:
Iterator found = Map.search("Jeffrey");
if (!found.hasNext()) {
throw new EmployeeNotFoundException();
}
return found.next();
Кстати, именно так спроектирован метод STL map::find() в С++.Компьютерное мышление против объектно-ориентированного
Строка кодаif (employee == null) вполне понятна тому, кто знает, что объект в Java – это указатель на структуру данных, а NULL – это указатель на ничто (в процессорах Intel x86 – 0x00000000).
Однако если вы начнете мыслить в объектном стиле, эта строка становится намного менее осмысленной. Вот как наш код выглядит с объектной точки зрения:
- Здравствуйте, это отдел разработки ПО? - Да. - Будьте добры, пригласите к телефону вашего сотрудника Джефри. - Подождите минутку... - Здравствуйте. - Вы NULL?Последний вопрос звучит немного странно, не так ли? Если вместо этого после вашей просьбы пригласить к телефону Джефри на том конце просто повесят трубку, это вызовет для нас определенные сложности (Исключение). В этом случае мы можем попробовать перезвонить или же доложим нашему начальнику о том, что мы не смогли поговорить с Джефри, и завершим свою основную задачу. Кроме этого, на той стороне вам могут предложить поговорить с другим человеком, который, хоть и не является Джефри, может либо помочь вам с большинством ваших вопросов, либо отказаться помогать, если нам нужно узнать что-то, что знает только Джефри (Нулевой Объект).
Медленный провал
Вместо быстрого завершения работы, код выше пытается умереть медленно, убивая других на своем пути. Вместо того, чтобы дать всем понять, что что-то пошло не так и нужно немедленно начинать обработку исключительного события, он пытается скрыть свой провал от клиента. Это очень похоже на ручную обработку исключений, о которой мы говорили выше. Делать свой код как можно более хрупким и позволять ему прерываться, если это нужно – хорошая практика. Делайте свои методы предельно требовательными к данным, с которыми они работают. Позволяйте им жаловаться, выкидывая исключения, если данных, которые им предоставили, недостаточно, или же данные просто не подходят для использования в этом методе по задуманному сценарию. В противном случае возвращайте Нулевой Объект, который ведет себя каким-то общепринятым способоы и выбрасывает исключения во всех других случаях.public Employee getByName(String name) {
int id = database.find(name);
Employee employee;
if (id == 0) {
employee = new Employee() {
@Override
public String name() {
return "anonymous";
}
@Override
public void transferTo(Department dept) {
throw new AnonymousEmployeeException(
"I can't be transferred, I'm anonymous"
);
}
};
} else {
employee = Employee(id);
}
return employee;
}
Изменяемые и незавершенные объекты
Вообще, строго рекомендуется проектировать объекты так, чтобы они были неизменяемыми. Это значит, объект должен получить все необходимые данные при его создании и никогда не менять своего состояния в течение всего жизненного цикла. Значения NULL очень часто используются в паттерне проектирования «Ленивая загрузка» для того, чтобы сделать объекты незавершенными и изменяемыми. Пример:public class Department {
private Employee found = null;
public synchronized Employee manager() {
if (this.found == null) {
this.found = new Employee("Jeffrey");
}
return this.found;
}
}
Несмотря на то, что эта технология широко распространена, для ООП она является антипаттерном. И главным образом потому, что заставляет объект нести ответственность за проблемы с производительностью у вычислительной платформы, а это как раз то, о чем объект Employee не может быть осведомлен.
Вместо того, чтобы управлять своим состоянием и вести себя соответствующим своему предназначению образом, объект вынужден заботиться о кэшировании своих собственных результатов – вот к чему приводит «ленивая загрузка».
А ведь кэширование – это вовсе не то, чем занимается сотрудник в офисе, не так ли?
Выход? Не используйте «ленивую загрузку» таким примитивным способом, как в вышеприведенном примере. Вместо этого переместите кэширование проблем на другой уровень своего приложения.
Например, в Java вы можете использовать возможности аспектно-ориентированного программирования. Например, в jcabi-aspects есть аннотация @Cacheable, которая кэширует значение, возвращаемое методом.
import com.jcabi.aspects.Cacheable;
public class Department {
@Cacheable(forever = true)
public Employee manager() {
return new Employee("Jacky Brown");
}
}
Надеюсь, этот анализ был достаточно убедителен, чтобы вы прекратили обNULLять свой код :)
Это все о null в Java. Наработав некоторый опыт в Java-программировании и используя простые уловки, чтобы избежать NullPointerException, Вы сможете сделать Ваш код безопасным. Т.к. значение null может рассматриваться как пустое или неинициализированное значение, это часто является источником путаницы, вот почему так важно документировать поведение метода при входящем значении null. Всегда помните, null это значение по умолчанию ссылочных переменных, и Вы не можете вызывать методы экземпляра или получать доступ к переменным экземпляра используя null-ссылку в Java.
ПЕРЕЙДИТЕ В ПОЛНУЮ ВЕРСИЮ