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

Выполнение аварийно завершится на строке let message = greet(name). Переменная name имеет тип String?, записанный в сокращённой форме String!; при передаче в параметр типа String Swift неявно извлекает значение. Поскольку внутри находится nil, такое извлечение вызывает runtime trap.

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

Implicitly unwrapped Optional (IUO) появился главным образом для взаимодействия Swift с API, где на этапе компиляции было неизвестно, может ли значение быть nil, например с некоторыми объектами из Objective-C и отложенно инициализируемыми свойствами.

IUO позволял обращаться к потенциально отсутствующему значению почти как к обычному. Компромисс такого подхода — проверка переносится с компилятора на время выполнения, поэтому ошибку можно обнаружить только при конкретном обращении к nil.

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

String! не означает, что значение гарантированно существует. Это Optional, который разрешено автоматически извлекать в контексте, где требуется обычный String.

Если значение действительно равно nil, передача его в функцию с параметром String приводит к аварийному завершению. Ошибка особенно опасна в коде инициализации экранов, при работе с IBOutlet и при интеграции с API, потому что место объявления переменной может находиться далеко от места сбоя.

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

В объявлении let name: String! = nil фактическая модель значения — Optional строкового типа. IUO отличается от обычного String? не внутренним отсутствием состояния nil, а разрешённым неявным извлечением в подходящем контексте.

Функция greet требует String, а не String?. Поэтому перед вызовом Swift пытается получить строку из name. Для непустого IUO это сработало бы, но для nil извлечение невозможно и завершается trap, аналогично принудительному извлечению через !.

Безопаснее явно обработать отсутствие значения:

func greet(_ name: String) -> String {
    "Привет, \(name)!"
}

let name: String? = nil
let message = name.map(greet) ?? "Имя не указано"
print(message)

Здесь map вызывает greet только для непустого Optional, а ?? задаёт запасное значение. Для новых API обычно предпочтительнее String?, поскольку он заставляет вызывающий код явно выбрать стратегию обработки nil.

Не каждое использование IUO немедленно извлекает значение: в контексте, допускающем Optional, оно может сохраняться как Optional. Поэтому анализировать нужно ожидаемый тип конкретной операции, а не только синтаксис объявления.

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

Экран авторизации получает имя пользователя из внешнего источника. Разработчик объявляет его как String!, чтобы не добавлять проверки, но при истёкшей сессии источник возвращает nil, и приложение падает при формировании заголовка.

Вариант с принудительным извлечением name! делает место риска явным, но всё равно допускает падение. Сохранение IUO уменьшает количество кода, однако скрывает контракт и переносит ошибку в runtime.

Выбранное решение — String? на границе данных и явная обработка отсутствующего имени. Это немного увеличивает код, зато поведение при неполных данных становится предсказуемым, а компилятор помогает не забыть про nil.

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

Вопрос: Является ли String! отдельным типом, отличным от String??

Ответ: В современной модели Swift IUO не следует рассматривать как самостоятельный контейнерный тип, отличный от Optional. Значение концептуально имеет тип String?, но компилятор может вставить неявное извлечение там, где ожидается String. Поэтому IUO не гарантирует непустое значение и не устраняет возможность nil.
Вопрос: Всегда ли присваивание IUO переменной типа String приводит к немедленному извлечению?

Ответ: Нет, решение зависит от контекста типов. Если операция ожидает String? или другой контекст, допускающий Optional, значение может остаться Optional без извлечения. Если же требуется конкретный String, Swift должен получить wrapped value; при nil произойдёт runtime trap.
Вопрос: Чем IUO отличается от безопасного значения по умолчанию через ???

Ответ: IUO пытается автоматически извлечь значение и падает, если оно отсутствует. Оператор ?? явно задаёт альтернативу: он возвращает wrapped value при наличии значения и правую часть при nil. Поэтому ?? сохраняет выполнение и делает выбранную политику обработки отсутствия видимой в коде.