Почему weak является optional, а unowned — нет?

Разница между weak и unowned отражает разные гарантии времени жизни объектов.

Поведение weak

weak ссылка безопасна.

• ARC автоматически обнуляет ссылку

• Объект может быть освобожден в любой момент

• Код обязан учитывать nil

weak var owner: Owner?

Поведение unowned

unowned ссылка небезопасна.

• ARC не обнуляет ссылку

• Ожидается, что объект всегда жив

• Нарушение ожиданий приводит к крэшу

unowned let coordinator: Coordinator

Когда использовать каждый вариант

• weak — делегаты, замыкания, UI

• unowned — parent-child отношения с жестким контрактом

Вывод

Optional у weak — это защита от обращения к освобожденному объекту. unowned жертвует безопасностью ради удобства, поэтому требует строгих гарантий.