null
- это экземпляр чего-то?- К какому типу принадлежит
null
? - Что такое
null
? - Как он представлен в памяти?
Свободный перевод вопроса «What is null in Java?» от участника @unj2.
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуnull
- это экземпляр чего-то?null
?null
?Свободный перевод вопроса «What is null in Java?» от участника @unj2.
null
- это экземпляр чего-то?Нет такого типа, которому бы соответствовал instanceof
от null
.
15.20.2 Type Comparison Operator instanceof
RelationalExpression: RelationalExpression instanceof ReferenceType
В рантайме результат оператора
instanceof
будетtrue
, если значение RelationalExpression неnull
и ссылка может быть приведена к ReferenceType без получения исключенияClassCastException
. Иначе результат будетfalse
.
Это означает, что для любого типа E
и R
, для любого E o
, где o == null
, o instanceof R
будет всегда false
.
null
?JLS 4.1 The Kinds of Types and Values.
Есть также специальный тип - null, тип выражения
null
, у которого нет имени. И т.к. тип null не имеет имени, невозможно объявить переменную с типом null или привести переменную к типу null.null
ссылка - единственное возможное значение выражение типа null .null
всегда можно привести к любому ссылочному типу. В действительности, можно игнорировать тип null и притвориться, чтоnull
- это просто специальный литерал, который может быть любым ссылочным типом.
null
?Как сказано в цитате из JLS выше, можно считать, что "null
- это просто специальный литерал, который может быть любым ссылочным типом".
В Java null == null
(что верно не для всех языков). Из описания java.lang.Object
:
public boolean equals(Object obj)
Для любой не
null
переменнойx
,x.equals(null)
должен возвращатьfalse
.
null
также является значением по умолчанию для всех ссылочных типов.
JLS 4.12.5 Initial Values of Variables:
- Статические переменные класса, переменные экземпляра и массивы инициализируются значением по умолчанию при создании: * Для всех ссылочных типов (§4.3), дефолтное значение -
null
.
Вы можете использовать это свойства для отложенной инициализации, когда поле будет иметь начальное значение null
до тех пор, пока оно фактически не будет использовано, где будет заменено "реальным" значением (вычисление которого может быть дорогостоящим).
Есть и другие применения. Если посмотреть на java.lang.System
:
public static Console console()
Returns: The system console, if any, otherwise null.
Это очень распространённая практика: null
используется для обозначения несуществующего объекта.
Другой пример - java.io.BufferedReader
:
public String readLine() throws IOException
Returns: A String containing the contents of the line, not including any line-termination characters, or null if the end of the stream has been reached.
readLine()
будет возвращать instanceof String
для каждой строки, пока не получит null
, обозначающий конец. Это позволяет обрабатывать каждую строку следующим образом:
String line;
while ((line = reader.readLine()) != null) {
process(line);
}
Примечание: пустая строка - не проблема, т.к. "" != null
.
Давайте рассмотри java.util.Map<K,V>
:
V get(Object key)
Returns the value to which the specified key is mapped, or
null
if this map contains no mapping for the key.
If this map permits
null
values, then a return value ofnull
does not necessarily indicate that the map contains no mapping for the key; it's also possible that the map explicitly maps the key tonull
. ThecontainsKey
operation may be used to distinguish these two cases.
Здесь мы видим, что использование null
может усложнить дело. Тут говорится, что, если такого ключа нет, будет возвращён null
. Второе утверждение гласит, что даже если элемент по такому ключу есть, всё равно может вернуться null
.
К примеру, java.util.Hashtable
делает вещи проще путём запрета null
в ключах и значениях; так что, если V get(Object key)
вернёт null
это однозначно говорит о том, что под таким ключом ничего нет.
Операции автоматического анбоксинга на null
выбросят java.lang.NullPointerException
:
Integer i = null;
// при анбоксинге null в integer будет выброшен NullPointerException
int a = i;
Если резюмировать, то null
используется как специальное значение для обозначения:
null
представлен в памяти?Из спецификации JVM:
The Java Virtual Machine specification does not mandate a concrete value encoding
null
.
Интересная цитата C.A.R Hoare:
I call it my billion-dollar mistake. It was the invention of the
null
reference in 1965. At that time, I was designing the first comprehensive type system for references in an object oriented language (ALGOL W). My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler. But I couldn't resist the temptation to put in anull
reference, simply because it was so easy to implement. This has led to innumerable errors, vulnerabilities, and system crashes, which have probably caused a billion dollars of pain and damage in the last forty years.
Так же можно посмотреть презентацию про ошибку на миллиард долларов.
При формировании ответа использовался ответ на вопрос «What is null in Java?» от участника @polygenelubricants.