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

Оператор нулевого слияния вычисляет правый операнд только тогда, когда левый Optional равен nil. Если слева находится значение, оно извлекается и возвращается без вычисления запасного выражения.

Это делает оператор безопасным для дорогих операций и выражений с побочными эффектами. Он не просто выбирает между двумя уже вычисленными значениями, а использует ленивое вычисление правой стороны.

Исторический контекст

Optional появился как типобезопасный способ представить отсутствие значения без неявного использования null-ссылок. Однако постоянная ручная проверка наличия значения через условные конструкции делала простой сценарий выбора значения избыточно многословным.

Оператор нулевого слияния решает частный случай: получить значение из Optional или использовать заранее определённую замену. При этом сохраняется явность работы с отсутствующим значением и не вводится исключение из системы типов.

Постановка проблемы

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

Отдельный риск — побочные эффекты. Логирование, изменение счётчика или запуск операции в ненужной ветке могут привести к ошибочному поведению, если перепутать нулевое слияние с обычным выбором между двумя предварительно вычисленными выражениями.

Подробное решение

Сначала проверяется левый Optional. При состоянии some(value) оператор возвращает value, а правый операнд не вычисляется. При состоянии nil вычисляется правая сторона, и её результат используется как значение по умолчанию.

var calls = 0
func fallback() -> String {
    calls += 1
    return "гость"
}

let name: String? = "Ада"
let result = name ?? fallback()

print(result) // Ада
print(calls)  // 0

Правый операнд должен быть совместим с типом значения слева после извлечения. Поэтому результат обычно имеет тип значения Optional, а не сам Optional: для String? и запасного String результатом будет String.

Оператор не выполняет рекурсивное или произвольное извлечение вложенных Optional. Если слева находится вложенный optional, нужно отдельно учитывать его уровни: нулевым слиянием проверяется только тот уровень, к которому применён оператор.

У правой стороны могут быть побочные эффекты, но полагаться на их выполнение нельзя: при непустом левом значении они не произойдут. Для сложной логики с несколькими ветвями лучше использовать if let или switch, чтобы явно выразить условия.

Ситуация из практики

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

Возможны три варианта. Принудительное извлечение коротко, но при nil приводит к аварийному завершению. if let безопасен и подходит для нескольких действий, однако для простого значения получается более многословным. Оператор нулевого слияния краток, безопасен и не запускает построение запасного значения без необходимости.

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

Что кандидаты часто упускают

Вопрос: Можно ли использовать в правой части нулевого слияния вызов функции с побочным эффектом?

Ответ: Да, это допустимо, но функция будет вызвана только при nil слева. Поэтому такой вызов нельзя использовать для обязательной инициализации, счётчика или журналирования: при наличии значения побочный эффект не произойдёт.
Вопрос: Чем нулевое слияние отличается от тернарного выбора двух заранее вычисленных значений?

Ответ: Тернарное выражение выбирает одну из ветвей после проверки условия, но сами значения могут быть подготовлены до выбора, если их вычисление выполнено при формировании выражения. Нулевое слияние специально предоставляет ленивую правую сторону, поэтому запасное выражение запускается только при nil.
Вопрос: Что произойдёт, если запасное выражение само возвращает Optional?

Ответ: Результат может остаться вложенным Optional, потому что нулевое слияние не является универсальным flatMap. Оно устраняет только проверяемый внешний уровень и не обязано превращать T?? в T? во всех случаях. Если требуется явно управлять несколькими уровнями отсутствия, нужно использовать последовательное извлечение, flatMap или явный switch по структуре Optional.