Null, Nil и пустота
Теги: ios, foundation, nsnull, nsobject, null, nsobjcruntime.h, nil, ноль, ничего, objective c, alloc, assert, nsparameterassert, nsarray, `+null`, (void *)0, (id)0, (class)0, [nsnull null], мобильная разработка
Как мы можем представить программно «ничего»? Например, когда метод ожидает на вход объект, но его нет, а вызов происходит. В программах всё должно быть чётко и понятно, там нельзя сказать «Извините, ничего не пришло». В языках программирования отсутствие значения – тоже значение! Это означает, что мы можем сравнивать данные с этим «ничем», чтобы проверить: нам на вход был подан объект или подано его отсутствие. Objective C в этом плане не является исключением, так давайте рассмотрим это подробнее.
Всё бы ничего, да всё ничего
Для начала вспомним, что Objective C является расширением языка С («объектный Си»). Всё, что есть в С, есть и в Objective C. В языке С, уж простите за каламбур, используются два значения для отсутствия значения. Во-первых, это «0» для простых скалярных типов (int, char и т.д.). А во-вторых, для указателей используется ключевое слово NULL, которое, по сути, являет собой тот же «0» только в контексте работы с указателем. В самом «объектном Си» добавляется ключевое слово nil для указания на то, что «объект не существует». Не смотря на то, что семантически NULL и nil разные ключевые слова, фактически они выполняют одну и ту же роль.
А если подняться на уровень фреймворков?
Foundation определяет объект-синглтон NSNull, который представляет собой «NULL-объект», хотя, фактически, это полноценный объект, у которого есть адрес и размер (об этом чуть позже). Ну и наконец, в Foundation/NSObjCRuntime.h определяется Nil, который являет собой класс-указатель на «ничего».
Немного запутанно, не так ли? Давайте разбираться!
Если с наследием С в виде 0/NULL всё более менее понятно, то на остальных вариантах «ничего» остановимся чуть подробнее. Каждый объект иерархии NSObject после вызова команды alloc инициализируется пустотой. Это значит, что каждое поле получает значение nil/0 в зависимости от типа (скаляр/объект). Поэтому нет необходимости делать это вручную, если какие-то поля требуется помечать как «пусто». Есть ещё одна особенность nil – одновременно дар и проклятье: ему можно посылать сообщения, как обычному объекту, и это не приведёт к крашу приложения! К примеру, такая конструкция вполне себе жизнеспособна:
NSNumber *asd = nil; [asd stringValue];
Для сравнения: в языке С++ подобный вызов однозначно вызовет runtime exception. Зачастую это бывает удобно, поскольку избавляет от лишних проверок на существование объекта, когда в этом нет необходимости. Однако, то же самое вполне может вызвать серьёзные проблемы при отладке, например:
NSMutableDictionary *map = //may cause nil for some reason . [map setValue:value forKey:key];
Так как наш словарь пуст, не произойдёт ничего! И если вызовы и работа со словарём находятся в разных местах, иногда бывает довольно сложно понять, почему словарь пуст, хотя мы явно задаём его заполнение. Выходов из этого довольно много, один из самых распространённых – использование assert наподобие NSParameterAssert для проверки критических частей кода на не-nil у входных параметров.
Рассмотрим класс NSNull
Для чего же он нужен? Представим ситуацию, когда нам нужно сохранить несколько объектов в коллекцию, например, в NSArray. Что произойдёт если часть объектов будет nil? Это вызовет ошибку времени исполнения, потому что массив не сможет определить, сколько памяти надо выделить под пустой (т.е. нулевой по памяти, в этом контексте) объект (а реализация NSArray, в конечном итоге, сводится к выделению памяти под объекты, которые он содержит). Чтобы избежать подобного, используется объект NSNull с единственным методом `+null`, который создаёт этот объект. Это объект-пустышка, показывающий, что реально никакого значения нет, но при этом не нарушается целостность коллекции, в которую его помещают.
Остаётся последнее ключевое слово Nil
Если nil используется для обозначения пустого объекта класса, то Nil используется для ссылки на пустой класс. Разницу можно увидеть из примера: NSString *a = nil; Class b = Nil; Но используется это очень редко. Нужно просто знать, что такое поведение допустимо.
Суммируем всё в виде таблицы:
| Ключевое слово | Значение | Пояснение |
| NULL | (void *)0 | Пустое значение для указателей языка С |
| nil | (id)0 | Пустое значение для объектов Objective C |
| Nil | (Class)0 | Пустое значение для классов Objective C |
| NSNull | [NSNull null] | Пустой класс-представление языка Objective-C в виде объекта |
null
Значение null представляет отсутствие какого-либо объектного значения. В JavaScript, null является примитивом, и в контексте логических операций, рассматривается как ложное (falsy).
Интерактивный пример
Синтаксис
null
Описание
Значение null записывается литералом null . Оно является самостоятельным, а не свойством глобального объекта (как undefined ). В API, null часто присутствует в местах где ожидается объект, но подходящего объекта нет.
// переменная foo не существует - она не была определена и никогда не инициализировалась: > foo 'ReferenceError: foo is not defined' // переменная foo существует, но она не имеет ни типа, ни значения: > var foo = null; foo 'null'
Отличия между null и undefined
null является определённым значением отсутствия объекта, тогда как undefined обозначает неопределённость. Например:
var element; // значение переменной element до её инициализации не определённо: undefined element = document.getElementById("not-exists"); // здесь при попытке получения несуществующего элемента, метод getElementById возвращает null // переменная element теперь инициализирована значением null, её значение определено
При проверке на null или undefined , помните о различии между операторами равенства (==) и идентичности (===): с первым, выполняется преобразование типов.
typeof null; // object (не "null" из соображений обратной совместимости) typeof undefined; // undefined null === undefined; // false null == undefined; // true
Спецификации
| Specification |
|---|
| ECMAScript Language Specification # sec-null-value |
Совместимость с браузерами
BCD tables only load in the browser
Смотрите также
Found a content problem with this page?
- Edit the page on GitHub.
- Report the content issue.
- View the source on GitHub.
This page was last modified on 7 авг. 2023 г. by MDN contributors.
Your blueprint for a better internet.
MDN
Support
- Product help
- Report an issue
Our communities
Developers
- Web Technologies
- Learn Web Development
- MDN Plus
- Hacks Blog
- Website Privacy Notice
- Cookies
- Legal
- Community Participation Guidelines
Visit Mozilla Corporation’s not-for-profit parent, the Mozilla Foundation.
Portions of this content are ©1998– 2024 by individual mozilla.org contributors. Content available under a Creative Commons license.
C#: Значение null
Особняком в C# стоит значение null. Здесь оно, в отличии от других языков программирования, не является типом, это просто конкретное значение со специальным смыслом и логикой работы. Начнем с примера:
// Определение переменной с инициализацией null // С var такое не сработает, так как невозможно вывести тип string a = null; Что находится внутри переменной a ? Если мы ее распечатаем, то увидим null . null используется для ссылочных типов, тогда, когда значение не определено. Как такое возможно? Представьте, что мы хотим извлечь из базы данных пользователя, а его там нет. Что, в таком случае, вернет нам запрос в базу? Вот именно для таких ситуаций и нужен null . Их гораздо больше чем может показаться на первый взгляд и чем дальше мы будем двигаться, тем чаще он начнет встречаться.
var user = // тут делаем запрос в базу // Если данных нет, то user станет null Из вышесказанного следует важный вывод. Любой ссылочный тип данных может принимать значение null . То есть, null , в каком-то смысле, является значением любого ссылочного типа. А вот значимые типы и null не совместимы. Значимая переменная всегда должна быть определена:
// error CS0037: Cannot convert null to 'int' because it is a non-nullable value type int x = null; Задание
Определите переменную с именем greeting , но не инициализируйте ее
Упражнение не проходит проверку — что делать? ��
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет ��
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя ��
Это нормально ��, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно ��
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.
Полезное
Java: Значение null
Особняком в Java стоит значение null . В Java оно не является типом. Это просто конкретное значение со специальным смыслом и логикой работы. Начнем с примера:
// Определение переменной без инициализации значением // С var такое не сработает, так как невозможно вывести тип String a; Что находится внутри переменной a ? Если мы ее распечатаем, то увидим null . Значение null используется для ссылочных типов, когда значение не определено.
Как такое возможно? Представьте, что мы хотим извлечь из базы данных пользователя, а его там нет. Что вернет нам запрос в базу? Вот именно для таких ситуаций и нужен null .
Их гораздо больше, чем может показаться на первый взгляд. Чем дальше мы будем двигаться, тем чаще он начнет встречаться:
var user = // тут делаем запрос в базу // Если данных нет, то user станет null // Запись выше равносильна var user = null; Из вышесказанного следует важный вывод. Любой ссылочный тип данных может принимать значение null . То есть, null является значением любого ссылочного типа. А вот примитивные типы и null не совместимы. Примитивное значение всегда должно быть определено:
// Error: incompatible types: cannot be converted to int int x = null; Задание
Определите переменную с именем greeting , но не инициализируйте ее
Упражнение не проходит проверку — что делать? ��
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет ��
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя ��
Это нормально ��, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно ��
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.